-
It’s int-index who will be publishing the DT task-breakdown, not me.
-
Here’s a post from a Haskeller who would be interested in that breakdown:
Serokell’s Work on GHC: Dependent Types, Part 4
(there may be “others” ).
-
If enough of those subtasks can be done by others besides int-index and sand-witch, that ought to increase the speed of progress towards a full implementation of dependent types for Haskell (beyond the current “snail’s pace”).
If you’re committed to Haskell (perhaps mandated by your employer) then suck it up.
That only makes sense for more experienced Haskellers like us - we should not expect that “crawl over cut razor-wire and landmines” attitude of new Haskellers.
But since you mentioned employers:
…perhaps they got tired of having to “suck it up”.
I programmed in COBOL/SQL/RPG for decades. My opinion on them as languages was not invited.
Neither was this thread - it was a reaction to the hiding of this other post of mine to the original thread:
before it was moved here.
[***] I’m not using GHC 9 series at all. I’m applying the features/fixes, extensions I value to another Haskell.
…much like how MicroHs has various Haskell extensions as permanent features: “you get what you get”.