WojciechKarpiel/zjednywacz-hs: https://www.cs.cornell.edu/courses/cs3110/2011sp/Lectures/lec26-type-inference/type-inference.htm w Hakelu, dla zabawy @ 7a576191b304542a82e81c5c33b0114794da4368

https://www.cs.cornell.edu/courses/cs3110/2011sp/Lectures/lec26-type-inference/type-inference.htm w Hakelu, dla zabawy

1 Atzari

Wojciech Karpiel 7a576191b3 CZYTAJMNIE		4 gadi atpakaļ
.gitignore	7a576191b3 CZYTAJMNIE	4 gadi atpakaļ
Drzewo.hs	55900d861b zaczątek	4 gadi atpakaļ
Main.hs	55900d861b zaczątek	4 gadi atpakaļ
README.md	7a576191b3 CZYTAJMNIE	4 gadi atpakaļ
Wnioskowanie.hs	55900d861b zaczątek	4 gadi atpakaļ
Zjednanie.hs	55900d861b zaczątek	4 gadi atpakaļ

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

README.md