kateveni@Shasta (05/06/84)
From: Manolis Katevenis <kateveni@Shasta> Hthela na scholiasw dyo apo tis polles kai chrisimes prosfates protaseis tou Baggeli Miliou panw sto programma spoudwn H/Y tis Kritis: HY100 -- Eisagwgi: Nomizw oti o Baggelis echei dikio pou fobatai tin BASIC, ektos mono an i chrisi tis einai poly ligi, eidiki, kai prosechtiki. H idea autou tou mathimatos einai (toulachisto sto diko mou myalo) oti didasketai sto prwto examino tou prwtou etous, molis oi foitites prwto-mpainoune sto Panepistimio, kai einai eisagwgiko GENIKA ston tomea tis Pliroforikis kai OCHI eidika ston programmatismo. Etsi, i diki mou idea einai na min didaskei kan programmatismo, H na didaskei mono liges basikes idees twn "glwswn typou von Neumann" (kai pithana kai allwn...): assignments, if's, loops, read/write. Ean i BASIC (tin opoia gia na eimai eilikrinis den xerw) einai katallili gia kati toso aplo, tote isws na mporei na chrisimopoiithei prosechtika gia auto to skopo. Pros theou omws, den theloume ton kosmo na archisei na programmatizei me goto's kai ta toiauta! Genika, egw eicha sto nou mou ta exis san periechomeno autou tou mathi- matos: -- psifiaka "versus" analogika systimata -- psifiaka logika kyklwmata, psifiaki mnimi -- i ennoia tis pliroforias -- i ennoia tou algirithmou san "syntagi epexergasias plirofor" -- i idea tis architektonikis von Neumann (entoles kai dedomena, mnimi kai epexergastis, akolouthiaki ektelesi entolwn) -- idees allwn architektonikwn -- idees glwswn antistoiches me tis architektonikes -- (interpretation versus compilation ?????) -- genikwteri organwsi ypologistwn: diskoi, termatika, diktya -- archeia kai systimata archeiwn (file systems) -- leitourgika systimata kai praktiki chrisi ypologistwn -- editors, diktya, ilektroniko tachydromeio -- koinwnika themata Ypologistwn/Pliroforikis H idea mou einai oti programmatismo tha mathainoune sto deutero ma- thima (HY 140), se PASCAL, me emfasi se kali archiki schediasi, kali tekmiriwsi (documentation), kali domi (structured programming), klp. HY240 -- Domes Dedomenwn (kai Algorithmoi) O Baggelis proteinei na chrisimopoiithei i LISP san glwsa pragmato- poiisis. Dierwtomai omws pws mporei na ginei auto. Genika, i entypwsi pou echw parei opote chrisimopoiisa LISP (den mporw na ischyristhw bebaia oti xerw ola ta mystika tis) einai oti pragmatopoiei gia ton christi kamposes poly omorfes domes dedomenwn KATA MAGIKO TROPO: KRYBEI apo ton christi ena swro leptomereies tis pragmatopoiisis gia na tou kanei tin zwi eukloteri (kai en genei tou tin kanei...). Etsi, diafora pragmata opws katanomi mnimis, synthesi listwn, psaximo kai anagnwrisi symbolwn, klp sumbainoun automata kai magika! Einai poly kali loipon gia kapoion pou thelei na ta chrisimopoiisei auta gia na kanei kapoia alli douleia, ochi omws kai gi' auton pou thelei na ta mathei pws einai kai pws douleuoun, afou i LISP ta KRYBEI! Egw, san christis tis LISP p.ch., DEN xerw pws akribws anaparistanei tis listes, ta symbola, tous arithmous, tis seires charaktirwn (strings), pws einai o pinakas twn symbolwn tis -- aisthanomai na pataw panw s' ena edafos pou den to xerw kala. Kai mia erwtisi akoma: stin LISP mporw na echw enan POINTER kai na ton chrisimopoiisw se kati? H mechri twra entypwsi mou einai oti oi pointers einai mystiko tis pragmatopoiisis tis LISP, krymenoi apo ton christi. Bebaia, anagnwrizw oti ola auta mporei na einai apotelesma tis UNIXo-paideias mou, kai tis C-paideias mou. Tin C tin agapw poly, kai den tin thewrw katholou chamilou epipedou. Den einai bebaia i kalyteri twn glwswn (...), einai omws safws anetoteri apo tin Pascal otan thes na grapseis "pragmatika programmata" -- isws logw tou kalou tis interface (pws to metafrazoume?) me to UNIX. Kai sou epitrepei na ... pareis enan pointer kai na ton kaneis oti theleis .... Akribws epeidi tis domes dedomenwn prepei na tis ftiaxeis esy o idios stin C, einai poly katallili glwssa gia na tis didachteis pws ftiachnontai kai pws douleuoun. Argotera, mporeis na tis pairneis etoimes apo tin LISP. Bebaia, einai gegonos oti i LISP kapou prepei na didachtei. An theloume na didachtei nwritera apo to HY 470 (pou poly pithano na theloume), tote tha prepei na skeftoume pou allou tairiazei na didachtei. Auta gia simera. Chairetismous se olous, Manolis.