Thursday, February 21, 2008

TinyML - a statically type-checked functional programming language in 700 lines of SML

I finished documenting TinyML, my compact implementation of a functional programming language. What makes TinyML special is that its source code exceptionally short, given that it implements a lexer, parser, evaluator and polymorphic Hindley-Milner type checker, and supports arbitrary algebraic recursive data types, like lists, tuples, trees and options. Best of all TinyML is open source.

Visit the TinyML page

6 Comments:

Anonymous Anonymous said...

You would be stunned be listening to this louis vuitton fact that louis vuitton bags introduces the latest styles of louis vuitton handbags on sale Louis vuitton handbags in the vuitton worldwide market in a most lv handbags professional and discount louis vuitton bags scintillating manner. One of the louis vuitton bag prices most fascinating designer purses news for you my dears Louis Vuitton Scarves is that Louis Vuitton Shoes louis vuitton handbags come in newest styles, designs, sizes, colors, and shapes in the global market these days. From Sunrise Orange to Cosmic PM Rose, from Solar PM Taupe to White To Brown Shades Flap, and Louis Vuitton Caps from Alexa Blue to louis vuitton ties White Shopping Tote Safiano, we bring each quality louis vuitton earrings design of burberry replica handbags in the international omega watches market so as to fulfill your modern day needs omega and louis vuitton handbags desires in style.
Another most important gucci handbags thing is that Christian Louboutin makes use of louis vuitton latest tools and louis vuitton shoes

8:02 PM  
Blogger jojo said...


ارخص اسعار نقل عفش بالرياض

3:55 AM  
Blogger Lucky Patcher said...

WhatsApp Plus


1:25 AM  
Blogger Unknown said...

https://www.bountysource.com/people/72018-itopbiz
https://logopond.com/itopbiz2/profile/358857/?filter=&page=
https://amara.org/en/profiles/profile/itopbiz2/
https://onmogul.com/itopbiz2

1:56 AM  
Anonymous Anonymous said...

find scrabble words online

9:50 PM  
Blogger bataiu said...

I like your article. You can visit my website Blades and Rings Mod Apk

1:08 AM  

Post a Comment

<< Home