11

Passed my fucking Type Theory exam!
This course gave me stomach ulcers during the semester but I am done with it finally...
I just wanted to share with someone. :)

Comments
  • 1
    Type Theory exam?
  • 2
    @delegate212

    String theory;
    Integer theory;
    Account theory;

    Also generics:
    T theory;
    K theory;

    And parametrized Type Theories:
    Map<K, V> theory;
    List<T> theory;
  • 1
    Pretty cool, what all did your course cover in type theory? I've been wanting to take a class on it for a while.
  • 0
    @RememberMe
    Intro stuff and simple type theory then Logic, Peano-arithmetic, abstract types, dependant types, equalities, then finished with vectors and the proof of Orderedness (is this a word?) of Insertion sort and Merge sort.
    It was fun and hard at the same time somehow.
Add Comment