Wyniki wyszukiwania dla "types"
Rozmiar int w C na różnych architekturach
Zdaję sobie sprawę, że specyfikacja języka C nie dyktuje dokładnego rozmiaru każdego typu liczby całkowitej (np.
Deklarowanie listy typów
Chcę zadeklarować listę zawierającą typy w zasadzie:
Próba traktowania klas i podtypów typu, takich jak zestawy i podzbiory
To pytanie jest związane z moim poprzednim pytaniem SO oklasy typu. Zadaję to pytanie, aby skonfigurować przyszłe pytanie dotyczące lokalizacji. Nie sądzę, a...
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...
Reguły wariancji w C #
TheDokładne zasady ważności wariancji są trochę niejasne i nieokreślone. Zamierzam wyszczególnić reguły dotyczące tego, co sprawia, że dany typ jest prawid...
Polimorfizm związany z F z typami abstrakcyjnymi zamiast typów parametrów?
Jak przekonwertować następujący polimorfizm związany z F na kod za pomocą typów abstrakcyjnych?
Dlaczego Java nie zezwala na rzutowanie Boolean -> Int?
Zastanawiałem się, dlaczego Java nie pozwala na rzutowanie z boolean na int, w ten sposób: