Scala at the Sea: 8 Jan 2019
Adam Rosien @arosien Inner Product LLC
Can you read this? How about you over there? :thumbs_up:
What is type-level programming?
Paul Howard pauldhoward
pauldhoward
/ scala-at-the-sea-20180108.md
Created
January 14, 2019 22:52
— forked from arosien/scala-at-the-sea-20180108.md
(enhanced) notes from my Scala By The Sea meetup talk about "Type-level Programming"
pauldhoward
/ fpmax.scala
Created
July 13, 2018 17:02
— forked from jdegoes/fpmax.scala
FP to the Max — Code Examples
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| package fpmax | |
| import scala.util.Try | |
| import scala.io.StdIn.readLine | |
| object App0 { | |
| def main: Unit = { | |
| println("What is your name?") | |
| val name = readLine() |
pauldhoward
/ keybase.md
Created
June 29, 2018 00:33
I hereby claim:
- I am pauldhoward on github.
- I am pauldhoward (https://keybase.io/pauldhoward) on keybase.
- I have a public key ASBdOJQCSx25g0GO2jHzEc-R7r1nHWSLMRludFuPQ5boLQo
To claim this, I am signing this object: