wyago · HackerTrans

12 miesięcy temudiscuss

Public housing construction typically has to follow the law as well, so how does it help in cities where increasing housing units is heavily restricted, and outright banned in 90%+ of the city? YIMBY upzoning is strictly necessary no matter what funder you want for development.

wyago

w zeszłym rokudiscuss

This feels analogous to saying that static memory management might be superior, because if dynamic memory is available developers can trivially produce an OOM.

It's possible we'll start borrowing more patterns from Erlang/OTP since it's been living in a post-greenthreads world for as long as many languages have existed, and has developed patterns around it.

wyago

w zeszłym rokudiscuss

Effect typing can achieve capability security statically, but I've also frequently seen capabilities used to describe dynamic capability systems via various methods involving passing capabilities down as reified objects of some sort.

This of course also depends on some related static guarantees that a function can't access ambient capabilities not passed directly in their arguments, but this is a much simpler static guarantee than effect typing and doesn't require specific analysis over normal parameter types.

comments