News for hackers. Stuff that matters.

A comment on Did Functional Programming Get It Wrong (Part 2) – Minecraft-Style Crafting. Parent comment

Re:Did Functional Programming Get It Wrong (Part 2) – Minecr... by reinman on Saturday July 02, 2022 @08:10AM (#31958366)
The type system is where the "cookbook" lives

So in a way, if you go through all the work of setting that up you should be rewarded with some sort of crafting. After all, the type checker is kinda doing some of that work anyway

[ Parent | on HN ]
Re:Did Functional Programming Get It Wrong (Part 2) – Minecr... by reinman on Saturday July 02, 2022 @08:15AM (#31958398)
So there is quite a stir about dependent types in academia these days

Remember that coming up w the names for types is half the battle. Whether something is a "string" or an "Address" or an "InputField" is really a multi-dimensional type problem

[ Parent | on HN ]