Skip to content

Instantly share code, notes, and snippets.

@tonymorris

tonymorris/lj-ideas.md

Created March 11, 2014 03:44
Show Gist options
  • Save tonymorris/9479121 to your computer and use it in GitHub Desktop.
Save tonymorris/9479121 to your computer and use it in GitHub Desktop.
Download ZIP
Ideas for proposals for YLJ2014
Raw
lj-ideas.md

  1. Trivial example of dependent types that is also useful (therefore, not the canonical vector size example). Better example: function spaces

  2. Interoperability of the Idris language with legacy libraries (JVM).

  3. Stream processing with scalaz-stream.

  4. Profunctors, the new Arrows.

@markhibberd
Copy link

markhibberd commented Mar 11, 2014

  1. Extensible records, vinyl or something simlar

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment