5 ms·

Praising Kernel (The Axis of Eval)

67 points by Autre 15y ago

Autre 15y ago
Also: have a look at https://github.com/manuel/schampignon https://github.com/manuel/schampignon (an interpreter for a Kernel-like language)
losethos 15y ago
You're doing this in plain view of God? Seriously, dude, go hide.
pnathan 15y ago
Kernel the language can be found here: http://web.cs.wpi.edu/~jshutt/kernel.html http://web.cs.wpi.edu/~jshutt/kernel.html Where the author mentions that it is related to his doctoral dissertation, Fexprs as the basis of Lisp function application; or, $vau: the ultimate abstraction[1]. [1] http://www.wpi.edu/Pubs/ETD/Available/etd-090110-124904/ http://www.wpi.edu/Pubs/ETD/Available/etd-090110-124904/
bgurupra 15y ago
Unrelated to the content of the article but by the UI - is it just me or does have pitch black background with white text is a bad design for the eye?
- lisper 15y ago
  It's not just you. White text on a black background is HORRIBLE design. That's why my Readability bookmarklet sees a lot of use.
- Autre 15y ago
  Readability is just one click away http://www.readability.com/ http://www.readability.com/
copper 15y ago
Not that it makes a difference, but I believe R6RS provide first-class environments, too: http://www.r6rs.org/final/html/r6rs-lib/r6rs-lib-Z-H-17.html http://www.r6rs.org/final/html/r6rs-lib/r6rs-lib-Z-H-17.html Edit: After looking through the Racket docs, I believe I was referring to were its namespaces.
tsewlliw 15y ago
I've read about Kernel before, but this time I wondered if $vau is in any way related to 0 from Jot (the turing tarpit best apparently best used as a Goedel numbering). Maybe I should just write jshutt...
- pwpwp 15y ago
  there are certain similarities to other very-low-operator-count languages - the big difference is that with Kernel's fexprs, you can go from this handful of operators to a fully-featured language more expressive than Scheme, and do so with style. See the R-1RK - it builds up the whole language, sequentially, from the built-ins: ftp://ftp.cs.wpi.edu/pub/techreports/pdf/05-07.pdf
AndresNavarro 15y ago
I think I'll use this opportunity for a shameless plug: https://bitbucket.org/AndresNavarro/klisp https://bitbucket.org/AndresNavarro/klisp This is my ongoing project for a Kernel interpreter. It's already functional and it even has documentation. It is still, however, a work in progress!
nickik 15y ago
I generally agree with alot the autor said and I will surly check out kernel. About JITs ---------------- I agree that Scheme missed the JIT thing. Most Scheme compiler are AOT but Scheme would be nice to do research in JITs for dynamic languages. Now we have it in JS witch is more complicated. It would be nice if there would be a fast and small JIT for Scheme that is good for learning. is there something like that? I know Racket has something like that but Racket is much more then just a JIT for Scheme. About Clojure ---------------- I think the author missunderstands Clojure (not just in this article). The "see the need (... of eval)"-statment was not about eval in general. Clojure has eval. The statmand was about having eval in ClojureScript (Clojure that AOT Compiles to JS) and there is not a priorety because its need is much less then the usfullness. Clojure wants to be practical now and not be revolutionary. It never said it want to be ideal it just makes the best of what we have.

67 points by Autre 15y ago

Autre 15y ago

Also: have a look at https://github.com/manuel/schampignon https://github.com/manuel/schampignon (an interpreter for a Kernel-like language)

losethos 15y ago

You're doing this in plain view of God? Seriously, dude, go hide.

pnathan 15y ago

Kernel the language can be found here: http://web.cs.wpi.edu/~jshutt/kernel.html http://web.cs.wpi.edu/~jshutt/kernel.html Where the author mentions that it is related to his doctoral dissertation, Fexprs as the basis of Lisp function application; or, $vau: the ultimate abstraction[1]. [1] http://www.wpi.edu/Pubs/ETD/Available/etd-090110-124904/ http://www.wpi.edu/Pubs/ETD/Available/etd-090110-124904/

bgurupra 15y ago

Unrelated to the content of the article but by the UI - is it just me or does have pitch black background with white text is a bad design for the eye?

lisper 15y ago
It's not just you. White text on a black background is HORRIBLE design. That's why my Readability bookmarklet sees a lot of use.
Autre 15y ago
Readability is just one click away http://www.readability.com/ http://www.readability.com/

copper 15y ago

Not that it makes a difference, but I believe R6RS provide first-class environments, too: http://www.r6rs.org/final/html/r6rs-lib/r6rs-lib-Z-H-17.html http://www.r6rs.org/final/html/r6rs-lib/r6rs-lib-Z-H-17.html Edit: After looking through the Racket docs, I believe I was referring to were its namespaces.

tsewlliw 15y ago

I've read about Kernel before, but this time I wondered if $vau is in any way related to 0 from Jot (the turing tarpit best apparently best used as a Goedel numbering). Maybe I should just write jshutt...

pwpwp 15y ago
there are certain similarities to other very-low-operator-count languages - the big difference is that with Kernel's fexprs, you can go from this handful of operators to a fully-featured language more expressive than Scheme, and do so with style. See the R-1RK - it builds up the whole language, sequentially, from the built-ins: ftp://ftp.cs.wpi.edu/pub/techreports/pdf/05-07.pdf

AndresNavarro 15y ago

I think I'll use this opportunity for a shameless plug: https://bitbucket.org/AndresNavarro/klisp https://bitbucket.org/AndresNavarro/klisp This is my ongoing project for a Kernel interpreter. It's already functional and it even has documentation. It is still, however, a work in progress!

nickik 15y ago

I generally agree with alot the autor said and I will surly check out kernel. About JITs ---------------- I agree that Scheme missed the JIT thing. Most Scheme compiler are AOT but Scheme would be nice to do research in JITs for dynamic languages. Now we have it in JS witch is more complicated. It would be nice if there would be a fast and small JIT for Scheme that is good for learning. is there something like that? I know Racket has something like that but Racket is much more then just a JIT for Scheme. About Clojure ---------------- I think the author missunderstands Clojure (not just in this article). The "see the need (... of eval)"-statment was not about eval in general. Clojure has eval. The statmand was about having eval in ClojureScript (Clojure that AOT Compiles to JS) and there is not a priorety because its need is much less then the usfullness. Clojure wants to be practical now and not be revolutionary. It never said it want to be ideal it just makes the best of what we have.