@rae: Impredicative types and dynamic types -- useful in parsing JSON Published 2022-05-09 Download video MP4 360p Recommendations 09:53 @rae: How to use hs-boot files to make mutually recursive modules in Haskell 1:02:52 The Nix Hour #73 [Nix eval performance] 06:11 15 crazy new JS framework features you don’t know yet 20:50 Intro to org roam in neovim in 21 minutes 38:48 The Nix Hour #67 [language tooling] 1:02:00 The Nix Hour #72 [fetchers and output size] 59:42 The Nix Hour #57 [Impure runtime dependencies] 28:15 Svelte 5 Runes Demystified (1/4) - Signal Reactivity Basics 1:01:43 The Nix Hour #70 [module system expedition] 21:00 Apple GPT — Officially! Goodbye, ChatGPT... 1:28:00 Sean Baxter: Safe C++ 44:23 The Nix Hour #59 [programming puzzle] 57:47 The Nix Hour #58 [python.withPackages] 10:55 Time To Switch To Linux? 51:07 The Nix Hour #69 [lookup path syntax, e.g <nixpkgs>] 12:11 Clean Coding: Das verstehen alle falsch! 1:01:20 The Nix Hour #68 [lib.types.attrTag] 1:06:34 Airbnb Clone Console: Restructuring with Packages | causes of Python 🐍 Circular Import and its fix🔥💯 1:00:00 The Nix Hour #56 [Debugging Nix code] 32:48 Writing a Compiler and Interpreter in Rust - Part 4: VM and Interpreter Similar videos 08:24 @rae: ImpredicativeTypes and TypeFamilies don't mix 22:16 @rae: Unboxed types in GHC 19:36 @rae: How to choose between Typeable, Data, and Generic in Haskell 17:44 @rae: Getting a little fancy with Haskell's kinds 11:40 @rae: Type families help define functions over length-indexed vectors 13:58 @rae: Removing (/=) from the Eq type class 13:22 @rae: How to program in types with length-indexed vectors: Part 1 19:13 @rae: RebindableSyntax in Haskell 12:54 @rae: GHC sometimes infers the wrong type 13:29 @rae: How to use record-update syntax in Haskell (+ some dark corners) 14:04 @rae: Use closed type families for beautiful type inference 15:49 @rae: What Haskell's deep subsumption is, why we killed it, and then why we resurrected it. 13:34 @rae: The monomorphism restriction in Haskell causes order dependency. Ack! 11:55 @rae: Connecting linearity and relevance in Dependent Haskell 20:08 @rae: Wordle #9: Optimization setup and method overloading 10:11 @rae: Let-generalization is confusing 17:59 @rae: How whitespace works in Haskell 12:36 @rae: Monomorphism restriction can improve performance More results