Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/

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.:

Portland Functional Programming Meetup: http://groups.google.com/pdxfunc

Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/

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.:

Portland Functional Programming Meetup: http://groups.google.com/pdxfunc

Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/

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.:

http://groups.google.com/pdxfunc

Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/

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.:

http://groups.google.com/pdxfunc

Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/

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.:

http://groups.google.com/pdxfunc

Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/

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.:

http://groups.google.com/pdxfunc

Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/

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.:

http://groups.google.com/pdxfunc

Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/

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.:

http://groups.google.com/pdxfunc

Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/

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.:

http://groups.google.com/pdxfunc

Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/

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.:

http://groups.google.com/pdxfunc

Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/

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.:

http://groups.google.com/pdxfunc

Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/

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.:

http://groups.google.com/pdxfunc

Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/

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.:

http://groups.google.com/pdxfunc

We'll discuss Chapter 3 of Pearls of Functional Algorithm Design. 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.

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.:

http://groups.google.com/pdxfunc

We'll discuss Chapter 3 and possibly Chapter 4 of Logic and Proof (https://leanprover.github.io/logic_and_proof/). Please try to at least read Chapter 3 and do the exercises. Chapter 4 is a stretch goal. At the meeting anyone will be able to present and contribute to the discussion.

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.:

http://groups.google.com/pdxfunc

Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/

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.:

http://groups.google.com/pdxfunc

Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/

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.:

http://groups.google.com/pdxfunc

We will continue our Haskell lesson series with Lyle delivering Lesson 4 on Higher-Order Programming and Type Inference from Brent Yorgey's CIS194 course.

Then Michael Beidler will present on full-stack "isomorphic" web apps with Haskell (REST APIs in servant and GHCJS front-ends with react-flux).

The 8th-floor elevator has been restored to operation, so there are no longer stairs to climb.

Bring your functional problems, success stories and questions.

We'll discuss what Haskell is good for and why you should care, the ever popular "what's a monad" and anything functional related people want to talk about.

Echo Nolan will be presenting the paper "Generic Constructors and Eliminators from Descriptions: Type Theory as a Dependently Typed Internal DSL" by Tim Sheard and Larry Diehl. The authors describe a method of encoding inductive types via descriptions that are ordinary terms, rather than each inductive type adding a new set of axioms to the theory. They go on to contribute a generic eliminator function that works for any type defined in this way.

Bring your functional problems, success stories and questions.

Bring your functional problems, success stories and questions.

Bring your functional problems, success stories and questions.

Some possible topics for this month:

• The relationship between applicative functors, arrows, and monads.

• An experience report on debugging an IO related crash in Haskell.

• Do covariance and contravariance apply in Elm and Haskell?

Bring your functional problems, success stories and questions.

Some possible topics for this month:

• A functional programming library in Perl, providing lists and an option type, utilizing mixed-in "roles" similar to type classes.

• The relationship between applicative functors, arrows, and monads.

Bring your functional problems, success stories and questions. Topics TBD

Talks/discussions TBD.

Have something cool you'd like to share or discuss? Have a pressing problem or question about functional programming? Send a message to the meetup group!

See the mailing list or the Meetup event (linked above) for details on this month's agenda, or to talk to us. Attendance is limited at this venue. RSVP via the Meetup group.

ABOUT THE GROUP: Join programmers, researchers and enthusiasts to discuss functional programming. pdxfunc is a study/user group exploring the world of functional programming, based in Portland, Oregon. The group welcomes programmers interested in all functional languages, including Haskell, Erlang, OCaml, Lisp, Clojure, Scala, Oz, Agda, Idris, and others. The group meets regularly on the second Monday of the month for presentations, demos and discussions applicable to all skill levels, from newbies and experts.

Talks/discussions TBD.

Have something cool you'd like to share or discuss? Have a pressing problem or question about functional programming? Send a message to the meetup group!

See the mailing list or the Meetup event (linked above) for details on this month's agenda, or to talk to us. Attendance is limited at this venue. RSVP via the Meetup group.

ABOUT THE GROUP: Join programmers, researchers and enthusiasts to discuss functional programming. pdxfunc is a study/user group exploring the world of functional programming, based in Portland, Oregon. The group welcomes programmers interested in all functional languages, including Haskell, Erlang, OCaml, Lisp, Clojure, Scala, Oz, Agda, Idris, and others. The group meets regularly on the second Monday of the month for presentations, demos and discussions applicable to all skill levels, from newbies and experts.

Echo Nolan will be presenting "Haskell, the Bad Parts".

There was desire expressed last time for a Haskell talk focusing on practical work. I wrote a tiny - 103 lines - utility for setting up port forwarding last April. It's an example of a working program and I have all kinds of complaints about how you have to do things in the language.

I do love the language though.

See the mailing list or the Meetup event (linked above) for details on this month's agenda, or to talk to us. Attendance is limited at this venue. RSVP via the Meetup group.

ABOUT THE GROUP: Join programmers, researchers and enthusiasts to discuss functional programming. pdxfunc is a study/user group exploring the world of functional programming, based in Portland, Oregon. The group welcomes programmers interested in all functional languages, including Haskell, Erlang, OCaml, Lisp, Clojure, Scala, Oz, Agda, Idris, and others. The group meets regularly on the second Monday of the month for presentations, demos and discussions applicable to all skill levels, from newbies and experts.

See the mailing list for details on this month's agenda. Attendance is limited at this venue. RSVP via the Meetup group.

ABOUT THE GROUP: Join programmers, researchers and enthusiasts to discuss functional programming. pdxfunc is a study/user group exploring the world of functional programming, based in Portland, Oregon. The group welcomes programmers interested in all functional languages, including Haskell, Erlang, OCaml, Lisp, Clojure, Scala, Oz, Agda, Idris, and others. The group meets regularly on the second Monday of the month for presentations, demos and discussions applicable to all skill levels, from newbies and experts.