At this juncture …

I have spoken before of the need to rebrand Subtext. It is stereotyped as a Visual Programming Language, and as such will never command respect. Using a non-textual code rep violates everyone’s expectations for how programming is done, and even how we write about it. The really fundamental problem is that I have been trying to solve problems that people don’t know they have, or won’t admit they have. No one is willing to admit they aren’t smart enough to program with current languages. Continue reading “At this juncture …”

Truth in Researching

Just read a great paper about programming language design: The Origins of the BitC Programming Language. BitC wants to be a verifiable systems programming language, suitable for implementing OS kernels with provable safety guarantees and competitive performance. They share the lessons they have learned and opinions they have formed. They are commited to inventing something that is actually usable. It is all refreshingly honest and free of the obligatory posturing of academics, and therefore probably unpublishable. Some juicy quotes: Continue reading “Truth in Researching”

Funny/sad quote of the day

From the folks who brought you UML: Semantics of a Foundational Subset for Executable UML Models

Constraints are excluded from fUML, because they are considered to be design‐time annotations that should already be satisfied by a well‐formed model. Otherwise, the general semantics of the run time checking of constraints is not currently well specified in UML 2, particularly when constraints should be evaluated and what should happen if they should fail. Further elaboration of the semantics of constraint checking in UML was judged to be outside the scope of the fUML specification.

Alright already, here’s the source

Here is the source and binaries of the Schematic Tables demo. I really don’t think it is of use to anyone, but I am getting tired of explaining that. This stuff is on the shelf right now while I work on other language issues.