User loginNavigation |
ImplementationRel: an open source implementation of Date & Darwen's Tutorial DMore from Slashdot, which today points to an article on Rel, Dave Voorhis' open source implementation of Tutorial D (see Chris Date and Hugh Darwen's The Third Manifesto for a discussion of the rationale behind this language). Voorhis explains his motives for creating the implementation in an article on the (currently somewhat sparse) Rel Wiki. Discussions of possible replacements of, or improvements on, SQL usually end up being all about the powerful institutional/human factors (or "network effects") that will impede acceptance of any new solution. Refreshingly, Voorhis is going ahead and building one anyway, without waiting for approval from the masses. It might catch on, or it might not; at least someone's giving it a go. Generalized 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 | 10767 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 | 14483 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 archives
Active forum topics |
Recent comments
16 weeks 5 days ago
16 weeks 6 days ago
16 weeks 6 days ago
39 weeks 6 hours ago
43 weeks 2 days ago
44 weeks 6 days ago
44 weeks 6 days ago
47 weeks 4 days ago
1 year 14 hours ago
1 year 16 hours ago