nex3


32 points by nex3 over 2 years ago | link
cached 10 days ago

24 points by nex3 over 2 years ago | link
cached 22 days ago

24 points by nex3 over 2 years ago | link
cached 9 days ago

18 points by nex3 over 2 years ago | link
cached 22 days ago

13 points by nex3 over 2 years ago | link
cached 13 days ago

10 points by nex3 over 2 years ago | link | parent | top
cached 22 days ago
That's really good to hear. It's easy to feel like we're just spinning our wheels, but knowing you're paying attention and that our work might actually be useful is heartening.

10 points by nex3 over 2 years ago | link | top
cached 22 days ago
I'm very fond of the defcall functionality I added in Anarki - the ability to specify in-Arc the semantics for function calls on arbitrary types. So for example:

  (defcall cons (l i)
    (if (is i 0) (car l)
      ((cdr l) (- i 1))))
It would also work for arbitrary user-defined (via annotate) types as well, of course.

10 points by nex3 over 2 years ago | link
cached 10 days ago

10 points by nex3 over 2 years ago | link
cached 3 days ago

10 points by nex3 over 2 years ago | link | parent | top
cached about 1 hour ago
I'm about to start merging.