Arutelu:Dafny

Tänan asjaliku artikli eest! Lisan mõne kommentaari. Võib tunduda, et neid on palju, aga enamik käivad üsna väga väikeste asjade kohta.

• Soovitan sul artikli teksti endale kõva häälega ette lugeda: nii leiad üles konarlused, mis praegu tekstis on. Toon edasises tagasisides ka mõne näite.
• Ilmselt on aga praegu suurim murekoht, et artiklist on viiteid puudu. Viide peab olema vähemalt iga lõigu lõpus ja ka ühegi üksiku lause puhul ei tohi tekkida küsimust, kust see pärineb. Mõistan, et oled aluseks võtnud ingliskeelse artikli ja seal on mõni viide puudu, aga ehk leiad praegu viiteta olevatele tekstiosadele muud allikad.
• Veel viidetest
  • Palun märgi numbriviide lõiku, mitte pealkirja.
  • Palun täpsusta esimese lõigu viide: praegu on enne punkti 3 ja pärast 4.
  • Vaata üle lõpuviited. Seal on mõni viiteelement (nt internetiallikate vaatamise aeg) puudu; viiteelementide kirjutamisviisi peaks ka ühtlustama ja parandama (nt kuidas vormistada autorite nimed). Vaata lähemalt eri tüüpi viidete kohustuslikke elemente Vikipeedia viitamisreeglitest.
  • Sõna „kuni“ asendamiseks on vaja pikka kriipsu: – (mitte kahte sidekriipsu). Ka viimasesse viitesse sobib mõttekriips.
• Välislinke (st neid, mis viitavad Vikipeediast väljapoole) ei tohiks teksti sees olla. Kui soovid Vikipeediast väljas asuvale lehele viidata, võid selleks teha artikli lõppu eraldi alajaotuse „Välislingid“. Selle kohta on rohkem kirjas siin.
• Ingliskeelsed sõnad (aga mitte nimed) peaksid tekstis olema kaldkirjas. Kui brändi, firma, inimese vmt nime lõpu hääldus ei erine kirjapildist, pole ülakoma vaja; kui erineb, siis käänatakse ülakomaga (nt Apple’i). Sidekriipsu pole enamasti vaja, seda kasutatakse vaid siis, kui tegu on suurtähtlühendiga. Palun tee sellest tulenevalt artiklis parandused. Rohkem infot ja näiteid on keelenõuvakas.
• Käänama peab ka kõiki võõrkeelseid sõnu, brändinimesid jne seal, kus sa tavalisi eestikeelseid sõnugi käänaksid. Praegu on mitmes kohas käändelõpp puudu.
• Märgi ka üksikud muutujad (x ja y) tekstis kaldkirjas.
• Väldi üleliigset saava käände kasutamist (nt „loojaks on…“). Saava käände kasutamine pöördsõna olema laiendina sobib vaid siis, kui tegu on ajutise või juhusliku olekuga. Vt keelenõuvakka.
• Palun kasuta sõna „error“ asemel eestikeelset vastet „viga“ (vt siit).
• „mida teatakse kui kaudselt dünaamilisete raamidena“ – siin on praegu kordus: mida teatakse millena või mida teatakse kui mida
• „Tüüpe on vaja kirjutada igale parameetrile kui ka tagastatavale väärtusele ja järgnevad igale nimele peale koolonit (:).“ – mis järgnevad?
• „See koosneb väidete seeriast, näiteks tingimuslaused, tsüklid, teiste meetodite kutsed jne.“ – näiteks millest?
• „Määramised ei kasuta mitte ’=’ vaid ’:=’ ja võrdusi näidatakse ’==’“ – „vaid“ ees koma. Ei kasuta milleks?
• „Kõige tavalisem viis märkida meetodit on eeltingimused (requires) ja posttingimustega (ensures)“ – millega? Paranda ka sõnajärge: „Kõige tavalisem on meetodit märkida…“
• „Peale väite võtmesõna ’assert’ järgneb tõeväärtus ja semikoolon.“
  • „võtmesõna ’assert’“ – kuna see sõna peab nagunii kaldkirja minema, pole ülakomasid vaja. Ka muidu ei kasutata sõna esiletõstmiseks tekstist ülakomasid, vaid jutumärke.
  • Millele järgneb? (sel juhul sõna „peale“ ülearune)
• „Dafny tagastab, et see meetod on tõene, kuna kaks on alati väiksem kolmest.“ – tagastab mille?
• Kui märgid siselingi, siis peab sellesse olema hõlmatud kogu sõna, sh käändelõpp.
• Kõik laused peavad olema täielikud, sh kõik elemendid peavad olemas olema. Lauses „Esimesena ilmus aastal 2009 ja stabiilne versioon aastal 2017“ ei ole alust – mis ilmus?
• Väldi sina-vormi.
• Sõna „vajalik“ mitmuse osastav on „vajalikke“ (kahe „k“-ga).

Kui oled kommentaaride põhjal parandused teinud, anna palun siinsamas arutelulehel teada. Edu!

---

Õppeassistent --Kairijan (arutelu) 20. november 2018, kell 09:55 (EET)

---

Muutsin nii palju kui oskasin. -- Morliin 30. november 2018, kell 15.36 (EET)

---

Suur tänu tehtud paranduste eest. Mul on siiski veel mõni kommentaar ja küsimus.

• "Kõige lihtsam viis alustamiseks on kasutada rise4fun" – palun täpsusta, mis see rise4fun on.
• Määramised ei kasuta mitte "=", vaid ":=" ja võrdusi näidatakse "==" – palusin sul juba eelmises tagasisides täpsustada, milleks määramised neid märke kasutavad või ei kasuta.
• Palun hoia artiklis neutraalset tooni (vrd praegu „tõeliselt eriliseks“). Pea silmas, et tegu on entsüklopeediaartikliga.
• Kas „posttingimuste“ asemel võiks kirjutada ka „järeltingimused“?
• Tundub, et praegu on üle vaatamata jäänud ka lõpuviited. Need peaksid kindlasti korda saama. Seal on mõni viiteelement (nt internetiallikate vaatamise aeg) puudu; viiteelementide kirjutamisviisi peaks ka ühtlustama ja parandama (nt kuidas vormistada autorite nimed). Vaata kindlasti eri tüüpi viidete kohta Vikipeedia viitamisreeglitest.
• Ehk leiad ka praegu viiteta olevatele üksikutele lausetele viited?

Edu!

Õppeassistent Kairijan (arutelu) 30. november 2018, kell 18:32 (EET)