An alternative frontend for Haskell?

[george.fst]

tl;dr I think the records problem is basically solved, and we just need to encourage turning on the right extensions.

@gilmi

Haskell generates a new functions for you, like value :: Tree a -> a.

Not with NoFieldSelectors, which I hope will become part of GHC202*.

@gilmi

So you’d have to pattern matching on something of value Tree a, and on the Node payload branch you can do payload.value.

This is really not that different to what I’d do in Haskell:

f = \case
    Nil -> _
    Node{value} -> _

@gilmi

What I have issue with is being able to define the same data type in has and then being able to write let x = Nil in x { value = 1 }

GHC actually warns on this, albeit in a slightly unintuitive way.

My only issues with records in GHC now are really that dot access is partial, and update isn’t overloaded, and these are both being worked on.