λ Lessons (stevekrouse.github.io)

Doesn't appear to work on ipad.

Very nice. It took me a while to realize that array literals aren't supported, but once I did that I was able to write concatMap and watch it being evaluated.

A couple of points:

- If there is a syntax error, the box just turns red. It would be nice to see what the issue is.

- You could probably make it clearer that it's possible to execute arbitrary expressions, by editing the map term, for example.

Neat, however it feel clunky. Few things that bugged me:

1. Clear does not work. Firefox 22.0, private mode.

2. Clicking to expand gets tedious fast. Adding shortcut like space would be nice.

3. No syntax highlighting on function editor, also lists could use some colors.

Really awesome stuff JP and Steve! I've been having similar ideas about the subject myself :)

Would love to play with this, but clicking the expansions crashes Safari on my machine

there is a typo

  This document implements a small, dyanmically-typed, 
  subset of Haskell that includes integers, lists, functions,      
  pattern matching and recursion.

Also, Haskell is strictly typed... but most of us aren't ready for that anyway :-P

This will be a cool demo once the kinks get worked out. It lets you see first-hand that you can choose which redex to beta-expand first. Haskell is an excellent choice for this because -- unlike almost every other language -- it does not matter the order you evaluate subexpressions in. I feel like this could be useful to show someone when teaching them to program.

The language in the function editor on the right looks like Haskell. I'm confused as to what the language you run is supposed to be, though. It doesn't seem to have Haskell syntax or semantics. The lists aren't comma-separated, and the main expression seems to require parenthesis? And what is this program doing?

    (map (plus 1) [12])
    (( 1) : (map (plus 1) [2]))
    (( 1) : (( 2) : (map (plus 1) [])))
    (( 1) : (( 2) : []))
    (( 1) : [( 2)])
    [( 1)( 2)]

vs. in Haskell

    Prelude> map (+ 1) [1, 2]
    [2,3]

Pretty cool, although it keeps crashing my Safari on OSX Yosemite beta somehow :)