Klausimai pažymėti „gyvsidabris“

Gyvsidabris yra grynai deklaratyvi loginė funkcinė kalba. Ji turi stiprią, statinę, polimorfinę tipo sistemą, taip pat stipriąsias determinizmo sistemas ir sistemas. Tipo sistema yra panaši į „Haskell“ sistemą, o sintaksė - „Prolog“.
6
atsakymai

Kokius kitus būdus galite valdyti vien tik funkcine kalba, išskyrus „Monad“?

Taigi, aš pradėjau apkabinti Monadą (naudojamas Haskell). Man įdomu, kad kiti įvesties ar išvesties ar valstybės metodai gali būti apdorojami grynąja funkcine kalba (tiek teoriškai, tiek iš tikrųjų). Pavyzdžiui, yra loginė kalba, kurią vadiname ...
lapkričio 24 d. '12 2:15
4
atsakymai

Kuris yra įdomesnis ar galingesnis: karis, gyvsidabris arba lambda-prologas?

Norėčiau paklausti jūsų, kokia oficiali sistema gali būti įdomesnė įgyvendinti nuo nulio / grįžtamojo inžinieriaus. Pažvelgiau į kai kuriuos esamus ir atvirus loginių / deklaracinių programavimo sistemų projektus. Nusprendžiau kažką daryti ...
birželio 1 d., 10 val
1
atsakymas

Kaip „Rust“ nuosavybės semantika susijusi su unikaliu spausdinimu „Clean“ ir „Mercury“?

Pastebėjau, kad „Rust“ judesys taikomas „lvalues“, ir statiškai taikomas, kad nenaudojami perkelti objektai. Kaip šie semantika yra susiję su unikaliu rašymu, rastu „Pure“ ir „Mercury“? Ar tai ta pati sąvoka? Jei ne, tada ...
nustatyti spalio 11 d. '14 ne 1:43
2
atsakymai

Naudingiausia ir mokomoji funkcinės logikos kalba.

Buvau labai sužavėtas Prologo galia. Prireikė šiek tiek laiko, kad galvos žemyn, bet man tai buvo paprasčiausia deklaratyvi kalba. Štai kodėl neseniai po dvejų metų funkcinio programavimo su „Scala“ nusprendžiau sno ...
liepos 16 d. 13 val
3
atsakymai

Ar kuri nors „Prolog“ versija palaiko didesnę užsakymo bateriją?

Man buvo įdomu apie „Prolog“, kuris galėtų apimti tokį skambutį: acc (generatorius, filtras, akumuliatorius) Apskaičiuoja visus sprendimus generatoriui. Kiekvienam iš jų, jei galima įrodyti filtrą, įrodomas akumuliatorius. Atgalinės nuorodos, kad surastumėte visus ...
nustatyti 17 okt. '13, 15:40
1
atsakymas

Kokie yra tipai, vedantys į logines programavimo kalbas, pvz., „Mercury“?

Aš pradedu žiūrėti į Mercury kalbą, kuri atrodo labai įdomi. Aš esu naujas loginis programavimas, bet gana patyręs su funkciniu programavimu Scala ir Haskell. Vienas dalykas, apie kurį galvojau, kodėl jums reikia tipų ...
nustatytas balandžio 11 d '14, 13:51
3
atsakymai

Gyvsidabris: kaip deklaruoti aukštesnio lygio duomenų tipo determinizmą?

Kai aš suskaičiuoju žemiau pateiktą Mercury kodą, šią klaidą gaunu iš kompiliatoriaus: išlyga „main (di, uo)“: 1 argumente `/ * ...
rugsėjo 11 d '11 21:46
3
atsakymai

IDE arba redaktorius su gyvsidabrio palaikymu

Ar yra IDE arba redaktorių, kurie palaiko Mercury be emacs?
birželio 14 d. 11 val
1
atsakymas

Gyvsidabris: determinizmas ir modelių atitikimas

Turiu pusiau deterministinę funkciją. Kai perrašau jį, kad galėčiau naudoti modelio atitikimą, o ne teiginį, „Mercury“ sako, kad jis tampa ne deterministiniu. Norėčiau suprasti, kodėl. Pradinis kodas: - pred nth (sąrašas (T), int ...
rugsėjo 19 d '11 8:35
1
atsakymas

Gyvsidabrio įrengimas

Aš jau atsisiunčiau Mercury 11.07.1 iš http://www.mercury.csse.unimelb.edu.au/download/release.html ir taip pat įdiegsiu cygwin į „Windows 7“ kompiuterį. Tačiau aš nežinau, kaip įdiegti gyvsidabrį. Ar kas nors gali man padėti diegimo vadove?
gegužės 09 d., 12 val
3
atsakymai

Gyvsidabrio ADT savybės

Mėgstu, kodėl Merkurijus (10.04) negali nustatyti sekančio fragmento determinizmo :: - pred load_freqs (int :: in, io.res (sąrašas (plūduriuojanti)): išeiti, io :: di, io :: uo) yra det . load_freqs (CPU, ResFreqs,! IO): - open_input (cpu_fn (CPU, „available_frequencies ...“)
Nustatyta liepos 29 d. 10 val. 9:31
1
atsakymas

Kas yra geras duomenų tipas, kuris atspindi savavališkus dvejetainius duomenis?

Noriu nuskaityti disko duomenis iš disko ir išsaugoti gyvsidabrio kintamajame. Pasak eilutės bibliotekos, stygos neleidžia įdėti nulinio baito ir saugo UTF-8 koduotą turinį, todėl nemanau, kad jis veiks. Geriausia, kad aš ...
Nustatykite gegužės 11 d., 12 val
1
atsakymas

Mums reikalingas rašto gyvsidabrio sintaksės pavyzdys

Aš esu naujas gyvsidabris ir bandau suvynioti galvą aplink įrašymo sintaksę, tačiau „Reference Guide“ yra vienintelė vieta, į kurią į ją patekau, ir palieka mane sugluminti: terminas ^ laukas1 (Arg1) ^ laukas2 (Arg2, Arg3) atitinka 2 lauką (Arg2, Ar ...
nustatyti 31 d. '15, 8:04
1
atsakymas

Ar algoritminiai predikatai yra palaikomi Mercury?

Aš esu labai naujas gyvsidabrio ir loginis programavimas apskritai. Neradau panašaus dokumento ar pavyzdžių skaičiaus pavyzdžio ... Paimkite predikato pavyzdį :: - pred diffThirtyFour (float, float). : - režimas diffThirtyFour (in, out) yra det. dif ...
gruodžio 19 d '17, 7:39
3
atsakymai

Kaip patikrinti, ar „Mercury“ yra sukurtas kintamasis

Aš esu pilnas naujokas gyvsidabrio kalba, nors ir anksčiau mokiausi Prolog. Vienas iš naujų gyvsidabrio aspektų yra determinizmas. pagrindinė funkcija turi būti deterministinė. Norėdami tai padaryti, turiu patikrinti, ar kintamasis yra sujungtas / susietas ...
spalio 16 d. '16 - 0:41