Halaman utama Jelajahi Bantuan
Masuk
WojciechKarpiel
/
zjednywacz-hs
Liatin 1
Bintangi 0
Fork 0
Berkas Masalah 0 Tarik Permintaan 0 Wiki

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

Cabang: master
Ranting Tag
zjednywacz-hs
ZIP TAR.GZ
Wojciech Karpiel 7a576191b3 CZYTAJMNIE 4 tahun lalu
.gitignore 7a576191b3 CZYTAJMNIE 4 tahun lalu
Drzewo.hs 55900d861b zaczątek 4 tahun lalu
Main.hs 55900d861b zaczątek 4 tahun lalu
README.md 7a576191b3 CZYTAJMNIE 4 tahun lalu
Wnioskowanie.hs 55900d861b zaczątek 4 tahun lalu
Zjednanie.hs 55900d861b zaczątek 4 tahun lalu

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