Difference between revisions of "Discus"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
| ⚫ | The Discus language is an experimental dialect of Haskell which investigates static typing and program transformation in the presence of computational effects. Discus includes region and effect typing, and this extra information provides a handle on the operational behaviour of code that isn't available in other languages. |
||
| − | [[Image:Ddc-alpha1-logo.png|DDC|center]] |
||
| ⚫ | Programs can be written in either a pure/functional or effecful/imperative style, and one of our goals is to provide both styles coherently in the same language. The two styles can be mixed safely, for example: when using laziness the type system guarantees that computations with visible side effects are not suspended. Many Haskell programs are also Discus programs, or will run with minor changes. |
||
| ⚫ | |||
| − | |||
| ⚫ | Programs can be written in either a pure/functional or effecful/imperative style, and one of our goals is to provide both styles coherently in the same language. The two styles can be mixed safely, for example: when using laziness the type system guarantees that computations with visible side effects are not suspended. Many Haskell programs are also |
||
| − | |||
| − | DDC 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. |
||
== More Information == |
== More Information == |
||
| − | * Please see http:// |
+ | * Please see http://discus-lang.org for further information. |
| − | * You can also post in http://groups.google.com/group/disciple-cafe. |
||
| − | * Or ask in #disciplined on irc.freenode.net |
||
Revision as of 00:39, 24 February 2018
The Discus language is an experimental dialect of Haskell which investigates static typing and program transformation in the presence of computational effects. Discus includes region and effect typing, and this extra information provides a handle on the operational behaviour of code that isn't available in other languages.
Programs can be written in either a pure/functional or effecful/imperative style, and one of our goals is to provide both styles coherently in the same language. The two styles can be mixed safely, for example: when using laziness the type system guarantees that computations with visible side effects are not suspended. Many Haskell programs are also Discus programs, or will run with minor changes.
More Information
- Please see http://discus-lang.org for further information.