u/rankwallyin r/scala • Recommends
Moving beyond classic defensive programming in Scala (NE Scala 2018)
0:00 / 0:00
#typesystems#defensiveprogramming#correctness
Changlin Li - Moving Beyond Defensive Programming
Northeast Scala Symposium
609 subscribers • 1 video on Hallway
- Recommended by 1 person: 1 in engineering communities.
- Presented by Changlin Li
- Linked in the descriptionSlides on github.com
- An opinion. It argues one side of a question engineers disagree on.
Intermediate. Assumes working knowledge.
1.4K views8 years ago1 recommendation
Programming languagesSoftware designScalaDesign patternsFunctional programming
Changlin Li demonstrates how to leverage Scala's type system to guarantee correctness at compile time instead of relying on defensive runtime checks.
Guidelines for Practical Correctness Through Type Signatures: I'll talk about easy, approachable rules of thumb to leverage Scala's type system to improve correctness which can be used in almost any codebase, without enough implicits to make your head (and compiler) explode. Slides can be found here: github.com/changlinli/types_presentation_slides/blob/v0.2.0/… And the gist: gist.github.com/changlinli/b4dee7273cae1de4f6b262afe0eb6ca7Why it's here
1 person recommends thisWhat people say. Recommended as a practical guide to using types for correctness without overcomplicating the codebase.