@pdxfunc

The Portland Functional Programming Study Group exlores the world of functional programming in many languages.

 Portland, Oregon
pdxfunc.org/
Joined June 2009
  • Tweets157
  • Following68
  • Followers174
1Media
Tonight! Collective Agency on SE Division, at 6:30.
This Post is from a suspended account. Learn more
"The inference seems almost too obvious to state explicitly ... the rule reads as follows:" 🤔 leanprover.github.io/logic_a…
Reminder: this is at the Collective Agency on SE 30th & Division, instead the downtown location we've used in the past.
Based on survey, we'll have "theory" meetings 2nd & 4th Wednesdays @CollectiveAgenC Division, "Logic and Proof"; "practice" meetings 1st & 3rd Mondays @CollectiveAgenC downtown, "Pearls of Functional Algorithm Design". groups.google.com/d/msg/pdxf…
1
2
10 year anniversary meeting starting in 10 minutes!
2
10
Meeting Monday September 11! Lyle will present Haskell lesson five and his BASIC interpreter meetup.com/Portland-Function…
I'll be speaking/demoing an @elmlang app at @pdxfunc a week from Monday! You should be there if you're near Portland. – at Woodland, WA
1
1
2
1
Meeting tomorrow, 6:30p! Haskell lesson 5 & the 1ML language. meetu.ps/392BhH
1
Reminder: the meeting's been rescheduled for next week
Meeting tomorrow, 6:30p! First, Haskell lesson 4. Then Haskell web apps with GHCJS frontends and Servant backends. meetup.com/Portland-Function…
1
Meeting tonight! Haskell lesson 3 & Category Theory. 6:30pm at Collective Agency's Tiffany Center location: meetup.com/Portland-Function…
1
1
Haskell lab is in a few hours at 6:30. Lyle and Echo will be there to help with the homework. meetup.com/Portland-Function… Come hang out!
1
Big turnout tonight! Lyle is starting us off explaining the virtue of functional programming. – at Portland, OR
1
1
Tonight! xitter.cf/pdxfunc/status/8334401…
pdxfunc@pdxfunc19 Feb 2017
Meeting tomorrow, 6:30PM! Haskell lesson 1 + data parallelism in Spark & Scala. meetup.com/Portland-Function… NB: Different location from usual
Meeting tomorrow, 6:30PM! Haskell lesson 1 + data parallelism in Spark & Scala. meetup.com/Portland-Function… NB: Different location from usual
1
2
1
Second notice: Help us make the group better and answer our survey. What would make you excited to come? docs.google.com/forms/d/e/1F…

PDXFunc/Portland Functional Programming Study Group Survey

Tell us about your experiences at the meetings and what you'd like to see. We're interested in responses from regulars, people who come occasionally, people who stopped coming, people who've consid...

docs.google.com
1
Help us make the group better and answer our survey. Should be <10 minutes. What would make you excited to come? goo.gl/forms/AvRyamsSgmIF83B…

PDXFunc/Portland Functional Programming Study Group Survey

Tell us about your experiences at the meetings and what you'd like to see. We're interested in responses from regulars, people who come occasionally, people who stopped coming, people who've consid...

docs.google.com
3
Meeting tonight! We'll discuss what Haskell is good for, why you should care and monads. 6:30pm, Collective Agency. meetup.com/Portland-Function…
1
Meeting Monday evening! @enolan will present "Generic Constructors and Eliminators from Descriptions" meetup.com/Portland-Function…
1
1
Load more