Conversation

This Tweet is from a suspended account. Learn more

Replying to

One answer: We need languages which are powerful enough to build our own primitives in. Both enough low level control to implement them efficiently, and the ability to create seamless ways of working with them (eg. user-defined literals and operator overloading).

12:11 PM · Jun 2, 2019Twitter Web Client

This Tweet is from a suspended account. Learn more

has some neat work on literal overloading - see github.com/cyrus-/relit/. It's not a completely new idea, but could do with more work to get into more languages! Languages like C++ and Rust do a good job on the performance side of things.

Replying to

and

Sounds like you want Ada, which does a great job of doing exactly that, which also giving you much more safety than the C and C++ with a fantastic concurrency story. People hate it because it uses weird names for things like `begin` and `end`.

Brendan Zabarauskas

@brendanzab

Jun 3, 2019

Yeah, Ada is a great one too! Haskell does pretty good too a better job than Rust at making literal feel first class, but still a way off where I'd like. See this tweet:

Quote Tweet

Brendan Zabarauskas

@brendanzab

· Jun 2, 2019

Replying to @AnnieTheObscure and @SWI_Prolog

@neurocy has some neat work on literal overloading - see github.com/cyrus-/relit/. It's not a completely new idea, but could do with more work to get into more languages! Languages like C++ and Rust do a good job on the performance side of things.

Replying to

and

... and error reporting, debugging, and IDE building primitives.

Brendan Zabarauskas

@brendanzab

Jun 3, 2019

yeeeees - this is important!