This video is supported by translatebox.io
QuickSpec: hackage.haskell.org/package/q...
Code shown in the video: github.com/phagenlocher/quick...
Examples: github.com/nick8325/quickspec...
Timestamps:
00:00 - Intro
04:25 - Simple Laws for the Addition
05:58 - concatMap Laws, Polymorphic Signatures
09:51 - Laws on our own Code
11:36 - Predicates
16:26 - Laws on foldr
19:50 - Custom Datatypes, OrdA
26:03 - A real Challenge
27:28 - Observational Equivalence
32:06 - Final Thoughts
Негізгі бет Ғылым және технология Haskell for Imperative Programmers #42 - QuickSpec
Пікірлер: 11