Functional Python Programming and Verified Functional Programming in Agda are both books teaching functional programming.  Yet the books are about[…]

What is functional programming? Sure, there are academic answers, but is there a good definition that encompasses all that we[…]

In lieu of a speaker, we will gather online for end-of-the-year merrymaking.  BYOB! Connection information is below.

OCaml is a strongly-typed functional programming language with type-inference, born in France at INRIA. One particularity of OCaml is that[…]

Join us with your questions about the OCaml language, or just to hang out with the OCaml community. Especially geared[…]

Note: Due to the winter storm in Houston, we've rescheduled this talk for the following week at Wed 2/24 at[…]

OCaml Café offers a friendly, low stakes opportunity to ask questions about the OCaml language and ecosystem, work through programming[…]

From algebra of types to the algebra of domain models - the talk focuses on how an algebraic approach with[…]

OCaml Café offers a friendly, low stakes opportunity to ask questions about the OCaml language and ecosystem, work through programming[…]

Semgrep is an open-source syntax-aware grep, which is used to scan source code for insecure patterns such as 'exec(...)'. It[…]

No, not that kind of server. Have you ever imagined writing functional code that any waiter or waitress (that kind[…]

Dhall is a domain-specific language for enriching configuration files with programming features like types, functions, and imports. The built-in language[…]