Today, I presented a Haskell program that computes derivations in the MIU formal system from Douglas Hofstadter’s MU puzzle. I have posted a write-up of my talk on my personal blog.

Advertisements

Reply

Today, I presented a Haskell program that computes derivations in the MIU formal system from Douglas Hofstadter’s MU puzzle. I have posted a write-up of my talk on my personal blog.

Advertisements

I talked about the `Constraint`

kind, a recent addition to Haskell. There is a write-up of my talk on my personal blog.

I talked about some of Haskell’s type system features. You can find a write-up of my talk on my personal blog.

Based on my recap of monads from the week before, I talked about ideal monads. Continue reading

I used the first theory lunch meeting at the Institute of Cybernetics to recap some basics about monads. I discussed how monads are defined in category theory, and how they are implemented in Haskell. Continue reading