Klausimai, pažymėti „referenciniu skaidrumu“

Funkcijos, kintamojo arba išraiškos savybė, kuria išraiška gali būti pakeista jos (apskaičiuota) verte, nedarant įtakos programos elgesiui.
13
atsakymai

Kas yra referencinis skaidrumas?

Ką reiškia terminas „skaidrumas“? Aš girdėjau, kad tai apibūdinama kaip „tai reiškia, kad jūs galite pakeisti lygiaverčius vienodus“, bet tai atrodo nepakankamas paaiškinimas.
nustatyti 17 okt. '08 4:27
7
atsakymai

Ar Haskell iš tikrųjų yra grynai funkcinė kalba, turint omenyje nesaugus saugumą?

Haskell paprastai vadinamas grynai funkcinės kalbos pavyzdžiu. Kaip tai galima pateisinti atsižvelgiant į System.IO.Unsafe.unsafePerformIO egzistavimą? Redaguoti: aš maniau, kad su „grynai funkcionaliu“ tai reiškė, kad neįmanoma įvesti nešvaraus kodo į ...
birželio 26 d. 19:25
5
atsakymai

Švarus ir sąsajos skaidrumas

Atrodo, kad terminai yra apibrėžti kitaip, bet aš visada galvoju apie tai, ką reiškia kitas; Aš negaliu galvoti apie vieną atvejį, kai išraiška yra nuoroda, bet ne švari, arba atvirkščiai. Vikipedija palaiko atskirus straipsnius ...
01 Feb rinkinys '11 20:06
7
atsakymai

Ar Haskell tikrai švarus (ar yra kokių nors kalbų, susijusių su įvedimu ir išvestimi už sistemos ribų)?

Ar ši funkcija iš tikrųjų daro kalbą švarią, ar tai tik dar viena „išeiti iš žemėlapio be kalėjimo“, kad būtų galima pagrįsti realias pasaulio kompiuterines sistemas, o ne tik valdybos matematiką? Redaguoti ...
birželio 25 d., 14 val
5
atsakymai

Ar Haskell turi kintamųjų?

Aš dažnai girdėjau, kad Haskell neturi kintamųjų; visų pirma šis atsakymas patvirtina, kad taip nėra, ir ji buvo palaikoma mažiausiai devynis kartus ir priimta. Ar jis turi kintamųjų ar ne, ir kodėl? Šis klausimas taip pat atrodo ...
birželio 14 d. 19:15
9
atsakymai

Ar yra kokių nors grynai funkcinių grandinių ar papildų?

Aš grojau su keliomis funkcinėmis programavimo kalbomis ir iš tiesų mėgausi s-expr sintakse, kurią naudojasi „Lisps“ (ypač „Scheme“). Taip pat matau naudą dirbant grynai funkcine kalba. Todėl: Ar yra kokių nors ...
gegužės 23 d., 10 val
2
atsakymai

Užtrauktuko tipo duomenų struktūra su daugiau nei vienu žymekliu

„Zipper“ duomenų struktūra yra puiki, kai norite kirsti medį ir išsaugoti dabartinę padėtį, bet kokia duomenų struktūra turėtų būti naudojama, jei norite stebėti daugiau nei vieną poziciją? Leiskite paaiškinti pavyzdžiais: Kažkas iš kanalo ...
nustatyti 09 rug. '10, 2:54
3
atsakymai

Kodėl veiksmai getArgs ir getProgName IO?

Aš esu pilnas naujokas, kuris šiuo metu bando mokytis Haskello su pažintimi apie Haskellą už gerą gerą vardą. ..
nustatė sausio 12 d '13, 19:56
7
atsakymai

Tipo išvada trukdo referenciniam skaidrumui

Kokie yra tikslūs pažadai / garantijos, kad „Haskell“ numato referencinį skaidrumą? Bent jau Haskell ataskaitoje ši sąvoka nenurodyta. Apsvarstykite išraišką (7 ^ 7 ^ 7`mod`5`mod`2) Ir aš noriu žinoti, ar tai tikrai išraiška ...
lapkričio 19 d. '14, 17:56
1
atsakymas

Skaidrumo perteikimas Haskell polimorfizmu

Tarkime, aš turiu funkciją: f :: Int -> (Rational, Integer) fb = ((įRational b) +1, (toInteger b) +1) Noriu nukreipti (+1) tokį: f :: Int -> (Rational, Integer) fb = (h (į b), h (į b)), kur h = (+1) Tai neveikia ...
14 vasario mėn. '13, 3:16
3
atsakymai

Atsitiktinių skaičių sekos Haskell

Modeliavimui reikalingi nedideli Gauso atsitiktinių skaičių sąrašai, todėl bandžiau: importuoti Sistemą. 2 * pi * r2) Tai ...
nustatytas sausio 21 d '10, 18:44
2
atsakymai

Kaip sugauti (ir ignoruoti) klaidos funkcijos skambutį?

Esu nustebęs, kad negalėjau rasti atsakymo į visa tai. Aš rašau roguelike, ir aš naudoju ncurses biblioteką nuo įsilaužimo, kuris yra gana geras įvyniojimas aplink ncurses biblioteką. Dabar „ncurses“ turi šią sielą, kur bandote rašyti ...
lapkričio 22 d. '10 10:14
2
atsakymai

Funkcijų skambučių optimizavimas Haskell

Nežinote, kas tiksliai yra „Google“ šiam klausimui, todėl išsiųsiu jį tiesiai į „SO“: „Haskell“ kintamieji nekintami. Grynosios funkcijos turi paskatinti tas pačias vertybes tiems patiems argumentams.
gegužės 22 d. 11 val
2
atsakymai

„įvesti“ pažangos stebėjimą / sekimą „haskell“ skaičiavimuose?

Aš renku konkrečią užduotį, kad galėčiau parodyti tai, ką sakiau, sakydamas, kad norėjau rasti visų didelio skaičiaus veiksnių sumą naiviai - patikrindamas kiekvieną jo numerį, jei tai buvo veiksnys, tada juos sudėjus. Būtina programos kalba ...
birželio 25 d. 13 val
3
atsakymai

Kaip funkcinės kalbos modeliuoja šalutinį poveikį?

Kadangi šalutinis poveikis pažeidžia referencinį skaidrumą, ar jie neprieštarauja funkcinėms kalboms?
nustatyti spalio 03 '10, 18:31