I made a programming language inspired by lisp
https://github.com/realdanvanth/telos/
Discussions: https://discu.eu/q/https://github.com/realdanvanth/telos/
Recent searches
Search options
#programminglanguages
2 posts2 participants0 posts today
Global rename and find reference |
Gleam v1.10.0 released
gleam.runGlobal rename and find referencesGleam v1.10.0 released
At some point, type safety is indistinguishable from template metaprogramming.
Show HN: The C3 programming language (C alternative language)
Discussions: https://discu.eu/q/https://github.com/c3lang/c3c
GitHubGitHub - c3lang/c3c: Compiler for the C3 languageCompiler for the C3 language. Contribute to c3lang/c3c development by creating an account on GitHub.
This seems a very cool and interesting evolution for a stable and productive language, focused on real needs in the industry. The focus on making sure it all integrates well and works with legacy code is astounding. Very nice. Ocaml future seems great.
--
Making OCaml Safe for Performance Engineering | Lobsters
https://lobste.rs/s/ujvpdn/making_ocaml_safe_for_performance
lobste.rsMaking OCaml Safe for Performance Engineering | Lobsters
️ I wonder what would a c clone, like a c++ that is, instead of being object oriented, it was functional, like a cλλ, like inline assembly with category theory whitepaper code. That would be the most language ever. Like no side effects, with totally side effects. Like it also has some object stuff like how c++ is supposed to have some but it's just a featureful struct. I'm genuinely curious, morbidly. #programming #c #cpp #haskell #programminglanguages #doesanybodylikethis #insanity #darkwoke
Beta version of browser Javascript alternative Aussom-Script is now available to try. It’s an interpreted OOP language that is used to program in the browser. #aussom #aussomscript #programming #programminglanguages
open.substack.comAussom-Script, Browser JS AlternativeAussom-Script is a new interpreted OOP for the Browser. If you're looking for a Javascript alternative this may be for you.
Function Application Needs to Grow a Spine Already
https://thunderseethe.dev/posts/function-application-grow-a-spine/
Discussions: https://discu.eu/q/https://thunderseethe.dev/posts/function-application-grow-a-spine/
Thunderseethe's Devlog · Function Application Needs to Grow a Spine AlreadyTypechecking multiple applications at a time opens new opportunities for inferring types
I think I need to go back to learning programming languages by reading books and then coding.
I remember I learnt Java that way, all the way back in 2014, and everything is still imprinted in my brain.
Going to do that for C++ now. Need to master that before September this year.
Typechecking Generalized Algebraic Datatypes in Clojure
https://moea.github.io/playground/clojure/gadt/static/typing/2025/03/29/gadt.html
Discussions: https://discu.eu/q/https://moea.github.io/playground/clojure/gadt/static/typing/2025/03/29/gadt.html
Type Playground · Playing Fast and Loose With GADTsWe’re going to be playing with Generalized Algebraic Data Types (terrible article) in Clojure. To preface, I am not an authority on GADTs, or much of anything — I mostly learn about things by implementing and explaining them. The code is here.
Scottish Programming Languages and Verification Summer School 2025
https://spli.scot/splv/2025-edinburgh/
Discussions: https://discu.eu/q/https://spli.scot/splv/2025-edinburgh/
SPLVSPLV 2025Website for the SPLV summer school series
SpecTec has been adopted
https://webassembly.org/news/2025-03-27-spectec/
Discussions: https://discu.eu/q/https://webassembly.org/news/2025-03-27-spectec/
webassembly.orgSpecTec has been adopted - WebAssemblyWebAssembly (abbreviated Wasm) is a binary instruction format for a stack-based virtual machine. Wasm is designed as a portable compilation target for programming languages, enabling deployment on the web for client and server applications.
SpecTec has been adopted - WebAssembly
«...huge leap forward, because the practical state of language specifications is basically stuck in the 1960s: most language standards, even new ones, are still defined by some basic grammar notation for their syntax (and sometimes not even that), while their semantics is given by a combination of pretty prose, hidden assumptions, and wishful thinking.»
webassembly.orgSpecTec has been adopted - WebAssemblyWebAssembly (abbreviated Wasm) is a binary instruction format for a stack-based virtual machine. Wasm is designed as a portable compilation target for programming languages, enabling deployment on the web for client and server applications.
Faster interpreters in Go: Catching up with C++
https://planetscale.com/blog/faster-interpreters-in-go-catching-up-with-cpp
Discussions: https://discu.eu/q/https://planetscale.com/blog/faster-interpreters-in-go-catching-up-with-cpp
planetscale.comFaster interpreters in Go: Catching up with C++ — PlanetScaleA novel technique for implementing dynamic language interpreters in Go, applied to the Vitess SQL evaluation engine
In Search of the Next Great Programming Language
https://git.sr.ht/~robheghan/glogg/tree/main/item/docs/motivation.md
Discussions: https://discu.eu/q/https://git.sr.ht/~robheghan/glogg/tree/main/item/docs/motivation.md
Were multiple return values Go's biggest mistake?
https://herecomesthemoon.net/2025/03/multiple-return-values-in-go/
Discussions: https://discu.eu/q/https://herecomesthemoon.net/2025/03/multiple-return-values-in-go/
MOND←TECH MAGAZINE · Were multiple return values Go's biggest mistake?Yet another article complaining about Go’s error handling.
Microsoft's Bold Move: TypeScript Compiler Rewritten in Go
In a surprising shift, Microsoft has announced the rewriting of its TypeScript compiler in Go, igniting a debate within the developer community. This decision raises critical questions about language ...
https://news.lavx.hu/article/microsoft-s-bold-move-typescript-compiler-rewritten-in-go
Very disturbed by an idea in a theogg video today. "The end of frameworks" and new language ideas because it won't immediately be available in the LLMs and therefore feel more difficult to use.
That just feels so gross. Imagine if tech had stopped 10, 20, 30 years ago because magic autocomplete worked sometimes.
