Hacker News Reader

jbhnon Java: An ecosystem worth billions with IDEs in peril

VS Code uses LSPs which are mentioned.

jbhnon Java: An ecosystem worth billions with IDEs in peril

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.

jbhnon Clojure's Solutions to the Expression Problem

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

jbhnon Idiomatic Rust

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 frictionless as possible. My instinct there was to be generic and use From/To traits, but it never felt quite right.

jbhnon Idiomatic Rust

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.

jbhnon Rohlang3: A point-free, homoiconic, and dependently typed "SK calculus"

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 Calculus with (dependent) types, because types in Tree Calculus work different from main stream type theory (you internalize the type checker using reflection (see book pg 58), a bit like I did here with scheme: https://github.com/JanBessai/tcscheme).

jbhnon Rohlang3: A point-free, homoiconic, and dependently typed "SK calculus"

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.dagstuhl.de/storage/00lipics/lipics-vol269-typ...

https://types2023.webs.upv.es/slides/S22/TYPES2023-Altenkirc...

I wonder: Where does rholang3 fit in this?

jbhnon Rust Needs an Official Specification

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 than semi-formal standadese language. I've some related background and would love to do it (given there was a good postion/pay).