Quest Ladder
TeachFORGE.ai
Quest Ladder / Eelvaade ja kontroll
Eelvaade, uued näited ja renderdamise kontroll
Vaata, mida õppija tegelikult saab, mitu korda, enne kui keegi teine seda näeb.
Tüüp, mida sa ei ole näidistanud, on tüüp, mida sa ei ole kirjutanud.
Eelvaade ja täpsustamine
Ülevaatuse etapp avaneb Eelvaade ja AI täpsustamine: sinu tüübi tõeline genereeritud instants, renderdatud nii, nagu õppija seda näeks.
- Värskenda eelvaadet renderdab praeguse näidise uuesti pärast muudatust.
- Uued näited võtab näidiseks värsked väärtused, nii et näed teistsugust versiooni. Seda märgistatakse kui Näide 1, Näide 2 ja nii edasi.
- Lüliti vahetab märgendatud malli ja lahendatud eelvaate vahel, mis vastab õpilase vaatele.
Vajuta Uued näited vähemalt viis korda, enne kui avaldad midagi parametrilist. Halvad kombinatsioonid peituvad: jagamine, mis tuleb välja täisarvuna neli korda ja kohmakana viiendal, diagramm, mis kattub ainult, kui kaks muutujat on mõlemad suured. Üks näidis ei tõesta midagi.
Renderdamise kontroll
Renderdamise kontroll kontrollib, et iga osa tüübist tõesti joonistub: LaTeX kompileerub, diagramm renderdub, graafikul on andmed, mitte ükski plokk ei ebaõnnestu. Märgis annab teada ühest neljast olekust.
| Märk | Tähendab |
|---|---|
| Kontrollitud — puhas | Kõik renderdus. |
| Vajab uut kontrolli | See oli puhas, siis muutsid midagi. Käivita see uuesti. |
| {{count}} renderdusviga | Midagi ei joonistu. Nimekiri ütleb, mis. |
| Veel kontrollimata | Seda ei ole kunagi kontrollitud. |
See on värav, mitte hoiatus. Avaldamine on keelatud, kuni vead püsivad, ja kontroll ütleb, miks: paranda renderdamise kontrolli vead enne avaldamist.
Mis vead tavaliselt on
Kolm põhjust katab enamiku neist.
- LaTeX või TikZ avaldis süntaksiveaga, tihti eksitud sulu tagajärjel pärast muudatust.
- Märgend, mis viitab muutujale, mis on vahepeal ümbernimetatud või kustutatud, nii et mitte midagi ei lahenda.
- Diagramm, mille koordinaadid tulevad muutujatest, mis võivad tekitada degenereerunud juhtumi — kolmnurk, millel ei ole pindala, graafik, millel ei ole vahemikku.
Kolmas on see, mida jälgida, kuna see läbib enamiku näidiseid. Kontrollimiskäivitus, mis näidistab mitut väärtuste komplekti, on see, mis leiab selle, ja see on täpselt see viga, mida õppija kohtaks üks kord kahekümnest.
Märgi valmis
Märgi valmis seab oleku avaldatuks, kui sa oled näidistatud eelvaatega rahul. See on hetk, kui tüüp muutub loetletud ja määratavaks — vaata Avaldamine, avaldamise tühistamine ja täielikkuse märgised selle kohta, mida see muudab.