Wyniki wyszukiwania dla "agda"
Hierarchia typów w Agdzie
Próbuję dowiedzieć się, jak działają hierarchie typów w Agdzie.Zakładając, że zdefiniowałem typ zestawu X:
Sprawdzenie zakończenia połączenia na liście
Agda 2.3.2.1 nie widzi, że kończy się następująca funkcja:
Jak mogą działać liczby skończone? (typy zależne)
Interesują mnie języki zależnie od typu. Liczby skończone wydają mi się bardzo przydatne. Na przykład, aby bezpiecznie indeksować tablice o stałych rozmiarac...
Czy istnieje język o ograniczonych typach?
Czy istnieje typowy język programowania, w którym mogę ograniczyć typy, takie jak poniższe dwa przykłady?Prawdopodobieństwo jest liczbą zmiennoprzecinkową o ...
Wspomaganie sprawdzania zakończenia Agdy
Załóżmy, że definiujemy funkcję