前锋加速器
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, 上韩国网站梯子.
Matt Russell found a cool-looking Haskell course. We might enjoy doing some exercises.
前锋加速器
Our upcoming schedule for the future… (Fall 2016 and on)
上韩国网站梯子 | What |
---|---|
上韩国网站梯子 | 上韩国网站梯子 |
上韩国网站梯子 | Free monads revisited |
上韩国网站梯子 | 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. |
上韩国网站梯子 | Distributed Lisp PL with Max B. Time change: 2:30pm in H209 |
前锋加速器
Here are a few ideas Norman had:
- Get deeper into tagless interpreters. How does
IO
fit into the story?
前锋加速器
上韩国网站梯子, 上韩国网站梯子, 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
前锋加速器
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.