Wyniki wyszukiwania dla "type-theory"
Jak sprawić, aby te dynamicznie wpisywane funkcje były bezpieczne dla typu? [Zamknięte]
Czy istnieje jakiś język programowania (lub system typów), w którym można wyrazić następujące funkcje Pythona w sposób statycznie wpisany i bezpieczny dla ty...
Pomyślałem o podtypowaniu funkcji
Biorę kurs języka programowania, a odpowiedź na „kiedy jest funkcją typu podrzędnego innej funkcji” jest dla mnie bardzo sprzeczna z intuicją.Aby wyjaśnić: z...
Funkcja, która ogólnie przyjmuje typ i zwraca ten sam typ
Trudno mi zrozumieć, dlaczego kompilator Scali jest niezadowolony z tej definicji funkcji:
Co to jest podtyp Isabelle / HOL? Jakie polecenia Isar tworzą podtypy?
Chciałbym wiedzieć o podtypach Isabelle / HOL. Wyjaśniam trochę, dlaczego jest to dla mnie ważne w częściowej odpowiedzi na moje ostatnie pytanie SO:Próba tr...