1. 6
  1.  

  2. 1

    I’ve tried to implement a type system based on this algorithm. Things get tricky when you throw recursive objects into the mix, and I was never able to come up with a good workaround. That being said, I think the ideas have potential, especially when it comes to retrofitting dynamic language with type checking.