r/ProgrammingLanguages • • 47m ago

Programming language with Hindley-milner type system and with no GC

• Upvotes

Rust is a clear winner in the AI era. However, it doesn't feel functional enough to spark joy.

Swift is slightly better, but still, is there anything like Haskell, SML or OCaml using reference counting and lifecycle management instead of a GC?


r/ProgrammingLanguages • • 15h ago

Titulo: Coma: un linguage de programmation bilingue (hispan/anglese) que se scribe como on parla e curre con le velocitate de C

0 Upvotes
Salute! Io ha create **.Coma**, un linguage con un idea strange: le ergonomia de prosa con le performance native. Sin punctos e virgulas, centos de synonymos colloquial, articulos que on pote saltar (`the`, `la`, `del`) — e illo compila via su proprie frontend in Nim ad LLVM IR + `zig cc`, mesurate contra C.

Le mesme programma, in duo linguas, un sol binario:

[los dos ejemplos Hero/Heroe]

Lo que v1.0 face de ver (verificate in execution): listas de registros con accesso per fila, listas sin limite (integros, texto, matrices), files e TCP in session unic, ticks a 60 FPS con delta time, tests integrate, comparation sin majusculas/minusculas, hexadecimal + bits, e un IDE in un sol .exe con diagnosticos in tempore real.

Limites honeste, tote documentate: nulle concurrentia ancora, cliente TCP sin TLS, nulle gerente de pacchettos, nulle FFI per philosophia.

Licentia MIT, Windows + Linux. E il ha un calabozo jocabile scribite in illo (juego/mazmorra.coma, EN+ES).

Repo: https://github.com/Agm1ne/.Coma

Que construerea tu in un linguage que se lege como prosa?

r/ProgrammingLanguages • • 15h ago

Writing tensor programs in Lean · TorchLean Verified Examples

Thumbnail robertboy18.github.io
15 Upvotes

r/ProgrammingLanguages • • 1h ago

Martin Odersky – Keynote: The End of Programming? #ScalaDays

Thumbnail youtube.com
• Upvotes

r/ProgrammingLanguages • • 13h ago

Versioned E-Graphs

Thumbnail youtube.com
3 Upvotes

r/ProgrammingLanguages • • 14h ago

Requesting criticism Cole: A Recreational Attempt on Zig(*)

Thumbnail codeberg.org
2 Upvotes