Hoon and You: A Functional Programming Perspective
summary
Hoon is a systems language that compiles to Nock, where every value is a noun (atom or cell) and atoms are arbitrary unsigned integers; the compiler itself is written in Hoon and Hoon is at version 143 while Nock is at version 4. The type model uses mold-based types and auras (soft casts) over raw nouns, enabling structural checks and coercions. The stack enforces Kelvin versioning and supports runtime hot-reload of modules and kernels.
AI-written summary · about
chapters (11)
- 0:00Start
- 10:27Introduction to Functional Programming the Fibonacci Generator
- 16:25Language Trade-Offs
- 17:30Dynamic Types
- 18:25Expressiveness
- 18:53Leblanc's Triangle
- 20:49Type Constructor
- 21:21Unsigned Integers
- 32:12Type Checking
- 37:05Type Verification
- 42:43Polymorphism
related talks
01h 19mHylo - The Safe Systems and Generic-programming Language Built on Value Semantics
34mLanguage Design Where Paradigms Meet
21mGOOL: A Generic Object-Oriented Lanugage
28mBorrow checking Hylo
22mThe Fox and the Hound (Episode 2): Fully Abstract, Robust Compilation and How t
14mAchieving High-Performance the Functional Way - A Functional Pearl on Expressing High...
41mConcatenative programming and stack-based languages
42mC++ Horizons