[Mathnerd314]

Obviously I can't speak for the developers, but as it says a full Linux userspace, I will try spell it out - the userspace consists basically of almost anything you can install in Debian. So

* GNU tools (ls, tail, bash, gdb, etc.)

* OS infrastructure (Systemd, Xorg/Wayland, etc.; probably not Mesa/DRM though as he says he doesn't want to do drivers)

* Desktop environments (KDE, GNOME, etc.)

* ... random other packages like Nethack ...

Honestly the goal seems kind of insane, like Don Quixote trying to reach the unreachable star. But I guess it's good advertising for the consulting work, and of course research projects generate useful side benefits. And writing software in Haskell is fun, so they just might succeed :-)

[saretired]

Perhaps as a proof of concept they can do a native implementation of GNU grep in Haskell and publish some timing stats.