Conversation

This Tweet is from a suspended account. Learn more
Brendan Zabarauskas
@brendanzab
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).
3
1
💧Axman6
@Axman6
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`.
1
Brendan Zabarauskas
@brendanzab
Replying to
@Axman6
and
@AnnieTheObscure
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
·
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.
Twitter Web Client