Comments by "HalfSourLizard" (@halfsourlizard9319) on "Creating Your Own Programming Language - Computerphile" video.

  1. Can your assembly language do that!?
    2
  2. Let me guess: You're coming from Java ...
    2
  3. Wat? Clearly defining the semantics and proving soundness of the type system are the interesting and challenging bits.
    1
  4. This is not how to design or implement a programming language. See the work of Ben Pierce, Strachy and Scott, or Winskel if you're actually serious about doing this properly.
    1