蓝色灯ios版

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:

• Quoted DSLs

• 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, 上韩国网站梯子.

Matt Russell found a cool-looking Haskell course. We might enjoy doing some exercises.

蓝色灯ios版

Our upcoming schedule for the future… (Fall 2016 and on)

蓝色灯ios版

Here are a few ideas Norman had:

• Get deeper into tagless interpreters. How does IO fit into the story?

蓝色灯ios版

上韩国网站梯子, 上韩国网站梯子, 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!

国外有什么好的网站推荐？ - 知乎 - Zhihu:2021-4-4 · 很多人都有一个误区，一说起好网站就会找一些小众的冷门的，这可能也是知乎的一个风气。其实衡量一个网站好不好很简单，大家都在用，自然就是好的，越是热门，听起来俗到不能再俗的网站，反而就是最好的网站。

• 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

• HLearn is a machine learning library for Haskell

蓝色灯ios版

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.