Philipp Hagenlocher
9.59K subscribers
1:38
Learn Haskell with HASKELL BOOKCAMP
Philipp Hagenlocher
5.1K views • 1 year ago
36:52
Haskell for Imperative Programmers #43 - Cabal
Philipp Hagenlocher
9.7K views • 3 years ago
35:15
Haskell for Imperative Programmers #42 - QuickSpec
Philipp Hagenlocher
2.9K views • 3 years ago
1:23:13
Haskell for Imperative Programmers #41 - Formal Verification (using Isabelle)
Philipp Hagenlocher
5.9K views • 3 years ago
15:59
Haskell for Imperative Programmers #40 - Termination Proofs
Philipp Hagenlocher
3.1K views • 3 years ago
13:29
Haskell for Imperative Programmers #39 - Induction Proofs
Philipp Hagenlocher
7K views • 3 years ago
18:06
Lazy Evaluation in Python
Philipp Hagenlocher
5K views • 3 years ago
10:23
Haskell for Imperative Programmers #38 - Monad Transformers
Philipp Hagenlocher
15K views • 3 years ago
13:15
Haskell for Imperative Programmers #37 - Arrows
Philipp Hagenlocher
10K views • 3 years ago
30:20
Haskell for Imperative Programmers #36 - Category Theory (Functors, Applicatives, Monads)
Philipp Hagenlocher
23K views • 3 years ago
20:42
Haskell for Imperative Programmers #35 - Semigroup & Monoid
Philipp Hagenlocher
12K views • 3 years ago
33:38
Haskell for Imperative Programmers #34 - Profiling
Philipp Hagenlocher
4K views • 3 years ago
56:39
Haskell for Imperative Programmers #33 - Parallelism
Philipp Hagenlocher
7.2K views • 3 years ago
22:13
Haskell for Imperative Programmers #32 - DeepSeq
Philipp Hagenlocher
4K views • 3 years ago
23:13
Haskell for Imperative Programmers #31 - Weak Head Normal Form
Philipp Hagenlocher
7.3K views • 3 years ago
24:15
Haskell for Imperative Programmers #30 - Software Transactional Memory (STM)
Philipp Hagenlocher
8.4K views • 3 years ago
16:02
Haskell for Imperative Programmers #29 - Semaphores (QSem, QSemN)
Philipp Hagenlocher
5.6K views • 4 years ago
26:12
Haskell for Imperative Programmers #28 - Concurrency & Threads
Philipp Hagenlocher
13K views • 4 years ago
11:07
Haskell for Imperative Programmers #27 - Exceptions
Philipp Hagenlocher
6.9K views • 4 years ago
11:08
Haskell for Imperative Programmers #26 - Strictness, Thunks & seq
Philipp Hagenlocher
7.5K views • 4 years ago
9:32
Haskell for Imperative Programmers #25 - Compiling Binaries
Philipp Hagenlocher
6.2K views • 4 years ago
11:56
Haskell for Imperative Programmers #24 - Environment
Philipp Hagenlocher
7.7K views • 4 years ago
9:20
Haskell for Imperative Programmers #23 - Modules
Philipp Hagenlocher
9.4K views • 4 years ago
9:03
Haskell for Imperative Programmers #22 - Either
Philipp Hagenlocher
10K views • 4 years ago
4:59
Haskell for Imperative Programmers #21 - data, type & newtype
Philipp Hagenlocher
16K views • 4 years ago
27:06
Haskell for Imperative Programmers #20 - Advanced Exercises
Philipp Hagenlocher
13K views • 4 years ago
14:27
Haskell for Imperative Programmers #19 - Infinite Lists
Philipp Hagenlocher
12K views • 4 years ago
11:37
Haskell for Imperative Programmers #18 - QuickCheck
Philipp Hagenlocher
21K views • 4 years ago
14:43
Haskell for Imperative Programmers #17 - Monads
Philipp Hagenlocher
58K views • 4 years ago
12:01
Haskell for Imperative Programmers #16 - Type inference
Philipp Hagenlocher
23K views • 4 years ago
Load More