## User login## Navigation |
## General## Punctuated equilibrium in the large scale evolution of programming languages
The results developed here are perhaps not that surprising to people familiar with the history of programming languages. But it's interesting to see it all formalized and analyzed. By Allan McInnes at 2015-07-17 18:58 | General | History | Paradigms | 6 comments | other blogs | 7416 reads
## Cakes, Custard, and Category TheoryEugenia Cheng's new popular coscience book is out, in the U.K. under the title Cakes, Custard and Category Theory: Easy recipes for understanding complex maths, and in the U.S. under the title How to Bake Pi: An Edible Exploration of the Mathematics of Mathematics:
Cheng, one of the Catsters, gives a guided tour of mathematical thinking and research activities, and through the core philosophy underlying category theory. This is the kind of book you can give to your grandma and grandpa so they can boast to their friends what her grandchildren are doing (and bake you a nice dessert when you come and visit :) ). A pleasant weekend reading. By Ohad Kammar at 2015-07-17 16:47 | Category Theory | Critiques | Fun | General | Semantics | Theory | login or register to post comments | other blogs | 7291 reads
## Don Syme receives a medal for F#Don Syme receives the Royal Academy of Engineering's Silver Medal for his work on F#. The citation reads:
Congratulations! By Ohad Kammar at 2015-07-03 19:16 | Cross language runtimes | Fun | Functional | General | Implementation | Object-Functional | OOP | Paradigms | Software Engineering | 5 comments | other blogs | 14977 reads
## Paul HudakThese are sad news indeed. I am sure almost everyone here read at least one paper by Paul and many knew him personally. When I just started thinking about programming languages I was fascinated by DSLs and his work was simply inspiring. His voice will be missed. Discussions of Paul Hudak's work
## John C Reynolds Doctoral Dissertation Award nominations for 2014
I guess it is fairly obvious why professors should propose their students (the deadline is January 4th 2015). Newly minted PhD should, for similar reasons, make sure their professors are reminded of these reasons. I can tell you that the competition is going to be tough this year; but hey, you didn't go into programming language theory thinking it is going to be easy, did you? ## Zélus : A Synchronous Language with ODEs
Zélus : A Synchronous Language with ODEs
Synchronous programming languages (à la Lucid Synchrone) are language designs for reactive systems with discrete time. Zélus extends them gracefully to hybrid discrete/continuous systems, to interact with the physical world, or simulate it -- while preserving their strong semantic qualities. The paper is short (6 pages) and centered around examples rather than the theory -- I enjoyed it. Not being familiar with the domain, I was unsure what the "zero-crossings" mentioned in the introductions are, but there is a good explanation further down in the paper:
The Zélus website has a 'publications' page with more advanced material, and an 'examples' page with case studies. ## Facebook releases "Flow", a statically typed JavaScript variant
## EATCS Award 2014: Gordon Plotkin
Well deserved, of course. Congrats! ## Inside the Wolfram LanguageVideo of Stephen Wolfram showing off the Wolfram Language and sharing his perspective on the design of the language at Strange Loop conference. ## What's in store for the most widely used language by discerning hackers?Or, in other words, what's the future of Emacs Lisp (and unavoidable HN discussion). The original message contains some interesting tidbits. I am not sure how the discussion on emacs-devel will develop. But speculating about things such as Guile elisp is, of course, our bailiwick. |
## Browse archives## Active forum topics |

## Recent comments

1 hour 36 min ago

1 hour 49 min ago

2 hours 6 min ago

2 hours 43 min ago

2 hours 50 min ago

9 hours 52 min ago

20 hours 15 min ago

20 hours 29 min ago

1 day 4 hours ago

1 day 19 hours ago