ideas for future activities

Things we might do

  • Check out the Elm GUI toolkit http://people.seas.harvard.edu/~chong/abstracts/CzaplickiC13.html

  • Develop a good abstraction and library functions for manipulating lazy lists in Standard ML

  • Review and improve the Nor source-code control system

  • Investigate Shake

  • Look at Andrew Kennedy’s work on pickling combinators

  • Tame the wild “mediator finder” used in COMP 40 and turn it into a nice tool for interface discovery

  • Learn about first-class synchronization in Concurrent ML? Maybe study the eXene library?

  • Look at the papers behind some of our favorite talks from ICFP 2012 and the Haskell Symposium

  • Something related to GADTs or applications of GADTs

  • Write Sudoku solvers one week, then the next week look at an expert’s Sudoku solver

  • http://www.impredicative.com/ur/