Все публикации

made two new0:02:11

made two new friends today

NexDock 2 Unboxed0:02:54

NexDock 2 Unboxed + Testing with GPD Pocket 2 and LattePanda Alpha

13 handling recursion0:21:46

13 handling recursion

14 handling type0:08:04

14 handling type class

15 references and0:02:07

15 references and conclusion

12 handling algebraic0:06:05

12 handling algebraic datatype and pattern matching

11 algorithm W0:01:23

11 algorithm W soundness property and principal type

10 Algorithm W0:16:04

10 Algorithm W examples

9 Algorithm W0:11:11

9 Algorithm W

8 HM type0:01:34

8 HM type system safety properties

7 let polymorphism0:07:20

7 let polymorphism

5 type inference0:06:15

5 type inference & Hindley Milner type system

6 the problem0:05:46

6 the problem with the let rule

4 example:type checking0:04:07

4 example:type checking

3 type checking0:04:38

3 type checking and simply typed lambda calculus

2 dynamic vs0:05:27

2 dynamic vs static typing and typing challenges

1 introduction0:00:17

1 introduction

11 recursion abstraction0:07:05

11 recursion abstraction

8 Haskell operational0:09:36

8 Haskell operational semantics

12 recursion with0:05:38

12 recursion with fix combinator

9 Example 10:05:06

9 Example 1

13 conclusion0:01:25

13 conclusion

7 evaluation strategies0:07:40

7 evaluation strategies

10 Example 20:02:52

10 Example 2 (recursion stuck)