Re:Java at 30: The Genius Behind the Code That Changed Tech
by vram22 on Friday May 23, 2025 @04:12PM
(#44076209)
Thanks.
I briefly looked at Frege; both it and the person it is named after are very interesting.
Re:Java at 30: The Genius Behind the Code That Changed Tech
by vram22 on Wednesday May 28, 2025 @07:12PM
(#44121438)
So I submitted HN posts about both of them:
https://news.ycombinator.com/item?id=44112115
https://news.ycombinator.com/item?id=44076220
Full speed ahead, and damn the naysayers, er, downvoters, er, torpedos! ;)
https://github.com/Frege/frege
https://github.com/typelead/eta
Of the others you mentioned, I bet there's a couple JVM Prologs out there, but haven't encountered any myself.