Haskell for Imperative Programmers #42 - QuickSpec

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

[@theotherhiveking]

Thank you for these tutorials Philipp.

[@jx8148]

Veo tus videos para cursar en mi universidad desde Argentina jaja, en el FAMAF :)

[@FelipeBalbi]

This is mind blowing! Super cool stuff.

[@callanmcgill]

Thanks for the video, excellent as always! I'm interested what software you use to make these videos, anything interesting?

[@philipphagenlocher]

Thanks!
I'm always experimenting with my setup. Currently, I'm using OBS for recording, Reaper for light audio processing (sometimes) and an old version of Vegas for video editing, but I played around with Kdenlive in the past and I might switch to that. :P

[@shutterrecoil]

@@philipphagenlocher cool topic - hoogle_plus looks close and interesting (it generates functions based on types) - how good it could help with smoothing incompatibilities among SQL APIs?

[@halbgefressen9768]

Von wo hast du dir denn die :set +s Option abgeschaut ;)

[@philipphagenlocher]

;D

[@valcron-1000]

Could we use this library to propose what we think is a law and let it figure out if it actually holds?

[@valcron-1000]

Nvm, I just realized that I can use QuickCheck for that.

[@halbgefressen9768]

To know for sure, you have to prove it :)