Meinte Boersma – A category-theoretic view of models

How to describe category theory? Meinte explains it as follows: capture essential complexity and separate it from incidental one. This allows you to leave out unnecessary details until you need them. The definitions: An example: The category of Set. The objects here are sets, the arrows are functions from natural numbers (like squaring) and composition is Read more about Meinte Boersma – A category-theoretic view of models[…]

Laurence Tratt – End-to-end language composition

After years of trying to build the perfect language, Laurence Tratt realizes that there is no such thing as the perfect language. This is why currently, he is working on language composition. Composition is done on two things: Firstly composing the syntax and secondly the runtime. Syntax Laurence argues that the only reasonable option is a Read more about Laurence Tratt – End-to-end language composition[…]

John Slaby – Why I have come to prefer fluent interfaces over other kinds of DSLs

John Slaby works for Raytheon, a large defense contractor, where he has tried over two dozen full-featured DSLs to support users within the company. But the teams using them have been dissolved and the value of the DSLs was somehow lost. And when new features needed to be added, this was done by different teams Read more about John Slaby – Why I have come to prefer fluent interfaces over other kinds of DSLs[…]