Viewing profile — psewell

No. First, understand what the language is for (if nothing, stop here...). Second, make the main design choices (expressiveness of type system, level of control of mutability or la…

Indeed. The long version is at [pdf] http://www.cl.cam.ac.uk/~pes20/cerberus/notes30-full.pdf ; it has 85 questions supported by concrete code examples and experimental data, e.g. …