Marijn Haverbeke is a user on mastodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse.
If you don't, you can sign up here.
Rust culture: If we do terribly unsafe things in private but expose a safe interface, that's great, right?
Haskell culture: If we can't make the compiler understand and check that what we're doing is safe, we might as well go home.
http://okmij.org/ftp/Computation/types.html#1st-class-memory
@marijn oh wow, I am bookmarking this site
@marijn which do you prefer?
@hirojin I'm usually too lazy to be formal, so definitely more of a Rust programmer
@marijn looking forward to using it in a project (soon, i hope)
@marijn you'd think that but https://hackage.haskell.org/package/data-binary-ieee754-0.4.4/docs/src/Data-Binary-IEEE754.html#floatToWord