# phimuemue

This is a small site mostly concerning mathematical and programming-related problems. Additionally, there's a small collection of music links. I hope you discover something useful!

• Learned the hard way: Type safety is not everything - May 2, 2015

You may have heard that in Haskell "once it compiles, it works". While this seems to apply in Haskell more than in other languages, a compiling program is not guaranteed to be bug-free, even if you might think so. In this post, I shortly want to showcase an example I experienced and what I hopefully learned from it.

• An adventure in Haskell: A simple lambda interpreter - August 2, 2014

I was never an expert of lambda-calculus, but I always wanted to learn (at least the basics of) it. So, I decided to write a very simplistic interpreter for the untyped lambda calculus.

• Five ways to solve one of my favourite mathematical problems - May 10, 2014

During my studies, we had to take the lecture "Discrete Probability Theory" which quickly became one of my favourite ones. The day before the exam, I found the following riddle in the internet (see here):

n persons, all of different heights are standing in a queue facing the window of ticket distributor in a cinema hall. What is the expected number of persons visible to the person at the ticket window if each permutation of n persons is equally likely?

Over time, I found some solutions to this problem, and I'd like to present them to you.

• A simple lambda interpreter - April 2, 2014

I was never an expert of lambda-calculus, but I always wanted to learn (at least the basics of) it. So, I decided to write a very simplistic interpreter for the untyped lambda calculus.

• Expected number of runs in a random permutation - March 28, 2014

My last post was about the expected number of cycles in a random permutation. Today, we'll compute the expected number of runs in a random permutation.

...or you can find more in the archives.

...or you can browse posts by tags: