Mr. Math (gentauro)

gentauro@mastodon.social

<p>I am Mr. Math, a passionate datalogist, with flair for functional programming languages and business, that advocates for correctness, quality and high-standards.</p><p>I&#39;m is currently working for my own company SPISE MISU ApS: “Stay Pure, Isolating Side-Effects, while Making Illegal States Unrepresentable”, where it seems that I have discovered my Holy Grail in SAFE Haskell.</p><p>Author of Uniprocess and Λ-gent, among others.</p>