Roman Numeral kata in F# for a .Net User Group dojo session

1. Coding F#un
| Mike Harris | @MikeMKH
| http://comp-phil.blogspot.com/

2. Roman Numeral Kata
• given a Positive Integer it must return a String
• examples:
1 => I
2 => II
3 => III
4 => IV
5 => V
9 => IX
10 => X
39 => XXXIX

3. Possible Solutions
• https://gist.github.com/MikeMKH/
0f5ca9f4002c64c4868e
• https://gist.github.com/MikeMKH/
d4b6578d7d6238bac75e
• https://gist.github.com/MikeMKH/
36f696e01fa811899b87

4. F#
The Book of F#
by Dave Fancher
https://www.nostarch.com/
fsharp

5. Lambda
Calculus
An Introduction to Functional
Programming Through
Lambda Calculus
by Greg Michaelson
https://www.cs.rochester.edu/
~brown/173/readings/
LCBook.pdf

6. Type Theory
Type Theory and Formal Proof An
Introduction
by Rob Nederpelt and Herman
Geuvers
http://www.cambridge.org/US/
academic/subjects/computer-
science/programming-languages-
and-applied-logic/type-theory-
and-formal-proof-introduction

7. Thank you!
Mike Harris
@MikeMKH
http://comp-phil.blogspot.com/
“A language that doesn't affect the way you
think about programming, is not worth
knowing.”
— Alan Perlis, Epigrams In Programming #19