bazoom42

17 ms·

301.
by bazoom42 2y ago
Good observation - this happens on every thread mentioning monads. The issue is, monads is a pattern for function composition which can be used for various seemingly unrelated things. But people see one instance of it and then generalize wr
302.
by bazoom42 2y ago
Now explain why some jokes following this formula are hilarious but most are painfully unfunny. This would seem to be the hard part. > I’m awful at jogging. I run slower than Windows 95. Yeah you have definitely cracked the secret to com
303.
by bazoom42 2y ago
> The IO monad, just like the state monad is still just a type wrapping another thing... In those cases, it is wrapping side-effects. Side effects are not a type though. The “type wrapping another type” in the parent refers to List T and
304.
by bazoom42 2y ago
Maybe I should ask you for evidence then? I have provided a source, as requested, which shows first hand that horrible mistreatment was widespread. You counter seem to be…your own gut feeling? You may not know it, but you and GP are parroti
305.
by bazoom42 2y ago
A “type that wraps another type” describes some monads like List or Maybe but not other monads like the IO monad. A monad is a type which support a particular pattern of function chaining. But the caining will have semantics which depend on
306.
by bazoom42 2y ago
There are plenty of first-hand testimonies of slaves available. For example Frederick Douglas: > The wife of Mr. Giles Hicks, living but a short distance from where I used to live, murdered my wife's cousin, a young girl between fif
307.
by bazoom42 2y ago
The Burrito type is the monad.
308.
by bazoom42 2y ago
Slavery is physically and mentally violent. Imagine your owner can do literally anything they want with not just you but also your spouse and kids, including selling them off at any time.
309.
by bazoom42 2y ago
It both stupid and offensive to compare student debt to slavery. > Some would probably even prefer being beaten once in a while, than to have no hope of ever getting free of the debt after a decade of trying. You are missing that slavery
310.
by bazoom42 2y ago
He should just have called it microservices instead of objects.
311.
by bazoom42 2y ago
Strict dependency order is independent of the type system, so strong typing is definitely not all of it.
312.
by bazoom42 2y ago
D&D (and much fantasy) is the inverse of theatres staging Shakespeare in modern dress. Macbeth can be made to look modern by having modern suits and a set resembling an office or whatever, but the language and cultural attitudes depicte
313.
by bazoom42 2y ago
If there was an actual benefit to using XHTML I’m sure CMS’s would be updated to support it. It is not like it is an impossible problem to produce syntactically valid JSON or SVG for example. As “use strict” in JavaScript shows, it is possi
314.
by bazoom42 2y ago
Surely a template engine would be able to produce valid (X)HTML? Strict XHTML failed on the web because older browsers could not show it at all (since it used a different mime type) so nobody sane would use it. The problem wasn’t the strict
315.
by bazoom42 2y ago
It seems the deviations only make it more strict? It flags some valid HTML as errors. But I agree about with you in genral about Postels Law.
316.
by bazoom42 2y ago
Agile is great. The problem is “agile methodologies” like Scrum which create lots of overhead and ceremony. I have seen Scrum work well but it is the exception.
317.
by bazoom42 2y ago
I don’t think C# has introduced any never-seen-before features. Usually they have been tried out in an experimental language before. I belive Linq was prototyped in Haskell or at least based on experiments in Haskell.
318.
by bazoom42 2y ago
I’d say the most important languages are Fortran, Algol, Lisp, and ML. All other general-purpose languages are just different combinations of features from these. But best depend on the task at hand.
319.
by bazoom42 2y ago
IMHO C# is a very good, pragmatic language. It is not unique and groundbreaking like say Lisp, but it has a very well balanced set of features which makes is both productive and maintainable. It doesn’t have the level of boilerplate which m
320.
by bazoom42 2y ago
C# was developed by a Dane, but it wasn’t developed in Denmark. The creator of PHP was born in Greenland, but again the language was developed elsewhere.
321.
by bazoom42 2y ago
The languages created in Denmark does not seem particulary notable?
322.
by bazoom42 2y ago
The idea of The Author as the final arbiter might be the historical oddity. The genre of Greek tragedy took characters and events from the Homeric epics but created original works elaborating on specific events and characters. By modern sta
323.
by bazoom42 2y ago
Sounds about as plausible as “Non-programmers can draw the business logic as UML diagrams, then the code can be generated by automated tools”
324.
by bazoom42 2y ago
The Socrates quote is certainly fake. Are the other quotes from the same source?
325.
by bazoom42 2y ago
He was quite popular in Europe. “Various Positions” (the album containing Hallelujah) was a top 10 hit in several countries but wasn’t even released in the US. Cohen was once asked why he was so much more popular in Europe than North Americ
326.
by bazoom42 2y ago
So having Promises be monads would make them less useful? This is an interesting point. It seems to confirm the argument that monads are not that useful or pervasive outside of Haskell.
327.
by bazoom42 2y ago
Promises in JavaScript are not monads as far as I can tell. While they have a somewhat similar interface, they do not appear to obey the monad laws.
328.
by bazoom42 2y ago
This article argues that while promises support the required operations for monad, they do not support the monad laws: https://www.siawyoung.com/promises-are-almost-monads/
329.
by bazoom42 2y ago
Callbacks are not the same as monads if that is what you are implying.
330.
by bazoom42 2y ago
Maybe I’m confused, but I dont see how Promise.then() corresponds to bind? If I understand correctly, the point of the bind function is you pass a callback which itself return the monad type. But the Promise.then() callback should not retur

More ›