 
      
    | You are here | blog.quaddmg.com | ||
| | | | | boxbase.org | |
| | | | | I came up with an idea when studying type theory. I am a vehement proponent of dynamic typing but there are several ideas that require me to explore into type theory so I am studying it. | |
| | | | | blog.jooq.org | |
| | | | | Sometimes there are these moments of truth. They happen completely unexpectedly, such as when I read this tweet: https://twitter.com/whileydave/status/536422407297171457 David is the author of the lesser-known but not at all lesser-interesting Whiley programming language, a language that has a lot of static type checking built in it. One of the most interesting features of the... | |
| | | | | yotam.net | |
| | | | | A blog about free software and programming | |
| | | | | hackaday.com | |
| | | Whenever the topic is raised in popular media about porting a codebase written in an 'antiquated' programming language like Fortran or COBOL, very few people tend to object to this noti... | ||