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[…]

In this talk, Duncan will share the motivation, design, and use of undertone in creating musical compositions as well as[…]