So dependent types. Unfortunately, not decidable.
https://cs.stackexchange.com/questions/12691/what-makes-type...
In general I am torn between the enthusiasm people like the author bring to the table and their apparent lack of due diligence regarding a discipline that has been subject to thorough research for decades.
So dependent types. Unfortunately, not decidable.
https://cs.stackexchange.com/questions/12691/what-makes-type...
In general I am torn between the enthusiasm people like the author bring to the table and their apparent lack of due diligence regarding a discipline that has been subject to thorough research for decades.