-
Recent Posts
Archives
Categories
Meta
Author Archives: Juan
Shape-dependent computations in Scala … and Agda!
In this post we will solve a little programming problem, mainly with the excuse of talking about dependent types. As usual, Scala will be our programming language of choice. However, this time we will also use Agda, a programming language … Continue reading
Posted in Uncategorized
Leave a comment
The Speech Console
During these months, we have tried to explain Speech using different strategies and metaphors, with varying results. For instance, we have defined Speech as “A process-oriented programming language” or as “A DSL for programming the business logic of social applications” … Continue reading
Posted in Apps, Speech, Web console
Leave a comment
Sample Speech Apps: Twitter, Trac, Do&Follow … and Big Brothapp!
Which kinds of applications are most suitable for Speech? How do we design a Speech app? How do we implement a Speech design using its Scala embedding? To answer these questions in a pleasant and entertaining way, we completely re-designed … Continue reading
Posted in Apps, Speech
Leave a comment
Speech 0.1 released!
We are happy to announce the first release of the Speech interpreter. This is a beta release with the minimum functionality required to test significant application examples, demonstrate the virtues of the Speech DSL and … receive feedback from you! … Continue reading
Posted in Uncategorized
Leave a comment
Updating immutable objects in generic contexts
Immutability is one of the hallmarks of functional design, and writing idiomatic programs in Scala highly relies on manipulating immutable objects. Now, if we don’t have mutable fields (aka vars) … how can we update objects in a convenient way? … Continue reading
Posted in case classes, immutability, Macros, Scala, Speech, Type Class, Updatable
1 Comment