jaccarmac · HackerTrans

9 tháng trướcdiscuss

I commented elsewhere: Satantango is easily my least favorite LK so far. If you want to try something else, I would recommend The Melancholy of Resistance as a novel with similar concerns but better execution, War & War as a metafictional odyssey, or the short stories.

jaccarmac

9 tháng trướcdiscuss

I've loved all of the work I've read except Satantango, so if you bounce of that novel I would recommend the rest. That said, I started with the short story collection The World Goes On and thought it was brilliant.

jaccarmac

9 tháng trướcdiscuss

I'm biased because I lived down the street from a bookstore connected to a translation publishing house, but I can't recommend translated fiction enough for opening one's eyes to the weird relationship between a person, their language, and the works they read.

jaccarmac

12 tháng trướcdiscuss

A discussion by Joe is helpful here; It contains some code: https://erlang.org/pipermail/erlang-questions/2003-March/007...

"Crashing is loud" below is a phrase to combine with "remote error recovery" from the link above. Erlang/OTP wants application structure that is peculiar to it, and makes that structure feel ergonomic.

> If I ship a feature that has a type error on some code path ... How is "let it crash" helpful to my customer?

The crash can be confined to the feature instead of taking down the entire app or corrupting its state. With a well-designed supervision structure, you can also provide feedback that makes the error report easier to solve.

However, while a type error in some feature path is a place that makes type annotations make sense, type annotations can only capture a limited set of invariants. Stronger type systems encode more complex invariants, but have a cost. "Let it crash" means bringing a supervisor with simple behavior (usually restart) or human into the loop when you leave the happy path.

jaccarmac

năm ngoáidiscuss

Over the past several years I have slowly patched the .NET version of Shen to run on Linux and modern .NET releases. I also learned about Higher-Order Perl the other year and have a dream of going through the book and implementing the exercises in Shen while tuning the compiler.

But while I have had a broad interest in compilers for years and years, it feels difficult-to-impossible to actually complete any of it. Part of it's general depression and time management, part is looking at the long story of these projects and the lack of progression: Stuck in a rut of mediocrity.

https://github.com/rkoeninger/ShenSharp https://github.com/jaccarmac/junkcode/tree/79ea647d4ddbe41cf...

comments