sfvisser

8 ms·

61.
by sfvisser 4y ago
Yes, the GC helps tremendously here of course. I guess laziness helps mostly by not dictating the granularity in which to expose both data and building blocks. You can expose more than strictly needed and consumers just pick what’s relevan
62.
by sfvisser 4y ago
My biggest observation from switching from Haskell to Rust is the change in thinking in terms of program composition. In Rust you need to really make some careful design choices in your producer/library code depending on the expected u
63.
by sfvisser 4y ago
AI models might transform how we use computers, but will it also change the outcome? Will it make society more productive, efficient and generate more growth? Or will it just provide more forms of entertainment, maybe provide some convenien
64.
by sfvisser 4y ago
They didn’t just ‘have’ a money printer, they ‘made’ one. Many others tried and failed. Say what you want about Zuck, but this some happy accident.
65.
by sfvisser 4y ago
Libraries that have a scope defined implicitly by what accidentally works or doesn’t work can still be very annoying.
66.
by sfvisser 4y ago
You're really fighting the wrong fight here. FP is not about prematurely writing reusable code. It's about recognizing patterns in code that exist all over the place and reusing those existing patterns for the new code you'
67.
by sfvisser 4y ago
Half joking. My point is that focusing on researchers isn’t that relevant, because the entire idea is a thought experiment. One that many people were philosophizing on before it became a ‘research’ topic.
68.
by sfvisser 4y ago
> Many researchers have conjectured that the humankind is simulated along with the rest of the physical universe – a Simulation Hypothesis I would rather say many philosophers or even many stoned college kids instead of many researchers.
69.
by sfvisser 4y ago
Very nicely presented! Worked great on mobile. A fun fact I came across recently is that the northernmost tip of Brazil is closer to Canada than it is to southernmost tip of Brazil. Incredibly counterintuitive,
70.
by sfvisser 4y ago
Lol, looks pretty realistic to me. This is very much like how most tourist in the city behave!
71.
by sfvisser 4y ago
I hope you realize these worker bees created an insane amount of value for their customers, their investors, their coworkers and for themselves.
72.
by sfvisser 4y ago
Yes, more akin to what you’d normally call ‘compose’. Fun stuff nonetheless!
73.
by sfvisser 4y ago
Maybe you can load a single interpreter instance once on app startup and reuse that in different contexts? Not much experience with this, but I assume there are possibilities.
74.
by sfvisser 4y ago
This looks like a great way to add scripting capabilities to your rust app! Binding ops to build your own runtime seems easy enough. Would be nice if there was an easy way to integrate TypeScript and have access to the type checker. So you
75.
by sfvisser 4y ago
Another interesting approach to copy-on-write for immutable collections (for example arrays) is where you actively mutate the array in place, but leave the original as a lazy description/view of how to get back to the before state. Fro
76.
by sfvisser 4y ago
Economic growth is more than just using finite material resources. It’s technical innovation, labor productivity increase, efficiency improvements due to economies of scale, specialization, efficiently recycling scarce commodities, etc etc
77.
by sfvisser 4y ago
> Even if resource use (in terms of conservation of mass and energy) is fixed, you can still have economic improvements within that steady-state system, can't you? Sure, technical innovations and efficiency improvements to get more
78.
by sfvisser 4y ago
> Bezos got richer by making his employees poorer, for instance. He could have chosen to make his employees richer at the expense of making himself poorer. No, they both got richer. Maybe Bezos had a chance to make his employees slightly
79.
by sfvisser 4y ago
Why is that “simply”? Why should we care more about biodiversity than construction and farming? I think really nothing is simple about this trade off.
80.
by sfvisser 4y ago
I can see how this works, but my personal experience is that concurrent code that is finely scoped is easier to reason about than larger-scoped concurrency already anyways. Hardly a controversial statement, I guess. So if nurseries help me
81.
by sfvisser 4y ago
Read the article but honestly don’t fully understand it. How does using this not end up with one big nursery started somewhere in your main passed down everywhere and basically scoped to the entire app lifetime? Getting you in back in the s
82.
by sfvisser 4y ago
And you can weave effects into them just like normal functions, without losing the ability of composition. Fun stuff! In defense of OO-style access pattern, they’re a lot simpler and syntactically well integrated into most languages. The fl
83.
by sfvisser 4y ago
Are keypath like Haskell lenses? First class composable getters/setters? Or just the getter part?
84.
by sfvisser 4y ago
My toy FP language did. :) It’s perfectly possible to just parse a list of arguments and figure out currying in a later compiler stage. In my experience it even somewhat helps with producing nicer arity-specific error messages, which user m
85.
by sfvisser 4y ago
> In particular the common abstractions (Monad, Applicative, Functor) are used very differently in different libraries (everyone seems to want to write her own DSL), so it's hard to get comfortable with third party libraries. I don’
86.
by sfvisser 4y ago
The fact that some things are more easily — or better, directly — expressable in some languages doesn’t necessarily imply your thinking is changed or that you can’t internalize the concept without access to that language. I don’t have twent
87.
by sfvisser 4y ago
Language shaping the way you think always feels off to me. Most languages are pretty much universal and unbiased and are capable of expressing an infinite amount of concepts. As easily as their negations, subtle variations, contextual depen
88.
by sfvisser 4y ago
I think this is valid reasoning. Allowing to turn errors into warnings for dev builds would probably allow for fixing issues faster. Given the UX is good. I use todo!() a ton when building as well. Sketching out data types and signatures be
89.
by sfvisser 4y ago
> It's perfectly valid to trade off correctness for gains elsewehere. Agreed, but no-one is disputing that, right? The problem is that very often saying correctness was given up in order to gain velocity and simplicity is simply a l
90.
by sfvisser 4y ago
The author clearly does understand language design. He probably even agrees with your description of go above, but simply describes it really doesn’t work for him.

More ›