Types considered harmful II

November 30, 2017 | 0 Comments

Russell introduced what is often viewed as his most original contribution to mathematical logic: his theory of types—which in essence tries to distinguish between sets, [...]

Bad ideas in type theory

September 15, 2017 | 0 Comments

Types as sets and subtypes as subsets.  This may be due to confusing usage in mathematical practice where, for example, we often see references to integers as a subset of [...]

Current reading August 2017

August 20, 2017 | 0 Comments

Two-way string matching  And an implementation in Musl. The C standard post C11 The Rube-Goldberg approach to fault tolerance in NTPd  which is not worse than PTP fault [...]

Sorting and groups

July 22, 2017 | 0 Comments

I can’t find much reference to this in the literature (see Maus for some hints and an interesting paper) , but surely people have looked at sorting as a problem in [...]

Current reading: July 8 2017

July 8, 2017 | 0 Comments

Principal type-schemes for functional programs∗ Luis Damas† and Robin Milner First published in POPL ’82: Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on [...]
1 2 3 41