Eduardo Rafael

@UCObvxNoLzJ9xVSiNtNo63zg - 2K subscribers

Home Videos Live Playlists

Reasoning about data using code

Reasoning about data using code Eduardo Rafael

933 views - 8 months ago

Memory efficiency by dependent unboxed types

Memory efficiency by dependent unboxed types Eduardo Rafael

1.3K views - 1 year ago

From Linear Types to Rust

From Linear Types to Rust Eduardo Rafael

3.3K views - 2 years ago

What are dependent types? aka the Calculus of Construction (as a type wizard)

What are dependent types? aka the Calculus of Construction (as a type wizard) Eduardo Rafael

5.7K views - 3 years ago

What is a function? aka term abstraction (as a tech youtuber)

What is a function? aka term abstraction (as a tech youtuber) Eduardo Rafael

3K views - 4 years ago

How to run code? aka strict evaluation (as a symbol pusher)

How to run code? aka strict evaluation (as a symbol pusher) Eduardo Rafael

4.1K views - 4 years ago

Polymorphism on the typed lambda calculus (as a bad chess player)

Polymorphism on the typed lambda calculus (as a bad chess player) Eduardo Rafael

2.3K views - 4 years ago

How to write parsers in OCaml using Menhir (as a jedi master)

How to write parsers in OCaml using Menhir (as a jedi master) Eduardo Rafael

4K views - 4 years ago

Implementing the simply typed lambda calculus in OCaml (as a not mathematician)

Implementing the simply typed lambda calculus in OCaml (as a not mathematician) Eduardo Rafael

3.2K views - 4 years ago

Using postgres with OCaml (as a bad developer)

Using postgres with OCaml (as a bad developer) Eduardo Rafael

3.1K views - 5 years ago

How to write an interpreter in OCaml? (as a blockchain developer)

How to write an interpreter in OCaml? (as a blockchain developer) Eduardo Rafael

8.2K views - 5 years ago

Making a CRUD in OCaml (as a millionaire in Cambodia)

Making a CRUD in OCaml (as a millionaire in Cambodia) Eduardo Rafael

8.2K views - 5 years ago

How to do Higher Kinded Types in OCaml? (as a millionaire in Venezuela)

How to do Higher Kinded Types in OCaml? (as a millionaire in Venezuela) Eduardo Rafael

3.9K views - 5 years ago