4 ms·Is it me misreading it or the author trying to re-invent dependent types?by vzaliva 6y agoIs it me misreading it or the author trying to re-invent dependent types?