jbhn

5 ms·

1.
by jbhn 9mo ago
VS Code uses LSPs which are mentioned.
2.
Java: An ecosystem worth billions with IDEs in peril(noprotocol.net)
19 points by jbhn 9mo ago|8 comments
3.
by jbhn 9mo ago
TL;DR: Java’s multi-billion-dollar ecosystem is quietly dependent on a shrinking, fragile IDE infrastructure, and without deliberate investment beyond IntelliJ and Eclipse, its long-term developer productivity is at serious risk.
4.
by jbhn 1y ago
Note that "full" solutions are possible in standard OO languages as well (without the usual visitor vs subclasses trade-off): https://news.ycombinator.com/item?id=45210114
5.
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)(drops.dagstuhl.de)
2 points by jbhn 1y ago|0 comments
6.
by jbhn 2y ago
I think Library APIs are a good example. I've found myself in the situation where I do not care about the string representation (or can convert in a few places if necessary), but need to provide an interface for others that is as frict
7.
by jbhn 2y ago
Please do Strings next. Effective Rust isn't useful at guiding to a good default. The technical arguments for one or the other option are available in a bunch of places, but no good guidance on an idiomatic default.
8.
by jbhn 2y ago
Reflections in Tree Calculus work differnt from lisp quote/unqote used here. It is a hunch, but I think Tree Calculus can implement this (if it is sound) (book pg 64 ff on quote), but not vice-versa. As far as I know there is no Tree C
9.
by jbhn 2y ago
Dependent Types + Combinatory Logic is highly non-trivial, as is shown in this series of work by Altenkirch et al.: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.F... https://drops.dag
10.
by jbhn 2y ago
One should mention the RustBelt project: https://plv.mpi-sws.org/rustbelt/ here. It was in place to develop a specification for Rust that is accessible for formal verification. I think that is the way to go, rather tha