Programowanie funkcyjne/System typów/Ćwiczenia: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 1: | Linia 1: | ||
== | == Praca domowa == | ||
* Wyznacz typ: | * Wyznacz typ: | ||
| Linia 9: | Linia 9: | ||
'''let''' p = '''function''' x -> '''function''' y -> '''function''' f -> f x y | '''let''' p = '''function''' x -> '''function''' y -> '''function''' f -> f x y | ||
'''in''' '''function''' f -> p 4 2 f | '''in''' '''function''' f -> p 4 2 f | ||
==Ćwiczenia== | |||
* Wyznacz typ: | * Wyznacz typ: | ||
Aktualna wersja na dzień 23:05, 1 paź 2006
Praca domowa
- Wyznacz typ:
let f = function x -> function y -> y
in f (function x -> x) 42
- Wyznacz typ:
let p = function x -> function y -> function f -> f x y in function f -> p 4 2 f
Ćwiczenia
- Wyznacz typ:
let p = function f -> function x -> f (f x)
in p p (function x -> x)
- Wyprowadź skróconą regułę wnioskowania o typie procedur rekurencyjnych na podstawie typu operatora fix i pozostałych reguł.
