Fun in the Afternoon
This is the wiki of Tuft’s functional-programming group. We meet every Thursday afternoon from 4:00 to 5:30 while school is in session. We talk about ideas, papers, and code. We might read your code—or help you write it!
Some ideas for future discussions:
Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System might help us test Jumbo ML
Programming Sam Guyer’s digital hourglass in pure functional style (a la
big-bang
)Red-Black trees with deletion (Might, Weirich) and using GADTs to try to enforce invariants
Quines (including LZ quines)
Jumbo ML
Todd Millstein’s tool for automatic feedback on functional-programming errors
Interesting papers from ICFP
Romeo metaprogramming language
higher order optimization (Manticore group)
composable continuations (paper may be tough going but talk was really great)
Francois Pottier has a very cool paper on implementing type inference with elaboration to F. systemWould be really cool to repressive
this!
If you want to get more email, sign up for our mailing list.
Matt Russell found a cool-looking Haskell course. We might enjoy doing some exercises.
Schedule
Our upcoming schedule for the future… (Fall 2016 and on)
When | What |
---|---|
Oct 27 | Free monads with Matt A. |
Nov 3 | Free monads revisited |
Nov 10 | Co-monads with Matt A. |
Nov 17 | Warble and eDSLs with Matt A. |
Nov 24 | Thanksgiving (Some of us might tackle more CoMonads and Cofree) |
Dec 1 | Graph structured stacks in a functional setting for ALL(*) parsing with Karl C. |
Dec 8 | Distributed Lisp PL with Max B. Time change: 2:30pm in H209 |
Programming ideas
Here are a few ideas Norman had:
- Get deeper into tagless interpreters. How does
IO
fit into the story?
Our past lives
Fall 2012 past schedule, Spring 2013 past schedule, Fall 2013 past schedule, Spring 2014 past schedule, Fall 2014 past schedule, and Semesters 2015 past schedule.
We had a lot of fun with a Sudoku Solver
Help create ideas for future activities!
Here are some papers we’ve talked about discussing. They are still hanging fire…
Brent Yorgey, Monoids: Theme and Variations [Functional Pearl], from Haskell 2012
Koen Claessen, Shrinking and Showing Functions, from Haskell 2012
stuff about nested-array parallelism from UNSW, from ICFP’12 or Haskell 2012
Wiki help
For help with the wiki, use the Help link in the sidebar. More details on installing and configurating gitit are available in the Gitit User’s Guide.