haskell for imperative programmers #42 - quickspec
Published 3 years ago • 3K plays • Length 35:15Download video MP4
Download video MP3
Similar videos
-
36:52
haskell for imperative programmers #43 - cabal
-
5:31
haskell for imperative programmers #6 - higher order functions & anonymous functions
-
56:39
haskell for imperative programmers #33 - parallelism
-
33:38
haskell for imperative programmers #34 - profiling
-
1:23:13
haskell for imperative programmers #41 - formal verification (using isabelle)
-
26:12
haskell for imperative programmers #28 - concurrency & threads
-
10:25
the purest coding style, where bugs are near impossible
-
3:00
you want to learn haskell. this is why.
-
21:30
why learn haskell in 2024?
-
11:13
haskell for imperative programmers #9 - folding (foldr, foldl)
-
24:15
haskell for imperative programmers #30 - software transactional memory (stm)
-
14:43
haskell for imperative programmers #17 - monads
-
5:59
haskell for imperative programmers #2 - functions, types, let & where
-
15:59
haskell for imperative programmers #40 - termination proofs
-
16:02
haskell for imperative programmers #29 - semaphores (qsem, qsemn)
-
12:01
haskell for imperative programmers #16 - type inference
-
13:15
haskell for imperative programmers #37 - arrows
-
5:42
haskell for imperative programmers #1 - basics
-
14:27
haskell for imperative programmers #19 - infinite lists
-
11:03
haskell for imperative programmers #4 - lists and tuples