Aram Hăvărneanu

@aramh

Mathematical engineer bringing type safety to the cloud. Previously worked on CUE @cue_lang. JSR PC, @(R6)+; I wrote the arm64, sparc64, and Solaris Go ports.

2009年5月からXを利用しています

1,663 フォロー中

5,484 フォロワー

固定
Aram Hăvărneanu
@aramh
2021年10月20日
Understanding means understanding the duality between the concrete and the abstract.
5
Aram Hăvărneanu
@aramh
11月12日
Language design starts with semantics, not syntax.
20
Aram Hăvărneanu
@aramh
11月12日
Perhaps there is an even better solution than algebraic effects, but if you don't understand the SOTA please stop doing programming language pollution. We don't want an ecological disaster in the PL space.
Aram Hăvărneanu
@aramh
11月12日
If your neolang doesn't embrace algebraic effects you're NGMI. And yes -- use algebraic affects for error handling.
4
Aram Hăvărneanu
@aramh
11月12日
If your neolang doesn't embrace algebraic effects you're NGMI. And yes -- use algebraic affects for error handling.
Daniel Colascione
@dcolascione
11月12日
返信先: @dusangranさん、@kellabyteさん
Everything but exceptions is stupid. You can tell because languages built to reject them end up with panics, which are, in fact, exceptions. So now you have to deal with the consequences of both. The Rust way is not the only way, believe it or not.
13
Aram Hăvărneanu
@aramh
11月11日
The multi-process, client-server architecture is the ONLY good part of LSP. I don't know where the idea that servers cannot "receive actual bytes of data instead of JSON" came from. Splitting a system into multiple processes is the best thing you can ever do in terms of security, reliability, third-party extensibility. The fact that people advocate for shared library plugins in 2026 is insane.
Mark Tyrkba
@marktyrkba
11月10日
It's pretty much safe to say a Language Server has no reason to be a Server. And maybe if it wasn't a Server, they (vscode developers) could leverage the ancient technology of passing actual bytes of data instead of JSON. But even then it still wouldn't be good enough.
18

Aram Hăvărneanu

Aram Hăvărneanuさんのポスト