ocaml

7ısı

2cevap

Ocaml'de `map` boyutunu nasıl bulabilirim? Modül oluşturmak için `Map.Make` functor kullanıyorum?

Resmi belgelerde size veya len işlevini bulamadım. Ne kullanılarak oluşturulan bir harita öğe sayısını bulmak için basit bir yoludur: module M = Map.Make(String) Ben M.size M.empty : 0 gibi bir şey ar

ocaml 2017-08-17

---

5ısı

2cevap

OCaml değişkeni `#` ile başladığında ne anlama gelir? (hash işareti/pound işareti)?

Ben başlarında kodunda source | {call_name = #bundle_source; _ }, bundle_source bir tip (type bundle_source = ...) olarak tanımlanan bir desen maçında bu genelinde cam. Peki, karma işareti ne anlama g

types functional-programming pattern-matching ocaml 2017-05-15

---

5ısı

1cevap

Ocaml'deki genişletme türleri

Ocaml'da'u takip eden ücretsiz bir kitap kütüphanesi yazmaya çalışıyorum ama bir noktada, hoistFree uygulamasında takılıyorum. hoistFree :: Functor g => (forall a. f a -> g a) -> Free f b -> Free g b

haskell ocaml monads free-monad 2016-09-10

---

1ısı

1cevap

OCaml

'da bir tür döndürme İki liste eklemeyi denedim, ancak türlerini kullanmayı düşündüm. type x = int list; let add (elem1 : int) (elem2 :int) = elem1 + elem2;; let add2Lists (a : x) (b : x) =

ocaml 2016-04-14

---

5ısı

2cevap

OCaml'de bir dizi yineleme fonksiyonunu 2 dosyaya bölmek mümkün mü?

Bir dizi özyinelemeli işlev içeren çok uzun bir dosyam var. Özyineleme gereklidir ve kod da etkilidir. Ancak daha iyi okunabilirliğe sahip olmak için dosyayı 2 veya daha fazla dosyaya bölmek istiyorum

recursion makefile ocaml 2016-04-21

---

10ısı

1cevap

Ocaml'de test odaklı geliştirme nasıl yapılır?

Herşeyin başlığında olduğunu düşünüyorum ama için özel arıyorum: ocaml içinde "standart" birim test çerçevesi nedir? Yürütme testlerini yapıya nasıl eklerim? Her dosya değişikliğinde otomatik olarak n

tdd ocaml 2016-04-24

---

5ısı

1cevap

OCAML Derinlik-İlk Arama

OCaml'da bir eğitim yapıyorum (bana neden sorma, sadece dil bilgimi genişletmeye karar verdim, sanırım) ve ben nerede olduğumu anladım. grafiklerle çalışmak. Öğretici bana, iyi bir şekilde uygulayabil

ocaml depth-first-search 2016-04-29

---

8ısı

2cevap

Bu F #/OCaml "eşleşmesi" ifadesi neden derleniyor?

Bu kod OCaml yanı sıra F # gayet derler: let testmatch k = match k with | jqk3jtl23jtlk123 -> true Ben FSI ve Utop hem de test ettik. Her zaman true döndürür. jqk3jtl23jtlk123 tamamen rast

f# pattern-matching ocaml 2017-09-15

---

5ısı

1cevap

Durum Monadının CPS sürümünde nasıl çalışır?

Genel olarak bu tutorial'u takip ederek devam etmeyi anlamaya çalışıyorum. Ancak, bölüm 2.10 aşağıdaki örnek anlamak için güçlük çekiyorum: # let get() = shift (fun k -> fun state -> k state stat

haskell ocaml continuations state-monad delimited-continuations 2017-06-14

---

5ısı

1cevap

Reason's cons (: :) operatörü nerede?

Cons (::) operatörü, 1) OCaml ve benzer dillerdeki yinelemeli liste işlevlerinin yazılması ve 2) listelerde desen eşleştirmesinin temel bir parçasıdır. eksileri operatör için bir yedek Reason # let my

pattern-matching ocaml cons reason 2016-05-18

---