| 3 | | Disciple is a dialect of Haskell that uses strict evaluation as the default. It supports arbitrary destructive update, effect and closure typing, type directed field projections and allied functional goodness. 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. |
| | 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 via 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. |
