Viewing profile — throwthrow0987

Is this as big as I think it is?

Effect systems are a trend that will go away. You can't statically guarantee that only, for example, the DB has side effects in a function. So what's the point? Haskell got it righ…

Most big corporates have their own inner sourced css components library. So when you get design feedback you wouldn't be directly editing the style in one self contained web applic…

>comparative advantage Makes a lot of sense in textbooks. But in the real world, when politics is involved, the whole theory breaks down. What does your text book say about China h…

Thanks, very clear explanation.

So it seems the thesis of some pretty in the know mathematicians is that the secret of dependent types is knowing when not to use them. Is that necessarily an argument against Lean…

>It has been some time I worked seriously in a dependently-typed language, but I recall coming to the conclusion that dependent types are best used as little as possible, for exact…

React is dead easy to create a component and get going with whatever you want to create. But as your application grows it is really difficult to test. The React testing library sou…

I preferred class based components. The pretend functional programming style of hooks is quite imperative when you prick a little beneath the surface, so classes were probably the …

> is quite convenient It's not principally about convenience though is it? It's about defining the semantics of your program through the DSL. Then you can verify the program logic,…

They must be making a lot of money!

How many of these projects are actually merged to master and live though? I noticed the phrase "worked on" a lot, as opposed to shipped.

If you have an effect ReadsFromDB, you can't enforce statically that someone will not come along and change the ReadsFromDB effect to write to the db. That's why I think Haskell go…

So why is barData being recomputed? Does anyone understand how React compiler works enough to answer this?