1
¿Qué fragmento de la teoría de tipos dependiente de Martin-Löf se puede expresar utilizando tipos genéricos en Java?
Recientemente me di cuenta de que una serie de problemas que tuve hace unos años al tratar de implementar varias teorías matemáticas en Java se redujeron al hecho de que el sistema de escritura en Java no es lo suficientemente fuerte como para modelar toda la teoría de tipos dependiente …