Arc Forumnew | comments | leaders | submitlogin
Nock: An alternative to lambda calculus (moronlab.blogspot.com)
2 points by akkartik 3837 days ago | 2 comments


2 points by fallintothis 3833 days ago | link

Just to go through the derivation of his [5 0 1] example:

        *[s [5 0 1]]
  i.e., *[s [5 [0 1]]]  -- because [a b c] == [a [b c]]
  i.e., *[s 5 [0 1]]    -- because [a [b c]] == [a b c]
     => ^*[s [0 1]]     -- by *[a 5 b] => ^*[a b]
  i.e., ^*[s 0 1]       -- because [a [b c]] == [a b c]
     => ^/[1 s]         -- by *[a 0 b] => /[b a]
     => ^s              -- by /[1 a] => a
     => (s + 1)         -- by ^a => (a + 1)
I'm inclined to try his (s - 1) problem, but ain't nobody got time for that.

-----

1 point by akkartik 3837 days ago | link

See also the discussion on HN: https://news.ycombinator.com/item?id=6438320

Especially why lisp failed: https://news.ycombinator.com/item?id=6441036

Equivalent of arc.arc: https://github.com/urbit/urbit/blob/master/urb/zod/arvo/hoon...

-----