A type system for Machine Learning | Hacker News Reader