Coding f#un

Coding f#un

• 1.
  Coding F#un | MikeHarris | @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 ofF#
 by Dave Fancher
 
 https://www.nostarch.com/ fsharp
• 5.
  Lambda Calculus An Introduction toFunctional Programming Through Lambda Calculus
 by Greg Michaelson
 
 https://www.cs.rochester.edu/ ~brown/173/readings/ LCBook.pdf
• 6.
  Type Theory Type Theoryand 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/
 
 
 “Alanguage that doesn't affect the way you think about programming, is not worth knowing.”
 — Alan Perlis, Epigrams In Programming #19