reinman

6 ms·

1.
by reinman 4y ago
Yeah this article takes some strange positions
2.
by reinman 4y ago
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" So functions are hardly the bedrock of computing t
3.
by reinman 4y ago
Cat concepts are a bit language agnostic. Forth is a tad exotic. Multix lets you use ordinary Typescript/Node
4.
by reinman 4y ago
Tight budget lol
5.
Moving Past Functions to Cats & Minecraft-style Crafting(multix.substack.com)
3 points by reinman 4y ago|8 comments
6.
by reinman 4y ago
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 trad code https://multix.substack.com/p
7.
by reinman 4y ago
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-...
8.
by reinman 4y ago
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
9.
by reinman 4y ago
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 existing APIs The morphisms are controlled by the craf
10.
by reinman 4y ago
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't really care all that much about FP. It's pretty
11.
Solving Data Integration With Categories (Cats)(multix.substack.com)
1 points by reinman 4y ago|1 comments
12.
by reinman 4y ago
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 mainstream programming for sure
13.
by reinman 4y ago
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 could build the upstream dependencies and then deliver y
14.
by reinman 4y ago
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 other no-code approaches are nice but don't go deep enough
15.
by reinman 4y ago
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 probably not the ones who want the flexibility and interactivity
16.
by reinman 4y ago
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 real
17.
by reinman 4y ago
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 inventory as a way to clear the cache
18.
by reinman 4y ago
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 machine I have some examples on Twitter
19.
by reinman 4y ago
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
20.
by reinman 4y ago
HN skepticism is warranted and deserves decent answers
21.
by reinman 4y ago
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 can avoid functions entirely
22.
by reinman 4y ago
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 across 10-20 large databases and APIs. Categories are id
23.
by reinman 4y ago
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
24.
by reinman 4y ago
There you go. Mostly false premise to false conclusion because FP itself has a bunch of issues. Mathematically speaking, a lot of FP is analogous to building a relational query but wiring the joins manually each time. A bit tedious perhaps
25.
by reinman 4y ago
Not co-pilot, but dependent types on steroids. Multi-dimensional dependent types to be more precise. https://www.youtube.com/watch?v=3iKwq9iRHWk But that's why I boiled things down to Minecraft style crafting. Mainstre
26.
by reinman 4y ago
I removed the jabs at the Aussies - that is dirty laundry I really don't need to be bringing up here as no one cares anymore
27.
by reinman 4y ago
(repost from similar question above) Categories are about composition. Crafting is also about composition - using inference rules. https://en.wikipedia.org/wiki/Category_theory The classic schematic representation of X
28.
by reinman 4y ago
Fair enough, I needed to improve the answer The main claim is that crafting > functions because crafting does not have the single entry/exit drawback that functions have
29.
by reinman 4y ago
Yeah the west coast doesn't do humor anymore. I lived in San Francisco / Seattle years ago but I avoid all that now. They take offense at everything so everyone frowns in the stores. Coming from Eastern Europe, I recognize the cre
30.
by reinman 4y ago
Awesome retro dialup modem yes but this stuff goes much further back than 1990s Actually 1960s

More ›