Mathematician interested in functional programming.