My Dream Programming Language

I’m on the hunt for a fun programming language that I can pick up and mess with in my free time. I have a few fairly normal requirements that a lot of people ask for, plus a few less common requirements. I don’t think this programming language exists as of 2022. If it does, do me a solid and let me know!

The Usual Requirements

• Functional programming paradigm (primarily)
• Compiles to native, dependency-free executable
  • I could compromise on this if it were a small scripting language
• Robust type system
• Intuitive / enjoyable syntax
• Reasonable learning curve
  • While I like Rust, I’m looking for something with lower standards
  • … but with higher standards than Go
• Reasonably efficient performance-wise
• Open source
• Runs well on Linux (cross-platform a bonus)

The Unusual Requirements

• Uses object capabilities
  • no more static / global APIs for file, network, and other resources
  • encourages dependency injection instead
• Result types instead of exceptions
• Option types instead of nulls
• Robust pattern matching (important for the above two points)
• Doesn’t require a heavyweight IDE or excessively complex “new project” structure

Comments?

If you have a Mastodon account, you can reply to my post on Mastodon.