Viewing 0 current events matching “pdxfunc” by Date.
Sort By: Date | Event Name, Location , Relevance , Default |
---|---|
No events were found. |
Viewing 30 past events matching “pdxfunc” by Date.
Sort By: Date | Event Name, Location , Relevance , Default |
---|---|
Monday
Jun 4, 2018
|
PDX Func Practice Track – Collective Agency Downtown 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 |
Monday
May 7, 2018
|
PDX Func Practice Track – Collective Agency Downtown 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 |
Monday
Apr 16, 2018
|
PDX Func Practice Track - Pearls of Functional Algorithm Design – Collective Agency Downtown 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.: |
Wednesday
Apr 11, 2018
|
PDX Functional Progamming - Theory Track - Logic and Proof – Collective Agency Division 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.: |
Monday
Apr 2, 2018
|
PDX Func Practice Track - Pearls of Functional Algorithm Design – Collective Agency Downtown 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.: |
Monday
Mar 19, 2018
|
PDX Func Practice Track - Pearls of Functional Algorithm Design – Collective Agency Downtown 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.: |
Wednesday
Mar 14, 2018
|
PDX Functional Progamming - Theory Track - Logic and Proof – Collective Agency Division 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.: |
Monday
Mar 5, 2018
|
PDX Func Practice Track - Pearls of Functional Algorithm Design – Collective Agency Downtown 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.: |
Monday
Feb 19, 2018
|
PDX Func Practice Track - Pearls of Functional Algorithm Design – Collective Agency Downtown 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.: |
Wednesday
Feb 14, 2018
|
PDX Functional Progamming - Theory Track - Logic and Proof – Collective Agency Division 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.: |
Monday
Feb 5, 2018
|
PDX Func Practice Track - Pearls of Functional Algorithm Design – Collective Agency Downtown 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.: |
Wednesday
Jan 24, 2018
|
PDX Functional Progamming - Theory Track - Logic and Proof – Collective Agency Division 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.: |
Wednesday
Jan 10, 2018
|
PDX Functional Progamming - Theory Track - Logic and Proof – Collective Agency Division 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.: |
Monday
Dec 18, 2017
|
PDX Func Practice Track - Pearls of Functional Algorithm Design – Collective Agency Downtown 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.: |
Wednesday
Dec 13, 2017
|
PDX Functional Progamming - Theory Track - Logic and Proof – Collective Agency Division 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.: |
Monday
Dec 4, 2017
|
PDX Func Practice Track - Pearls of Functional Algorithm Design – Collective Agency Downtown 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.: |
Wednesday
Nov 29, 2017
|
PDX Functional Progamming - Theory Track - Logic and Proof – Collective Agency Division 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.: |
Monday
May 15, 2017
|
PDXFunc - Portland Functional Programming Study Group – Collective Agency Downtown 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. |
Monday
Nov 14, 2016
|
PDXFunc - Portland Functional Programming Study Group – Collective Agency Downtown Bring your functional problems, success stories and questions. |
Monday
Oct 10, 2016
|
PDXFUNC - Functional Discussions Collective Agency Downtown 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. |
Monday
Sep 12, 2016
|
PDXFUNC - Functional Discussions Collective Agency Downtown 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. |
Monday
Aug 15, 2016
|
PDXFunc - Portland Functional Programming Study Group – Collective Agency Downtown Bring your functional problems, success stories and questions. |
Monday
Jun 13, 2016
|
PDXFunc - Portland Functional Programming Study Group – Collective Agency Downtown Bring your functional problems, success stories and questions. |
Monday
May 9, 2016
|
PDXFunc - Portland Functional Programming Study Group – Collective Agency Downtown Bring your functional problems, success stories and questions. Some possible topics for this month:
|
Monday
Apr 11, 2016
|
PDXFunc - Portland Functional Programming Study Group – Collective Agency Downtown 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. |
Monday
Mar 14, 2016
|
PDXFUNC Monthly Meeting – Collective Agency Downtown Bring your functional problems, success stories and questions. Topics TBD |
Monday
Jan 18, 2016
|
pdxfunc: Portland Functional Programming Study Group – Collective Agency Downtown 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. |
Monday
Dec 14, 2015
|
pdxfunc: Portland Functional Programming Study Group – Collective Agency Downtown 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. |
Monday
Nov 9, 2015
|
pdxfunc: Portland Functional Programming Study Group – Collective Agency Downtown Echo Nolan will be presenting "Haskell, the Bad Parts".
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. |
Monday
Sep 14, 2015
|
pdxfunc: Portland Functional Programming Study Group – Collective Agency Downtown 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. |