User loginNavigation |
ImplementationGeneralized ADTs in HaskellSimon Peyton-Jones, via Haskell-list:
This is implementation of the "wobbly types" we've discussed before in GHC, slated for release in version 6.4. Simon also give a pointer to Tim Sheard's site, as he's done a lot of related work. There I found an interesting looking paper on Omega, a language which takes the GADT idea even further. By Bryn Keller at 2004-10-01 17:11 | Functional | Implementation | 1 comment | other blogs | 9889 reads
Smalltalk 80: Green BookThe text for Smalltalk-80, Bits of History, Words of Advice is now available online. The text documents the development history of the Smalltalk 80 language.
Acute: high-level programming language design for distributed computationFor more info, see the Main site, from which you can view papers and sample code. By Bryn Keller at 2004-08-06 15:55 | Functional | Implementation | Parallel/Distributed | login or register to post comments | other blogs | 13198 reads
Icon Language Implementation and Unicon NewsIcon has always impressed me as the most elegant and useful string processing language. In fact, I still use it. The speed impresses me to this day. Lately the out-of-print Implementation of the Icon Programming Language book went online as a PDF download. Not only that, the copyright is public domain. The successor language Unicon has published the first issue of The Generator, a journal devoted to that language. Unicon is an open-source project. Therefore code from the Icon implementation book lives in Unicon's public code repository. What Unicon adds to Icon is OO, POSIX, and other goodies. My own plea is for language folks to study (Un-)Icon's string scanning mechanisms. How I wish they were more common. No matter what my task or language du jour, I always find myself longing for Icon when it comes to strings. Doug Bagley offers some OCaml libraries which imitate Icon string techniques. Types in CMUCLCMU Common Lisp's compiler, known as Python, has a sophisticated implementation of Common Lisp's powerful type system. The system primarily enforces type safety at runtime, but it also performs static type inference. The static type information is used to detect type errors, eliminate unnecessary runtime type checks, and select efficient primitive code (e.g. avoid excessively generic arithmetic). CMUCL's history stretches back around twenty years, though I believe the compiler was rewritten "just" 15 odd years ago. The system is still widely used, notably by ITA software as publicised by Paul Graham. |
Browse archivesActive forum topics |
Recent comments
9 min 7 sec ago
2 weeks 2 days ago
2 weeks 2 days ago
3 weeks 2 days ago
3 weeks 3 days ago
3 weeks 3 days ago
3 weeks 3 days ago
3 weeks 3 days ago
4 weeks 2 days ago
4 weeks 3 days ago