3 ms·
As I said to another comment, this isn't a place for architecture astronautics or squinting until one thing looks like another. It's all assembler under the hoo
by jerf 26d ago
As I said to another comment, this isn't a place for architecture astronautics or squinting until one thing looks like another. It's all assembler under the hood in the end and that language not only doesn't have color, it doesn't have types in any practical sense of the term. At the level of Haskell itself, IO is a color and IO is not a function argument. The compiled code is all assembler. The Haskell may itself be an interpreter for a language that has no color. Above it there is no color, below it it may be implementing something without colors, but at the level of Haskell itself, IO is a color.
- whateveracct 26d agoit is all assembly under the hood but it's also all lambda calculus under the hood
- tome 26d agoIn Bluefin, IOE (which allows you to do I/O, i.e. what Haskell's IO also allows you to do) is an argument, and therefore not a color under your interpretation. https://hackage.haskell.org/package/bluefin-0.0.7.0/docs/Bluefin-IO.html https://hackage.haskell.org/package/bluefin-0.0.7.0/docs/Blu...