Viewing profile — waluigi

It’s even more counterintuitive than you let on! If you are working in ZFC along with the axiom “ZFC is consistent” then there’s no issue: just a normal number[1]. Where things get…

Defining x/0 as 0 doesn’t break anything mathematically; all the relevant field axioms have an x != 0 hypothesis so this really is undefined behavior. Moreover, it’s actually prett…

I think what the poster above is saying is that by saying "the pentagon" the author is referring to the (unique) 5 sided regular polygon, as opposed to some random, potentially non…

I would push back against this. There is definitely a pretty steep learning curve, but once you are over it you really start to reap the benefits of being able to rapidly add niche…

The way I would approach this is to write what essentially amounts to a declarative specification of what computation needs to be run, and then define an interpreter that handles t…

Monad Transformers aren't _that_ bad, the MTL style of doing things makes it all pretty painless. It also provides a huge opportunity for testing. At a very high level, you describ…

[flagged]

F#'s object model is very different from OCaml's. F# is basically the same as C# when it comes to objects, but OCaml has some sense of structural subtyping that F# lacks. On top of…

This owns. It's important to realize that a lot of at-risk populations that would most benefit from medication are often the most economically disadvantaged, and that our current h…

Thank you for pointing this out. It seems that "Governments are ineffective" is taken as a universal truth around here, without considering the fact that pro-privatisation governme…

Its a common misconception that proofs by contradiction are not constructive. Take the proof that √2 is irrational. What you are trying to prove is that √2 is not rational, or, con…

Yeah, effect systems in general are a really cool idea that I wish we saw more of. Haskell and its derivatives are the only semi popular languages that have some sort of system, an…