Replies to message #2,350

  • 🔎 If you see an alert for analytics.usips.org, this is a self-hosted system I am running as a test. It is GDPR compliant and collects no invasive information.
polyester

Programming thread

I don't know about type theory, but in conventional languages, you'd just make the function's return type something that represents either the...
Marvin

Programming thread

Can't you cast away const correctness? Yes. If you're familiar with promises (like Javascript's promises), Haskell's shtick is that basically...
Account

Programming thread

@Marvin since your post is too long Pedantically speaking this is not necessarily the case. A turing complete type system could express "the...
Back
Top Bottom