ml

5Ciepło

2Odpowiedz

Wyszukiwanie plików za pomocą SML Basis

Czy istnieje sposób, aby za pomocą biblioteki SML Basis otworzyć plik w określonej pozycji? Oznacza to, że należy użyć wywołania systemu operacyjnego, aby zmienić pozycję, zamiast skanować plik i wyrz

functional-programming sml ml 2013-05-11

---

6Ciepło

4Odpowiedz

Czy istnieje standardowa funkcja wyższego rzędu do zastosowania transformacji kilka razy?

myślę o funkcję tak: > let applyN (initial : 't) (n:int) (f : 't -> 't) = seq {1..n} |> Seq.fold (fun s _ -> f s) initial;; val applyN : initial:'t -> n:int -> f:('t -> 't) -> 't > applyN 0 10 (fu

haskell f# functional-programming ocaml ml 2015-09-24

---

7Ciepło

3Odpowiedz

Słaby polimorfizm w OCaml

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

functional-programming ocaml ml value-restriction 2013-07-29

---

5Ciepło

1Odpowiedz

Przeciążanie w Ocaml

Wiem, że OCaml nie obsługuje przeciążania. Następnie, zamiast przeciążać, co możemy zrobić, aby to obrobić? 1) zamiast tego użyj polimorfizmu? 2) podać różne funkcje różnych nazw? 3) umieścić funkcje

ocaml overloading ml 2012-05-08

---

8Ciepło

1Odpowiedz

Drukowanie tylko wydruku za pomocą SML/NJ

Próbuję użyć SML/NJ i używam sml < source.sml do uruchomienia kodu, ale drukuje on za dużo informacji. Na przykład, jest to source.sml: fun fac 0 = 1 | fac n = n * fac (n - 1) val r = fac 10 ;

sml smlnj ml 2015-05-14

---

5Ciepło

1Odpowiedz

Czy mogę używać programu Gambit-C, Mlton lub kurczaka za pomocą klienta natywnego firmy Google

Te kompilatory języków funkcyjnych mogą kompilować język funkcyjny do kodu C. Zestaw SDK NaCl firmy Google może kompilować C. Czy rozsądne jest tworzenie aplikacji klienta natywnego przez kompilację n

functional-programming scheme ml google-nativeclient 2013-05-07

---

31Ciepło

1Odpowiedz

subsumcji w polimorficznych typów

W ‘Practical type inference for arbitrary-rank types’ autorzy mówią o subsumcji: próbuję przetestować rzeczy GHCi jak czytam, ale mimo g k2 ten służy do typecheck, nie robi” t, gdy próbuję z GHC 7.8.3

haskell types ml 2014-11-07

---

13Ciepło

3Odpowiedz

Czy operator SML `o` jest użyteczny tylko w przypadku funkcji pojedynczego argumentu?

Czy operator kompozycji() (np. val x = foo o bar, gdzie foo i bar są obie funkcje), możliwe do użycia tylko w funkcjach jednoargumentowych i/lub funkcjach z równą liczbą argumentów? Jeśli nie, jaka je

sml smlnj ml 2013-02-04

---

5Ciepło

4Odpowiedz

Funkcje dopasowywania wzorów w OCaml

Czy każdy może mi wytłumaczyć ten fragment kodu? let safe_division n = function | 0 -> failwith "divide by 0" | m -> n/m Kiedy excute safeDiv 3 0, co jest m i n w tym przypadku? W ogólnym przypadk

functional-programming ocaml ml 2013-05-17

---

32Ciepło

1Odpowiedz

Jeśli SML.NET ma funktory, dlaczego nie może F #?

Pytanie to rozpoczęła się z My tłumaczeniu "ML for the Working Programmer" (WorldCat) L. C. Paulson do F #, który wykorzystuje funktory w przykładach. Ostateczne pragnienie przetłumaczenia "Purely Fun

f# ocaml sml functor ml 2013-02-08

---