https://www.cs.cornell.edu/courses/cs3110/2011sp/Lectures/lec26-type-inference/type-inference.htm w Hakelu, dla zabawy
Wojciech Karpiel
7a576191b3
CZYTAJMNIE
|
4 роки тому | |
|---|---|---|
| .gitignore | 4 роки тому | |
| Drzewo.hs | 4 роки тому | |
| Main.hs | 4 роки тому | |
| README.md | 4 роки тому | |
| Wnioskowanie.hs | 4 роки тому | |
| Zjednanie.hs | 4 роки тому |
README.md
https://www.cs.cornell.edu/courses/cs3110/2011sp/Lectures/lec26-type-inference/type-inference.htm w Haskelu, dla zabawy
$ runghc Main.hs <<EOF
(Funkcja "x" (Funkcja "y" (Funkcja "z"
(Wywołanie
(Wywołanie (Zmienna "x") (Zmienna "z"))
(Wywołanie (Zmienna "y") (Zmienna "z"))))))
EOF
Just ('c -> 'f -> 'd) -> ('c -> 'f) -> 'c -> 'd