boris_m
Category Theory Illustrated: From Sets to Categories
Category Theory Illustrated – Monoids
The case against boolean logic
Vanilla FP: The no-framework framework for building component-based UIs
Category Theory Illustrated – Orders
Vanilla-FP, the no-framework framework for building purely-functional UI
Category Theory Illustrated – Logic
Category Theory Illustrated – Types
Category Theory Illustrated – Types
Category Theory Illustrated – Types
The case against boolean logic
The case against boolean logic
Re:The Green Tea Garbage Collector
on Wednesday October 29, 2025 @04:30PM (#45752632)
What's a page?
Show HN: Jekyll Book Boilerplate – A boilerplate for self-publishing books
Category Theory Illustrated – Natural Transformations
Why should I care? or why punks are correct and old wise philosophers are wrong
Show HN: Create a static feed aggregator website, using GitHub Actions
A Small Haskell Task
Why should I care? or why punks are correct and old wise philosophers are wrong
Re:Don't Be Afraid of Types
on Saturday March 22, 2025 @12:07PM (#43446723)
Languages like Java are awful in that respect, as they make it super hard to declare new types.
People expect for a type to contain some logic, but it doesn't have to. e.g. a configuration is a type that contains other types that contains yet other types. But I have never seen it done like that in languages like Java.