[coolio1232]

This actually looks good. It's like a less-obtuse Haskell. At a glance the features seem to be just the right mix of functional programming paradigms and standard imperative programming.

[steve_adams_86]

The other day I saw someone describe writing Haskell as “programming with your elbows while listening to math rock”, which is awesome. I can see the need for a less-obtuse Haskell

[bmitc]

Less obtuse Haskells have existed for years: Standard ML, OCaml, and F#.

[ksp-atlas]

It also involves sending values forwards and backwards in time using Tardises occasionally

[bmitc]

What is the relation to Haskell?

The language is basically Racket, which is a Scheme at its core. There's very little in common with a language like Haskell.

[coolio1232]

Syntax-wise it looks a lot like Haskell to me, especially the pattern-matching, the variable declarations (with `::`), as well as the indent-based blocks.

[cies]

It's usually called ML-syntax. SML, OCaml, Elm, PureScript, and many more have used this.

[galaxyLogic]

So it's not PURE!

[otabdeveloper4]

Yeah, it doesn't have the one thing that makes Haskell Haskell.

[tromp]

It's also strict rather than lazy by default. So it doesn't have the two things that make Haskell Haskell.

[pjmlp]

Actually it started with Miranda.

[tromp]

Which in turn started with https://en.wikipedia.org/wiki/SASL_(programming_language)

[cies]

> What is the relation to Haskell?

I could only think of is they are both being a "typed lambda calculus" language with an ML-syntax.