Klausimai pažymėti „sml“

Standard ML yra aukšto lygio funkcinė kalba su išvesties tipu.
3
atsakymai

Kokie yra skirtumai tarp SML ir OCaml?

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

Haskell arba Standard ML pradedantiesiems?

Aš mokysiu žemesnio lygio kursą diskretiškose struktūrose. Iš dalies pasirinkau knygą „Diskretinės struktūros, logika ir skaičiavimas“, nes jame yra pavyzdžių ir koncepcijų, palengvinančių įgyvendinimą su funkcine programa ...
gegužės 1 d., 09:31
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
9
atsakymai

Paaiškinimas, kaip suderinti prieš jungiklį

Aš stengiuosi paaiškinti skirtumą tarp jungties ir modelio atitikimo (F #) su keliais žmonėmis, bet aš tikrai negalėjau to gerai paaiškinti. Daugeliu atvejų jie tiesiog žiūri į mane ir sako: „Kodėl tu tiesiog nesinaudojate ...
14 val. '08 6:22
1
atsakymas

SML-NJ, kaip sukurti atskirą vykdomąjį failą

Aš pradedu mokytis standartinio ML, o dabar bandau naudoti standartinį New Jersey ML kompiliatorių. Dabar galiu naudoti interaktyviąją kilpą, bet kaip galiu rinkti šaltinio failą į atskirą vykdomąjį failą? Pavyzdžiui, C galite ...
nustatyti 19 Vas '11 22:55
1
atsakymas

Standartinių ML modulių kodavimas OO

Modulio modulis ML veikia kaip aukšto lygio ženklas, patvirtinantis duomenų abstrakcijos programavimo kalbą. Tačiau iš išorės atrodo, kad ji gali būti lengvai koduojama į objektą orientuota kalba, kuri palaiko abstrakčius elementus ...
nustatytas balandžio 11 d '14, 11:06
2
atsakymai

Koks skirtumas tarp standartinės ML modulinės sistemos ir OCaml modulių sistemos (jei yra)?

Mano klausimas yra, ar yra skirtumas tarp standartinės modulinės ML sistemos ir OCaml modulio sistemos? Ar OCaml palaiko funkcinius, prenumeratos ir tt ... ką turi SML?
nustatyti kovo 23 d
1
atsakymas

Jei SML.NET turėjo funkcijų, kodėl F #?

Šis klausimas prasidėjo su mano vertimu „ML darbui programuotojui“ (WorldCat) iš LC PAULSON į F #, kuris naudoja pavyzdžių pavyzdžius. Galimas noras išversti Chriso Okasakio grynąsias funkcines duomenų struktūras (WorldCat), kurios ...
nustatyti 08 vas '13, 19:56
5
atsakymai

Ar gero tipo sistemos gali atskirti matricas skirtingose ​​bazėse?

Mano programoje (Hartree-Fock / iterative SCF) yra dvi F ir F matricos, kurios iš tiesų yra tos pačios matricos, išreikštos dviem skirtingomis bazėmis. Aš tiesiog neteko trijų valandų derinimo, nes atsitiktinai naudodavau F 'vietoj F. C ++, tikrintuvo tipas nėra ...
gegužės 1 d. 11 d. 21:24
1
atsakymas

Tipo apibrėžimo augimas SML, naudojant Hindley Milner tipo išvadą

Kažkada man parodė šiek tiek „apgauti“ SML, kur jie parašė apie 3 ar 4 funkcijas savo REPL, o gautas tipas paskutinei vertei buvo labai ilgas (kaip ir daugelis puslapių slinkimo). Ar kas nors žino, koks kodas generatorius yra ...
nustatytas vasario 27 d '14, 9:22
6
atsakymai

ML IDE ir kompiliatorius „Windows“ arba „Linux“ arba „Mac“

Turiu rašyti kodą ML, ir tai yra mano pirmas kartas, kai naudosiu šią kalbą. Ar yra standartinė ML plėtra? (pageidautina pagal „Windows“). Aš bandžiau googling (ir stackOverFlowing!), Bet viskas, ką radau, buvo paprastas kompiliatorius ...
nustatytas sausio 10 d '10, 13:46
1
atsakymas

įspėjimas ML

Ar kas nors gali paaiškinti, ką tai reiškia? stdIn: 18.35 Įspėjimas: skambinant „polyEqual“ ir kodėl turiu „a“, ne „a“ šioje formuluotėje: val jubaVisited = fn: '' a * '' sąrašas -> bool yra funkcija: jau linksma (...)
01 gr. '10 12:00 val
4
atsakymai

Funkcinis plotis Pirma paieška

Pirmosios paieškos funkcinis gylis orientuotas į aciklinius grafikus. Tačiau grafikuose su ciklais, kaip išvengti begalinės rekursijos? Aš pažymėčiau taškus apie procedūrinę kalbą, kai nukentėsiu, bet leiskite pasakyti, kad negaliu to padaryti ...
gegužės 26 d. 15 val
2
atsakymai

Kokios yra tipo išvados ribos?

Kokios yra tipo išvados ribos? Kokios sistemos neturi bendrosios išvesties algoritmo?
nustatyti 09 rug. '09 15:01
3
atsakymai

Ar yra Haskell / ML tipo kompiliatorius C?

Diagramoje žmonės sukūrė „iPhone“ žaidimus, nes (kai kurie) schemų kompiliatoriai kompiliuoja į „C“, lengva maišyti su „Objective-C“ ir integruoti su „Xcode“. Aš žinojau „Haskell“ ir „OCaml“ kompiliatorių pataisas, kad būtų galima naudoti ARM / iOS backends. Bet jie atrodo ...
nustatytas sausio 18 d '11 12:27