sfvisser

52 ms·

181.
by sfvisser 6y ago
TypeScript trivially catches the mistake: const func = (i: number, x: boolean) => i * 2 const nope = [1, 2, 3].map(func) // type error!
182.
by sfvisser 6y ago
Haskell has many problems, but this really isn’t one of them.
183.
by sfvisser 6y ago
PostgreSQL can easily store ordered key/value pairs. It’s not the only thing it can do, but it’s still very good at it.
184.
by sfvisser 6y ago
Definitely agree with you that more documentation, especially with examples, would be great. However, reading just the types of a well written Haskell API probably gives me greater inside in its usage than most documentation I’ve read on np
185.
by sfvisser 6y ago
Most CRUD apps and UI still has IO on the outside pure/domain stuff on the inside. Most CRUD server handlers basically boil down to fetch and parse incoming HTTP request, decide to fetch some external resources (db/cache/serv
186.
by sfvisser 6y ago
Not an expert, but don’t they fuse matter kept in the center of a toroid vacuum chamber using magnetic fields? So the high temperature doesn’t have a medium to escape through.
187.
by sfvisser 6y ago
I don't have a clue about economic realities (especially not now in late 2020), but current market value is the market's bet on possible future earnings, not current state of affairs. Maybe the market's valuation is a lot of
188.
by sfvisser 6y ago
Honestly, my experience is that most webapps aren’t that heavy for what they actually do. Web sites are heavyweight, serving megabytes of useless nonsense just to display an article. With a bunch of ads obviously.
189.
by sfvisser 6y ago
I don’t think people necessarily love narratives that blame engineers. Why would they? Some specific people in positions of responsibility that screw up badly see blaming engineers/tech as an easy way out of their responsibilities. S
190.
by sfvisser 6y ago
I'm not sure you can only see this in the light of 'more features'. From a more fundamental perspective GATs just lift a restriction. Rust already has generics and Rust already has associated types. Previously you needed to k
191.
by sfvisser 6y ago
ASML comes to mind. Dutch company building large lithography machines being used to create semi conductors. The tech scene in mainland Europe operates completely differently from what you might be used to from Silicon Valley, but there is l
192.
by sfvisser 6y ago
If you’re comparing hardware you’re probably right. Our big blob of neurons has a completely different mode of operation compared with the silicon circuits in the computers we know. However, if you go higher up the ladder of abstraction the
193.
by sfvisser 6y ago
Interesting. I’m obviously not against paying interns money, but this might have the obvious unintended consequence of less available internships. We’ll have to see.
194.
by sfvisser 6y ago
You can’t? What if there is a measurable economical advantage for you? If you’re super inexperienced these four weeks unpaid internship might be way more valuable long term than four weeks sitting on a couch writing job applications with a
195.
by sfvisser 6y ago
In the Netherlands unpaid internships are fine, as long as the main goal is the learning experience. Why would this be illegal if both parties benefit? Exploitation doesn’t strike me as super likely here, as it’s rather easy to get out and
196.
by sfvisser 6y ago
> Mars will be independent the moment they no longer need Earth for resources, decided by whomever governs Mars. Or even sooner, when the Martians are backed by some earthly sovereignty that gains enough from the cooperation to really
197.
by sfvisser 6y ago
I’m sorry if there was a misunderstanding, but I was talking about the children prop specifically, not props in general. That would be different story.
198.
by sfvisser 6y ago
> We were taught to never mix HTML and JS and put markup in a separate file. Yeah, but we were all still doing it anyways. Maybe not for our web pages, but definitely for our apps. I don’t think that part of react has ever been very cont
199.
by sfvisser 6y ago
It’s not dangerous, it’s just a sometimes sensical and sometimes somewhat wrong approximation. Anyone who has ever used the browser DOM and starts using react will intuitively understand this from day one.
200.
by sfvisser 6y ago
Reminds me of Von Neumann's "With four parameters I can fit an elephant, and with five I can make him wiggle his trunk."
201.
by sfvisser 6y ago
I think hooks are more like applicative/arrow and are not monads. This ensures the shape is static and you cannot branch based on input. This also illustrates how weird it is to call function components pure. They’re not, there as effe
202.
by sfvisser 6y ago
It works two ways though, which I think is important. Yes, type systems check the shape of your data which is nice. However, when sufficiently experienced, the type system also guides the developer into good program design. Type systems for
203.
by sfvisser 6y ago
You don’t miss type systems, because you’re using something very similar.
204.
by sfvisser 6y ago
After a bit of practice it’s relatively easy to fold those tents back up, but explaining someone else to do it is a different story. I know how to fold them on feel, but I’m clueless about what I’m actually doing.
205.
by sfvisser 6y ago
And I can’t imagine why you want to be able to identify multiple different files by similar names where only casing differs. This is a completely arbitrary opinion and nothing fundamental. > a.txt != A.txt != a.TXT and so on. They'r
206.
by sfvisser 6y ago
> It's much easier to get to know an application when its code deals with business objects that you already understand well, than to read hundreds of lines of code that deal only with abstractions. This feels backwards to me. If I‘m
207.
by sfvisser 6y ago
I really appreciate the effort of designing the syntax to match common IDE expectations. However, I think it shouldn't be too difficult to add intellisense for Haskell-like syntax to IDEs as well. Especially with all the types availabl
208.
by sfvisser 6y ago
Sure, that example wasn’t that bad. But if your specific monad is somewhat more complicated - e.g state, either, promise - and you’re using it all over the place all that boilerplate is going to obscure your domain logic pretty quickly. Mon
209.
by sfvisser 6y ago
Great! I'm convinced designing a functional language and IDE side-by-side will result in greatly improved ergonomics. The Hazel playground breaks for me (Safari), but the direction looks promising. One of my own (nearly abandoned) toy
210.
by sfvisser 6y ago
> Looking back from 2020, Go has succeeded in both ways: it is widely used both inside and outside Google, and its approaches to network concurrency and software engineering have had a noticeable effect on other languages and their tool

More ›