Klausimai pažymėti „ocaml“

OCaml yra griežtai statiškai įvestas funkcinis programavimo kalba, orientuota į išraiškingumą, teisingumą ir efektyvumą.
7
atsakymai

Piktnaudžiavimas algebrinės duomenų tipų algebra - kodėl jis veikia?

„Algebrinė“ algebrinių duomenų tipų išraiška atrodo labai įtaigiai matoma matematikos srityje. Leiskite pabandyti paaiškinti, ką turiu galvoje. Pagrindinių produktų tipų apibrėžimas • Union + Singleton ...
nustatyti 08 vas '12 12:09
17
atsakymai

Kas yra funkcinis programavimas?

Kelis kartus matiau terminą „Functor“, skaitant įvairius straipsnius apie funkcinį programavimą, tačiau autoriai paprastai mano, kad skaitytojas jau supranta šį terminą. Žvelgdami atgal į internetą pateikiate pernelyg techninius aprašymus ...
nustatytas sausio 09 d '10 0:26
5
atsakymai

F # eina į OCaml

F # yra gautas iš OCaml, bet kokie pagrindiniai elementai trūksta arba pridedami? Visų pirma, aš smalsu, ar turima išteklių OCaml mokymui tiems, kurie nori mokytis F #.
nustatyti 07 spalis '08 8:21 val
5
atsakymai

Kodėl int yra OCaml tik 31 bitų?

Nematė šios „funkcijos“ kitoje vietoje. Žinau, kad 32-asis botas naudojamas šiukšlių surinkimui. Bet kodėl taip atsitinka tik ints, o ne kitiems pagrindiniams tipams?
rugsėjo 23 d '10, 1:07
9
atsakymai

Ar grynose funkcinėse kalbose yra algoritmas, kaip gauti atvirkštinę funkciją?

Grynose funkcinėse kalbose, tokiose kaip Haskell, yra algoritmas, kuriuo galima gauti atvirkštinę funkciją (redaguoti), kai ji yra bijective? Ir ar yra konkretus būdas programuoti savo funkciją?
lapkričio 15 d. '12 21:53
3
atsakymai

Kokie yra skirtumai tarp SML ir OCaml?

Kas išskiria dvi ML tarmes?
nustatykite kovo 31 d
6
atsakymai

Kodėl numatytosios Ocaml / F # funkcijos nėra rekursyvios?

Kodėl funkcijos F # ir Ocaml (ir galbūt kitos kalbos) pagal nutylėjimą nėra rekursyvios? Kitaip tariant, kodėl kalbos kūrėjai nusprendė, kad būtų gera idėja aiškiai įvesti tipą rec, kaip: tegul rec foo ... = ... ir neleiskite upės funkcijai ...
gegužės 23 d
7
atsakymai

Kodėl lengviau parašyti kompiliatorių funkcine kalba?

Aš labai ilgai galvojau apie šį klausimą, tačiau iš tikrųjų negalėjau rasti atsakymo „Google“, taip pat panašų klausimą „Stackoverflow“. Jei yra dublikatas, aš apgailestauju. Atrodo, kad daugelis žmonių sako, kad kompiliatorių ir kitų kalbos įrankių rašymas ...
gegužės 25 d. 10 val. 18:26
10
atsakymai

Ar mašina mokosi OCaml ar Haskell?

Tikiuosi Haskell ar OCaml naudoti naujame projekte, nes R yra per lėtas. Turiu sugebėti naudoti vectory pagalbines mašinas, idealiai dalijantis kiekvieną vykdymą lygiagrečiam darbui. Noriu naudoti šią funkciją ...
nustatyti 16 vas '10 - 0:04
2
atsakymai

F # vs OCaml: kamino perpildymas

Neseniai rado pristatymą apie „F #“ Python programuotojams ir, peržiūrėjęs, nusprendžiau savarankiškai įgyvendinti skruzdėlių galvosūkį.
nustatytas 24 sep. '11 13:57
3
atsakymai

Kokie yra pagrindiniai teoriniai sunkumai pridedant ML stiliaus modulius Haskell'e?

Gerai žinoma, kad Haskell stiliaus klasės stiliai ir ML stiliaus moduliai siūlo įvairius sąsajų nustatymo mechanizmus. Jie yra (galbūt) lygūs stiprumui, tačiau praktiškai kiekvienas turi savo privalumų ir trūkumų. Kadangi esu šiek tiek įtrauktas ...
balandžio 17 d '11 20:19
4
atsakymai

Koks yra pageidautinas būdas struktūrizuoti ir sukurti „OCaml“ projektus?

Kanoniškai pageidaujamas mažų ir vidutinių OCaml projektų struktūrizavimo ir valdymo būdas yra nesuprantamas naujokams ekosistemai. Suprantu ocamlc c pagrindus. - jie atspindi įprastinius UNIX C kompiliatorius, kurių pakanka ...
gegužės 10 d. 11 val. 23:50
5
atsakymai

Kokie yra tik funkcinio duomenų struktūros privalumai?

Yra daug tekstų apie duomenų struktūras ir duomenų struktūrų biblioteką. Suprantu, kad grynai funkcinė duomenų struktūra yra lengviau pagrįsta. Tačiau man sunku suprasti tikrąjį pranašumą naudojant tik funkcines struktūras ...
nustatyti 09 gruodis '10, 18:23
5
atsakymai

Ar! = Matuoja OCaml?

Atrodo, kad tai yra lygiavertiškumo palyginimas kai kuriems tipams, bet ne styginiams. # 3! = 3 ;; -: bool = false # 3! = 2 ;; -: bool = true Tai yra tikėtasi. # "odp" = "odp"; -: bool = true # "odp"! = "odp"; -: bool = true # "odp" <> "odp"; -: ...
rugsėjo 11 d '09 9:50 val
5
atsakymai

Kas iš tiesų yra veiksmingesnė? Haskell arba OCaml

Per pastaruosius 18 mėnesių praleidau kontroliuojant funkcinį programavimą, pradedant OCaml tyrimu ir keletą savaičių Haskell. Dabar noriu imtis kito žingsnio ir įdiegti tikrą programą: paprastą kraštovaizdžio redaktorių ...
nustatyti 30 lapkričio '10 0:10