| Kirill's profileKirill OsenkovPhotosBlogLists | Help |
|
March 30 Programming languages I'm interested inHere's a list of programming languages I consider promising and/or interesting (mostly front-edge research languages).
Nemerle
www.nemerle.org Strong type-inference engine. Syntactic macros (ala LISP) for flexible language extensions (Meta-Programming). Boo
http://boo.codehaus.org/ OO, statically typed, syntactic macros, Python-based Syntax, .NET integration. F#
http://research.microsoft.com/fsharp ML / OCaml for .NET. Interesting functional mix. Type-safe. Scripting. Comega
http://research.microsoft.com/comega/ C#-extension to support concurrency and work with XML. Has interesting concepts, like Haskell's infinite lists, which is good for continuations etc. SpecSharp
http://research.microsoft.com/SpecSharp/ Specification oriented (compare: Eiffel), design-by-contract, pre- and post-conditions etc. Epigram
http://www.e-pig.org Dependent typing. A very innovative Code-Editor. Very powerful compile-time checks. Other links: History of programming languages
http://www.cerezo.name/archives/img/history.html Language creators
http://www.angelfire.com/tx4/cus/people/ TrackbacksThe trackback URL for this entry is: http://kirillosenkov.spaces.live.com/blog/cns!AE21C9808F003D52!117.trak Weblogs that reference this entry
|
|
|