https://www.hillelwayne.com/tags/challenge/ Recent content in Challenge on Hillel Wayne Hugo -- gohugo.io en-us Wed, 25 Apr 2018 00:00:00 +0000 https://www.hillelwayne.com/post/theorem-prover-showdown/ Wed, 25 Apr 2018 00:00:00 +0000 https://www.hillelwayne.com/post/theorem-prover-showdown/ Functional programming and immutability are hot right now. On one hand, this is pretty great as there’s lots of nice things about functional programming. On the other hand, people get a little overzealous and start claiming that imperative code is unnatural or that purity is always preferable to mutation. I think that the appropriate paradigm is heavily dependent on context, but a lot of people speak in universals. I keep hearing that it’s easier to analyze pure functional code than mutable imperative code.