Write Yourself a Haskell in Lisp

http://gergo.erdi.hu/blog/2013-02-17-write_yourself_a_haskell..._in_lisp/

by malloc47 • 13 years ago

129 13 13 years ago

gergo.erdi.hu

Cool. Does it qualify as some sort of mutual recursion if you use haskell to build a lisp which builds haskell?

You can use this tutorial for the first step if you want to do it: Write Yourself a Scheme in 48 Hours by Jonathan Tang. http://jonathan.tang.name/files/scheme_in_48/tutorial/overvi...

robinh2• 13 years ago

It would be interesting to see how many languages you could nest before the interpreter becomes too slow to be of use.

Raphael• 13 years ago

Make the Yule-tide gay.

tikhonj• 13 years ago

If you're interested in something similar but a little more theoretical, take a look at "Simply Easy"[1], a little paper on implementing a couple of variations on the lambda calculus. The main idea is to demonstrate how to evaluate a dependently typed language.

It starts by looking at how to evaluate the simply typed lambda calculus and then going from that to a dependently typed lambda calculus. Surprisingly, the transformation is not all that complicated!

The actual code is in Haskell.

[1] http://strictlypositive.org/Easy.pdf

huhsamovar• 13 years ago

Another 'X written in Y' post. Awesome.

I think I'll save myself the wasted time and just use X from the get-go.

emillon• 13 years ago

Well, the semantics of a lazy language are a bit different than usual. While I agree that pages of s-expressions are hard to feel, seeing the graph reduction algorithm on a few examples was quite refreshing.

cdmoyer• 13 years ago

The point isn't to replace X. It's to learn more about X and Y.

Quiark• 13 years ago

Hehe, I love this. I have been doing something similar, writing a compiler of Scheme-like language to x86 in Haskell.

https://bitbucket.org/quiark/hsc

The whole purpose of that mental gymnastics was to learn x86 assembly while practicing my Haskell ;)

Write Yourself a Haskell in Lisp

Related Stories