Mark
@mwotton
Followers
2K
Following
50K
Media
757
Statuses
46K
freelance goblin technologist
Da Nang, Vietnam
Joined May 2008
RT @mitsuhiko: Since I got so much feedback on my criticism on MCP I wrote down more thoughts on it. I'm also noticing that there is more a….
0
43
0
considering adding "don't parse XML/HTML with regex" to they gotta learn the lore
1
0
2
jeez i had a productive day. solved almost as many problems as i created.
1
0
3
the hardest thing to do with an LLM is convince it you really want it to write a failing test
0
0
2
just failed at napping, a feat routinely managed by newborns minutes after birth.
1
0
8
judging from observation, my actual hobby is watching vulkan shaders process.
1
0
0
Yes, it’s an established C technique to have a struct with a tag and a union to emulate a sum. Any link between the two is conventional and never enforced by the compiler.
1
1
47
The point being that sums come with pattern matching; the compiler can warn you when you haven’t handled all possible cases. You do not get this with C unions, and the only way you could think they are the same is if you think the only point of types is memory layout.
3
1
60
Me: can we have sum types?.JB: we have sum types at home.sum types at home:.
A “sum type” is a union. A “product type” is a struct. C has had these since before 1970. If someone uses these terms as though they were some new amazing inventions, they probably do not have much programming experience yet.
7
9
246
Big light stays off before ten and after five.
0
0
2
business in the front, party in the back, call that an FP mullet.
@LusaphoMakubalo Yes, we use TypeScript at work. Backend in OCaml, frontend in TypeScript.
0
0
5