News for hackers. Stuff that matters.

A comment on Reenix: Implementing a Unix-Like Operating System in Rust [pdf]. Parent comment

Re:Reenix: Implementing a Unix-Like Operating System in Rust... by scialex on Tuesday April 28, 2015 @10:14AM (#9452478)
Thanks.

I believe HKT would have been useful but am not really sure how much HKT would have helped me overall. They would likely have been most useful (if at all) in the VFS/S5FS/VM stages that I was unable to fully get to.

Honestly, I have not used haskell enough to definitively say whether monads/arrows would have been useful.

[ Parent | on HN ]
Re:Reenix: Implementing a Unix-Like Operating System in Rust... by mafribe on Tuesday April 28, 2015 @10:46AM (#9452717)
I guess the only way to find out is to await the emergence of low-level languages with HKTs and then run suitable experiments.
[ Parent | on HN ]