Viewing profile — hepta

Doesn't seem like valid JS, you wouldn't need mark.js if that were the case.

Maybe we have to dig into the specifics: there's a lot of things that can be done with Name, regardless of where the name belongs, is that what you mean? If so, most typed language…

I do agree that there are problems where the "maps of facts" approach is better suited than ADTs. I'm not sure if those are the majority of problems we're solving. You can still do…

There is code that doesn't `constantly cast ti and from Object`, most code won't need to, anyway. Generic information is kept during type-checking and then is discarded, this can b…

> The only down side is removed compatibility with other languages like C and C++ and C#, locking in the app to a specific language more. Using a Stream instead of a for loop does …

I imagine there is a way to raise a cow for beef that I find ethical. I don't know if you can do so for dairy cows. As far as I know, the cow has to have young to lactate, meaning …

Yeah, I'd like to know what the experience is for people who use it regularly.

I already use vavr, sadly such pattern matching is not exhaustive, which is the most important feature for me.

I think both are not exhaustive (or don't have exhaustiveness enforced by the compiler).

This seems like nitpicking as well. If the intention is that everything is an expression (that seems to be it, to me) then you have to have a Unit, no mater what you call it. I'd r…

What are your problems with spring boot? What bloat are you referring to?

> Maybe passing around a random generator explicitly is not what we want. That's fair. What I often want is to pull a function out of my program and test it without a lot of work. …

You use a generator that receives a state and returns a random number and the modified state. You'd want some additional abstractions to make that work well.

> That's the risk of reading articles like the OP, where they show you a couple functional tricks in an imperative language that inherently can't give you the whole picture. The ot…

If you're already proficient in Java/JVM I personally don't see a lot of reasons to use Go. Maybe for extremely small services or if you can't take the higher memory requirements.

It relates to typing as a method of encoding invariants, yes. I was trying to say that it is unrelated to which "type" of typing. That is, I can perfectly imagine a statically type…

Even though that may be factually correct, it doesn't seem to be related to static typing. Haskell has guards but they are slightly different.

Depends on your goals, Java isn't the best if your aim is to learn FP.

I see now, probably just something to do with formatting/escaping, the are being swallowed. Yes, it's strange. I'd prefer to map a null in a DTO to an empty optional. I'd like even…

I assumed the omission was for brevity, but there are annotations and 'final' in a lot of places. Similarly, methods for mutation (compulsory, no less!) are red flag in FP.

Interop with Java seems unlikely unless they keep a JVM tucked away somewhere.

It's a difficult line to place, for instance is pain avoidance plus memory enough? If I imagine a fish thinking "I can't do that again" that certainly looks like sentience, but the…

You don't need to be a good chef to know a meal is awful. A lot of people use the language (me included) and make it work, doesn't mean it's without fault.

In what ways is this different from ECS? It's strange to me that you can do the same thing in slightly different ways.

My god, I feel much better with my puny abuse.