Categorical semantics of digital circuits | The Lab Lunch
Isn’t it funny that the world of programming languages is defined by syntax while the world of circuit design is defined by semantics? One can never be sure, but it seems to me that when people design software they imagine the code whereas when people design circuits they imagine the behaviour . This seems also to apply to the design of programming languages, where an endless variety of syntaxes
A simple proof checker for teaching | The Lab Lunch
For the last few years I have been teaching functional programming to first year students. One of the main benefits of using functional programming is that you can prove simple, but non-trivial, properties of simple programs, for example, that the empty list is right-neutral for append: append xs [] = xs The practical problem with teaching a large group of students is that you end up with a large
Inventing an algebraic knot theory for eight year olds (V) | The Lab Lunch
Towards Equations We finally reconvened our maths club after a mid-term break (children not available) combined with the university exams period (me not available). I correctly assumed nobody remembered anything we talked about before. At least not in detail. Also, we had a significant number of new children joining our group, who had no idea about what we have been up to. In the previous sessions
Types: computation vs. interaction | The Lab Lunch
Type Theory is at the moment the workhorse of programming language theory. It is an elegant, clever and incredibly useful framework for thinking about programming (for full disclosure, I have written several papers with the word “type” in the title). In this post I will not elaborate on the positives of Types but I will try to find at what point they become less useful. The argument below should b
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Compilers as lazy denotational interpreters | The Lab Lunch
