value-restriction

    5Ciepło

    1Odpowiedz

    Buduję funkcję sortowania scalania, a moja metoda podziału daje mi błąd ograniczenia wartości. Używam 2 akumulujących parametrów, 2 listy wynikające z podziału, które pakuję do krotki na końcu dla pow

    5Ciepło

    1Odpowiedz

    Mam F # funkcję: let removeEven (listToGoUnder : _ list) = let rec listRec list x = match list with | [] -> [] | head::tail when (x%2 = 0) -> head :: listRec (tail) (x+1)

    5Ciepło

    1Odpowiedz

    Przeczytałem wszystkie stopnie dotyczące ograniczenia wartości w F #, ale nadal nie rozumiem tego. Mam następujący kod: type tree<'a> = | Nil | Node of (tree<'a> * 'a * tree<'a>) let rec f

    7Ciepło

    3Odpowiedz

    Jestem trochę zdezorientowany słabym polimorfizmem w OCaml. Proszę patrz poniższy fragment, gdzie mogę zdefiniować funkcję remember: let remember x = let cache = ref None in match !cache wi