A tiny language, a subset of Haskell (with type classes) aimed at aiding teachers to teach Haskell.

Duet

A tiny language, a subset of Haskell (with type classes) aimed at aiding teachers teach Haskell

Run

Running code in Duet literally performs one substitution step at time. For example, evaluating (\x -> x + 5) (2 * 3), we get:

$ duet run demo.hs
(\x -> x + 5) (2 * 3)
(2 * 3) + 5
6 + 5
11

Note that this demonstrates basic argument application and non-strictness.

Differences from Haskell

See also the next section for a complete example using all the available syntax.

• Duet is non-strict, but is not lazy. There is no sharing and no thunks.
• No module or import module system whatsoever.
• No let syntax, no parameters in definitions e.g. f x = .. you must use a lambda. Representing let in the stepper presents a design challenge not currently met.
• Kinds * are written Type: e.g. class Functor (f :: Type -> Type).
• Kind inference is not implemented, so if you want a kind other than Type (aka * in Haskell), you have to put a kind signature on the type variable.
• Indentation is stricter, a case's alts must be at a column larger than the case.
• Duet does not have seq, but it does have bang patterns in cases. case x of !x -> .. is a perfectly legitimate way to force a value.
• Infix operators are stricter: an infix operator must have spaces around it. You cannot have more than one operator without parentheses, therefore operator precedence does not come into play in Duet (this is intentional). This also permits you to write -5 without worrying about where it rests.
• Superclasses are not supported.
• Operator definitions are not supported.
• There is only Integer and Rational number types: they are written as 1 or 1.0.
• Any _ or _foo means "hole" and the interpreter does not touch them, it continues performing rewrites without caring. This is good for teaching.
• There is no standard Prelude. The only defined base types are:
  • String
  • Char
  • Integer
  • Rational
  • Bool
• You don't need a Show instance to inspect values; the interpreter shows them as they are, including lambdas.

View examples/syntax-buffet.hs for an example featuring all the syntax supported in Duet.