05st

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

Implementing a Hindley-Milner Type System (Part 2)

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

Implementing a Hindley-Milner Type System (Part 1)

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

What is Dynamic vs. Static Typing?

By 05st

Published Sun Jul 25 2021

Addressing questions commonly asked by new programmers related to type systems.

Computer Science, Programming, Type Theory

Monads by Example

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

Blog Introduction

By 05st

Published Sun Jul 18 2021

Short welcome message for this blog.

Other