Viewing profile — reinman

Yeah this article takes some strange positions

Functions are at best glorified cat containers. I can write a script and never use a function. I can write SQL and never use a function. The Turing tape never mentions "functions" …

Cat concepts are a bit language agnostic. Forth is a tad exotic. Multix lets you use ordinary Typescript/Node

Tight budget lol

I am curious where you think categories might fit with regard to database tech - cats kinda live in the space between code and data so they don't really fit with trad databases or …

I'd say that categories are perhaps more universal - FP is a big piece of that though https://multix.substack.com/p/solving-data-integration-with-...

It was a poke at a very smart but also very annoying FP troll @dibblego For a while, FP noobs were terrorized by a bunch of FP thugs on Twitter

Yes, there is a long-standing debate in categories about this "reduction" problem but that is mostly theoretical In practice, you only need to break down enough to interface w exis…

Cats live in the world somewhere between code and data This version incorporates HN feedback from earlier A-B testing article aimed at the FP community. Mainstream programmers don'…

Yes anything that says "Functional Programming" in the title tends to attract a certain type of developer tackling a certain type of problem, usually program verification etc. Not …

Crafting is particularly useful in testing For example, suppose you just need to isolate and test a function but you won't want to manually write a test harness A crafting system c…

Good points. See my enterprise data integration example below Cats kinda live between trad code and databases, so they are really good at integration across systems. Zapier and oth…

yes - the industry is so scattered that FP tends to attract a niche solving very specific problems such as program verification And those concerned with speed on hardware are proba…

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 "Addre…

The server in turn may need to issue crafting requests to load stuff from disk The nice thing about crafting is that stuff gets cached in inventory as a side effect. You can toss i…

For example, in Multix the browser can issue a crafting request for page contents The fact the HTML might sit on a remote server is a crafting detail left to the categorical machin…

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 …

HN skepticism is warranted and deserves decent answers

FP > lambda because it avoids wrapper functions by using chains However functions still have single entry/exit that limit reusability of the contents Cat crafting > FP because it c…

Any new tech deserves well-deserved criticism imo. It's the only way for devs to judge noise for signal One real world example I am doing for a large customer is data integration a…

Sending the love back ! When I first learned this cat stuff I was a TOP hater so everyone giving me grief is just well deserved karma coming back to haunt me