Signin

Building a type checker in Haskell by Christoffer Ekeroth

Func Prog Sweden • December 10, 2024

Video Thumbnail

You May Also Like

Video Thumbnail

FSCK 2024 - Functional correctness -- Haskell-ing your way to reliable code

media.ccc.de

Video Thumbnail

EYG a predictable, and useful, programming language by Peter Saxton

Func Prog Sweden

Video Thumbnail

Veritasium: What Everyone Gets Wrong About AI and Learning – Derek Muller Explains

Perimeter Institute for Theoretical Physics

Video Thumbnail

JSON Parser 100% From Scratch in Haskell (only 111 lines)

Tsoding

Video Thumbnail

Jensen Huang on GPUs - Computerphile

Computerphile

Video Thumbnail

17. The Hindley-Milner Type System

Nicolas “Norswap” Laurent

Video Thumbnail

Beyond Lambda Calculus: Relational Computations by Marcos Magueta

Func Prog Sweden

Video Thumbnail

What Every Programmer Should Know about How CPUs Work • Matt Godbolt • GOTO 2024

GOTO Conferences

Video Thumbnail

Type Theory for Busy Engineers - Niko Matsakis

Rust Nederland (RustNL)

Video Thumbnail

NASAs Coding Requirements Are Insane

ThePrimeTime

Video Thumbnail

Where GREP Came From - Computerphile

Computerphile

Video Thumbnail

The promise of Rust

fasterthanlime

Video Thumbnail

ElixirConf 2023 - José Valim - The foundations of the Elixir type system

ElixirConf

Video Thumbnail

7 Functional Programming Techniques EVERY Developer Should Know

ArjanCodes

Video Thumbnail

Local-first software development with Elixir by James Arthur

Func Prog Sweden

Video Thumbnail

Gödel's theorem debunks the most important AI myth. AI will not be conscious | Roger Penrose (Nobel)

This Is World

Video Thumbnail

Making Music with Haskell From Scratch

Tsoding

Video Thumbnail

Functional Programming & Haskell - Computerphile

Computerphile

Video Thumbnail

Birth of BASIC

Dartmouth

Video Thumbnail

Dear Functional Bros

CodeAesthetic

Func Prog Sweden

About

No channel description available.

Latest Posts

Video Thumbnail

Local-first software development with Elixir by James Arthur

Func Prog Sweden

Video Thumbnail

EYG a predictable, and useful, programming language by Peter Saxton

Func Prog Sweden

Video Thumbnail

Beyond Lambda Calculus: Relational Computations by Marcos Magueta

Func Prog Sweden

Video Thumbnail

Polylith - the last architecture you will ever need by Joakim Tengstrand and Furkan Bayraktar

Func Prog Sweden