A programming language based in epistemology (the study of how knowledge is known).
The language is currently in early prototyping stages.
- The Conceptual Basis of Define: The highest-level concepts that guide the design of Define as a language.
- Principles for Define: A set of guiding principles for how we design the language, at a lower level than the Concepts, but not a description of a specific implementation.
- Requirements for Define: Similar to the Principles, but indicates things that must always be true about Define as a language or programs written in it.
- The Define Language Specification: The detailed spec, ideally with sufficient information to implement a compiler for the language. Describes an actual programming language.
The Phillsophy of Define: A document originally written in 2016 by mkanat that explains the motivations and thoughts that were originally behind the language.
Define has a basic Style Guide describing rules around how code sould be structured in the language.
We aren't yet accepting external contributions, but I've started to collect some docs for the future when we are, as I think about them: