What we're about

PDXFunc is a study/user group exploring functional programming in Portland, Oregon. The group welcomes programmers with any level of experience or interest in any functional language, including Haskell, Lisp, OCaml, Scala, Idris, Agda, as well as using functional techniques in not explicitly functional languages.

We have two kinds of meetings: theory and practice, that each meet twice a month.

Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.:

https://groups.google.com/d/forum/pdxfunc

Upcoming events (5+)

PDX Func Practice Track - Parallel and Concurrent Programming in Haskell

We'll discuss Chapter 4, "Dataflow Parallelism: The Par Monad", of Parallel and Concurrent Programming in Haskell. Please read it beforehand. You may wish to try running the code examples from the book. At the meeting anyone will be able to present and contribute to the discussion.

PDX Func Theory Track - Logic and Proof

Collective Agency

We'll discuss some to-be-determined chapter(s) of Logic and Proof (https://leanprover.github.io/logic_and_proof/). Please read the material beforehand and try your hand at the exercises. At the meeting anyone will be able to present and contribute to the discussion.

PDX Func Practice Track - Parallel and Concurrent Programming in Haskell

We'll discuss some to-be-determined chapter of Parallel and Concurrent Programming in Haskell. Please read it beforehand. You may wish to try running the code examples from the book. At the meeting anyone will be able to present and contribute to the discussion.

PDX Func Theory Track - Logic and Proof

Collective Agency

We'll discuss some to-be-determined chapter(s) of Logic and Proof (https://leanprover.github.io/logic_and_proof/). Please read the material beforehand and try your hand at the exercises. At the meeting anyone will be able to present and contribute to the discussion.

Past events (92)

PDX Func Theory Track - Logic and Proof

Collective Agency

Photos (2)

Find us also at