Changes between Version 99 and Version 100 of WikiStart

Show
Ignore:
Timestamp:
10/31/10 03:16:27 (4 years ago)
Author:
benl (IP: 129.94.242.47)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v99 v100  
    11= The Disciplined Disciple Compiler (DDC) = 
    22 
    3 Disciple is a dialect of Haskell that uses strict evaluation as the default and supports destructive update of arbitrary data structures. Sequencing of effectful computations is achieved via effect typing, instead of with Monads such as ST and IO. Laziness is supported via programmer annotations, and the effect system guarantees that computations with visible side effects are not suspended. Many Haskell programs are also Disciple programs, or will run with minor changes. Our target applications are the ones that you always find yourself writing C programs for, because existing functional languages are too slow, use too much memory, or don't let you update the data that you need to. 
     3Disciple is a dialect of Haskell that uses strict evaluation as the default and supports destructive update of arbitrary data structures. Disciple includes region, effect and closure typing which provides a handle on the operational behaviour of code that isn't available in other languages. Laziness is supported via programmer annotations, and the effect system guarantees that computations with visible side effects are not suspended. Many Haskell programs are also Disciple programs, or will run with minor changes. Our target applications are the ones that you always find yourself writing C programs for, because existing functional languages are too slow, use too much memory, or don't let you update the data that you need to. 
    44 
    55DDC is still in the "research prototype" stage, meaning that it will compile programs if you are nice to it, but expect compiler panics and missing features. You'll get panics due to ungraceful handling of errors in the source code, but valid programs should compile ok. Here are some working examples, along with their Disciple source code: