Functional Programming Interview with Brian McKenna about Roy, Purescript, Haskell, Idris and dependent types As promised in our last interview for This is not a Monad tutorial we interviewed Brian McKenna, creator of the Roy programming language…
