Hogyan dönthetném el, hogy mivel akarok foglalkozni, mit akarok használni?

Nekem a Haskell és aztán abból kinövően az Agda tudott adni végül olyan kihívást, ami éveken át megmaradt: egyszerűen kihívó volt látni, hogy elvileg bármilyen (legalábbis az intuicionista logikán belül bizonyitható) matematikai probléma bizonyítása ábrázolható, sőt, algoritmikusan teljesen ellenőrizhetővé tehető.

Ebben a világban nem minden algoritmikus (ld. a száz éve folyó intuicionizmus-vitát a Hibert-program óta), de még is van egy összekötő kapocs az algoritmusok világával (Martin-Löf típusrendszer, proof assistants).

Megpróbálom ezt a szálat összeegyeztetni persze a hétköznapi gyakorlati feladatokkal is, de ez persze sokszor nehéz. Alapvetően a matmatika végső sorsa engem jobban érdekelne a programozásnál, de a két terület között ma már elég szoros kapcsolatok vannak. Persze ez azért a napi gyakolati munkában nem annyira jelenik meg.

E téren inkább apróságok vannak: néha alkalmomszerűen felfedez az ember apróságokat, például egy sed, AWK vagy Perl scriptben az absztrakt állapot-automatát. Vagy egy SQL-scriptben a tiszta relációalgebrai alapokat. Vagy egy bonyolultabb Haskell-feladatban egy kategóriaelmélet, algebrai összefüggést (a monászok összefüggései mögött pl. topológiai tételek teljesen analóg alakjai húzódnak meg). Vagy egy algebrai adattípus lekódolását hagyományos OOP-nyelvben öröklődéssel, felüldefiniált metódusokkal (a klasszikus példa ahogy a Smalltalk ábrázolja a Bool típust, ezt a módszert általánosította későb a Scala case objectek, case classok formájában, amivel teljesen már Haskell-szerű algebrai adattipusokat lehet elérni).

Ez persze nem ad választ, ebben a világban könnyű elveszni, de egy kis segítséget tud adni egy-két hosszú távú vízióban. A kiégés ellen talán ez sem tud biztosan megvédeni, csak eggyel több fogodzót ad.

Ha úgy van vele, hogy minden is érdekel, de nem tudod mi az ami igazán, akkor nézd az álláshírdetéseket és, hogy mire van igény. Ha abba az irányba elindulsz, akkor biztos rendben leszel.

Meg persze van egy kis plusz motiváció, amikor nem csak adott technológia miatt csinálsz valamit, hanem szakmai fejlődés szempontjából is.