By 05st
Published Sat Sep 10 2022
Solutions for all senior problems in the 2021 Canadian Computing Competition.
Algorithms, CCC, Data Structures
By 05st
Published Sun Aug 28 2022
How to make a simple calculator app in Haskell. Learn Haskell by writing practical applications.
Computer Science, Haskell, Programming
By 05st
Published Wed Jul 13 2022
How to write monadic parser combinators in Haskell.
Haskell, Programming
By 05st
Published Thu Feb 10 2022
Solutions for problems S1 to S4 in the 2010 Canadian Computing Competition.
Algorithms, CCC, Data Structures
By 05st
Published Thu Sep 02 2021
Functional programming provides the solutions to many problems found in software engineering today. Lots of languages are already becoming heavily influenced by functional programming and the research in those areas. If you're not sure if you should learn a functional programming language, here are many reasons why.
Programming
By 05st
Published Fri Aug 27 2021
Second part to the tutorial on implementing a Hindley-Milner type system. In this part, we go over substitution, unification, and a few other things. Afterwards, we complete our implementation in Haskell.
Computer Science, Haskell, Programming, Type Theory
By 05st
Published Mon Aug 23 2021
First part of a tutorial on implementing a Hindley-Milner type system for a simple, purely functional programming language in Haskell. We go over syntax representation, how the Hindley-Milner type system is defined, polymorphism vs. monomorphism, generalization, and instantiation.
Computer Science, Haskell, Programming, Type Theory
By 05st
Published Sun Jul 25 2021
Addressing questions commonly asked by new programmers related to type systems.
Computer Science, Programming, Type Theory
By 05st
Published Mon Jul 19 2021
Explaining monads the way I wish they were explained to me, though examples and some practical applications.
Computer Science, Haskell, Programming