hindley-milner

7Ciepło

1Odpowiedz

Hindley Milner Rodzaj Wnioskowanie w F #

Może ktoś wyjaśnić krok po kroku typu wnioskowania w następujących F # programu: let rec sumList lst = match lst with | [] -> 0 | hd :: tl -> hd + sumList tl I specjalnie chcą zobaczy

11Ciepło

1Odpowiedz

Prawidłowa forma letrec w systemie typu Hindley-Milner?

mam problemy ze zrozumieniem letrec definicję systemu HM, który jest podany na Wikipedii, tutaj: https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system#Recursive_definitions Dla mnie zasada

5Ciepło

2Odpowiedz

Algorytm W wykorzystujący schematy rekursji

Chciałem móc sformułować algorytm wnioskowania typu tylnego milnera przy użyciu typów danych punktów stałych i schematów rekursji. Pomijając wszystkie szczegół oprócz rzeczywistych części rekursji: w

10Ciepło

1Odpowiedz

Typ polecenia ciąg zawierający wyrażenie Haskella

Potrzebuję (szybki i brudny) sposób, aby uzyskać reprezentację typu wyrażenia Haskell podanego jako ciąg. I obecnie zobaczyć 3 opcje: Zastosowanie GHC API - jednak dokumentacja traci mnie dość szybko.

19Ciepło

2Odpowiedz

Zrozumienie wielościpów w Hindley-Milner Typ Wnioskowanie

Czytam artykuł z Wikipedii na temat Hindley–Milner Type Inference próbując zrozumieć. Do tej pory to właśnie zrozumiałem: Typy są klasyfikowane jako monotypy lub poliakty. Monotypy są dalej klasyfikow

6Ciepło

1Odpowiedz

Globalne wnioskowanie typu w kompilatorze Schematu Stalin

Zajmuję się kompilatorem Schematu Stalina. Jest duży i złożony. Ponadto, jeśli dobrze zrozumiałem, autor zamierzał napisać serię artykułów opisujących aspekty implementacji, ale nigdy tego nie robił.

16Ciepło

1Odpowiedz

Implementacja algorytmu oceny typu Damasa-Hindleya-Milnera

Szukam informacji o znanym Damas-Hindley-Milner algorithm do wnioskowania o typ dla języków funkcjonalnych, szczególnie informacji o implementacji. Już wiem, jak wykonać Algorithm W, ale słyszałem o o