Adam Gordon Bell, “Functional Programming is Undefined”
Functional Python Programming and Verified Functional Programming in Agda are both books teaching functional programming. Yet the books are about[…]
12 events found.
Events
-
-
Zoom (connection info provided in comments)
-
-
Eric Normand, “Grokking Simplicity”
Zoom (connection info provided in comments)What is functional programming? Sure, there are academic answers, but is there a good definition that encompasses all that we[…]
-
-
Holiday Social
OnlineIn lieu of a speaker, we will gather online for end-of-the-year merrymaking. BYOB! Connection information is below.
-
-
Francois Berenger, “OCaml Batteries Included: An Open-Source Extended Standard Library for OCaml”
Zoom (connection info provided in comments)OCaml is a strongly-typed functional programming language with type-inference, born in France at INRIA. One particularity of OCaml is that[…]
Free -
-
OCaml Café
ZoomJoin us with your questions about the OCaml language, or just to hang out with the OCaml community. Especially geared[…]
Free -
Christopher Bremer, “A More Expressive Foreign Function Interface (with F# Computation Expressions)”
ZoomNote: Due to the winter storm in Houston, we've rescheduled this talk for the following week at Wed 2/24 at[…]
Free -
-
OCaml Café
ZoomOCaml Café offers a friendly, low stakes opportunity to ask questions about the OCaml language and ecosystem, work through programming[…]
Free -
Debasish Ghosh, “Functional and Algebraic Domain Modeling”
ZoomFrom algebra of types to the algebra of domain models - the talk focuses on how an algebraic approach with[…]
Free -
-
OCaml Café
ZoomOCaml Café offers a friendly, low stakes opportunity to ask questions about the OCaml language and ecosystem, work through programming[…]
Free -
Martin Jambon, “9+ Languages?! How we built Semgrep, a polyglot static analysis tool”
ZoomSemgrep is an open-source syntax-aware grep, which is used to scan source code for insecure patterns such as 'exec(...)'. It[…]
Free -
-
John Cavnar-Johnson, “Functional Code That Even Your Server Can Understand”
ZoomNo, not that kind of server. Have you ever imagined writing functional code that any waiter or waitress (that kind[…]
Free -
-
Gabriel Gonzalez, “Dhall: A Programmable Configuration Language”
Improving 10111 Richmond Ave, Suite 100, Houston, TX, United StatesDhall is a domain-specific language for enriching configuration files with programming features like types, functions, and imports. The built-in language[…]
Free