Coding f#un
0 likes638 views
The document discusses Roman numeral kata and provides potential solutions in F#. It also lists resources for learning more about F#, lambda calculus, and type theory including book recommendations and links. It concludes by thanking the reader and sharing a quote about how programming languages should influence your thinking.
Coding f#un
- 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 a鍖ect the way you think about programming, is not worth knowing. Alan Perlis, Epigrams In Programming #19