Hacker News with Generative AI: Language Design

The Language That Never Was (celes42.com)
Now, where do I even start... Ah, games, yes I guess that's a good start. Some people like to play games, videogames even. But videogames don't grow on trees, you know?

Games, Programming, Language Design

10 points by thunderbong 6 days ago | 2 comments

Method dispatch mechanisms in Swift: static and dynamic dispatch (nilcoalescing.com)
Method dispatch refers to the process of determining which method implementation to execute when a method is called. In Swift, this can be either dynamic or static, each with distinct implications for performance and flexibility.

Programming, Swift, Performance, Object-Oriented Programming, Language Design

5 points by ingve 56 days ago | 0 comments

C++26 Expansion Tricks (pydong.org)
P1306 gives us compile time repetition of a statement for each element of a range - what if we instead want the elements as a pack without introducing a new function scope?

C++, Programming Languages, Compilers, Optimization, Language Design

24 points by HeliumHydride 62 days ago | 38 comments

Pointers Are Complicated II, or: We need better language specs (2020) (ralfj.de)
Some time ago, I wrote a blog post about how there’s more to a pointer than meets the eye.

Programming, Software Engineering, Language Design, Computer Science

169 points by ksec 113 days ago | 120 comments

Rohlang3: A point-free, homoiconic, and dependently typed "SK calculus" (rohan.ga)
I’ve long been obsessed with minimalistic languages that still manage to have expressive power. My usual approach: start with a bare-bones combinator calculus (like SK), then keep adding “one more extension” until it looks suspiciously like a full-blown typed language. rohlang3 is exactly that experiment. It’s a small language built in Rust that tries to be point-free, homoiconic, and (somewhat) dependently typed, all on top of an SK-like foundation—plus reflection, partial evaluation, and a weird environment reordering system.

Programming Languages, Functional Programming, Language Design, Rust

54 points by ocean_moist 141 days ago | 9 comments

Racket School 2019: The "How to Design Languages" Track (racket-lang.org)
This summer school track introduces attendees to the Racket way of language-oriented programming and language building.

Programming Languages, Summer School, Racket, Language Design

36 points by mpweiher 148 days ago | 10 comments

Go's Weird Little Iterators (mcyoung.xyz)
A second post on Go silliness (Miguel, aren’t you a C++ programmer?): in 1.23, Go finally added custom iterators. Now, back when I was at Google and involved in the Go compiler as “the annoying Rust guy who gets lunch with us”, there were proposals suggesting adding something like this, implemented as either an interface or a func:

Programming, Go, Language Design

8 points by ingve 157 days ago | 0 comments

Adding syntax to the CPython interpreter (leontrolski.github.io)
Let's add some new syntax to Python! Making a small change is not so hard.

Programming, Python, Open Source, Language Design

161 points by leontrolski 218 days ago | 57 comments

Language Compilation Speed (2021) (alopex.li)

Programming, Software, Performance, Language Design

5 points by davikr 285 days ago | 0 comments

Evolving languages faster with type tailoring (lambdaland.org)

Programming, Language Design, Software Development, Type Theory

5 points by ashton314 301 days ago | 1 comments

Evolving languages faster with type tailoring (lambdaland.org)