Welcome to the new Ix Language site!
The content regarding Ix that was previously posted on the Disparity Bit is now here. Over time it will be rewritten and expanded. You can keep track of changes by subscribing to this feed, which lists commits to the Git repository backing this site.
A language exists to serve its users. I need my future users to tell me what kind of language they want to use.
Sometimes I’ll argue with your proposals, and I’ll try to explain that I’m doing X where you want Y because there’s a really good reason for it. But the reason will never be that “the users aren’t smart enough to use X responsibly” (Java), or “all the cool languages are doing it” (C#), or “no-one will ever use a language that has Y in it, it’s not mainstream enough” (most imperative languages), or even “it worked out alright the last time we did X, why change it?” (all imperative languages since Algol ‘69).
If any of those were good reasons, I wouldn’t be writing a new language in the first place.
No, I’ll only do things because they are ultimately the right things to do. A language is a tool, and it should make its users happy. If it makes them unhappy - say, by refusing to typecheck their code even when they know it’s correct, or by confusing the hell out of their coworkers who use C++ - it’s only because it’s doing its best to make them happy on a grander scale, by working right the second time, finishing the project ahead of schedule and sending them to get some sun at the beach.
This site exists to elicit feedback. Whatever you think about any of Ix’s design features - or any features Ix doesn’t have, or just suggestions out of the blue - plase send it all to me (best done by leaving comments on the appropriate page). I promise to give due time & space to replying to all comments, requests and ideas.
Background
Design, core semantics
Typing discipline
Syntax
Core library
Library
Implementation
Security model