ideas for future activities

Things we might do

  • Check out the Elm GUI toolkit

  • 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