38
  • physis #38
    Kedves Vardar.

    A funkcionális programozás történetének leírása talán nem is offtopic: jó példa lehet arra, hogy a maguk idejében elvadultnak tűnő kutatások mára az ipar szerves részévé nőtték ki magukat.

    A történetet ott kezdeném, hogy programozási nyelvek előbb léteztek, mint számítógépek. Elméleti célokra használták őket. A matematika elméleti megalapozására tett kísérletek során számos új kérdés merült föl. Például: mi az egyáltalán, hogy ,,algoritmus'' (matematikai egyértelműséggel megfoglamazva, tehát nem élőszóban)? Lehetségesek önmagukra hivatkozó algoritmusok? (ismert anekdota: a király azt mondja az halálraítéltnek, hogy mondjon egy mondatot, és ha az igaz, akkor főbelövik, ha hazug, akkor meg fölakasztják. Az elitélt azt mondja "fölakasztanak", a király meg kénytelen szabadon engedni. A trükk lényege az így előállt szituáció önhivatkozó mivolta.) Ezek fontosságára talán rávilágít, hogy a Gödel tétel bizonyítása is önhivatkozó állításon alapszik. (A Gödel tétel talán legérdekesebb jelentősége, hogy a matematika végtelen. Soha nem fogják lezárni, és ezt be is lehet bizonyítani.)

    Szóval, formális eszközöket (köztük algoritmusleíró eszközöket) már jóval a gépek előtt használtak a matematikusok (főleg metamatematikai célokra). Ezek egy része lényegében programnyelvnek is tekinthető. 1924-ben már volt ilyen, és már az 1930-as években több ilyen is lett, ezek lényegesen különböztek egymástól, és teljesen más elveken alapultak. (Szóval a programnyelvek bábeli sokasága szintén megelőzte azt, hogy egyáltalán lett volna számítógép.)

    Ezek közül, a ma elterjedt imperatív programnyelvek többségéhez (de méginkább az assemblyhez) talán az ún ,,Turing-gép'' megközelítés hasonlított a legjobban. Belső állapot (kvázi "regiszterek"), végtelen külső tár, ugrások...

    Azonban -- már 1924-ben! -- létezett egy másik megközelítés is. A program: függvény, valami adatokat bevesz, földolgozza őket és kiadja az erdményt. Lényegében a program nem más, mint egy óriási képlet. Értékadások, (globális) változók, ugrások stb. nem szükségesek, helyettük a matematikában az évezredek alatt lecsiszolódott eszkötárat használjuk. A képletek, függévények nemcsak számokat, karaktereket, szóval efféle atomi dolgokat dolgozhatnak föl, de akár más képleteket is. Éppen ezért lehet teljes funkcionális programozás kifejezőereje, mert a "képleteken dolgozó képlet" olyasféle lehetőségeket kínál, mint a hagyományos programnyelveken a metaprogramozás, vagy a szkriptek futtatásának lehetősége (ahol magukat a szkripteket is dinamikusan, programból áll1tjuk elő).

    Az eredetileg a matematika legalapjainak elméleti (esetleg filozófiai) tisztázására föltalált eszköztár azért (is) talált gyakorlati alkalmazási területeket, mert az értékadások, ugrások, változók teljes hiánya miatt a funkcionális programokat könnyű debuggolni, sőt, bizonyos hibák elvileg sem fordulhatnak elő, egyszerűen fogalmilag is elképzelhetetlenek. Úgy tudom, a funkcionális prgramok helyességbizonyítása is könnyebb, de erről a területről szinte semmit nem tudok.

    A ma használatos funkcionális nyelvek lingua franca-ja a Haskell lett, ez szinte azt a szerepet tölti be a funkcionális nyelvek közt, mint a Java az imperatív nyelvek közt, tudósok bizottsága hozta létre, és az iparban is kezd terjedni.
    Mivel a támogatása elég nagy (dokumentáció, implementáció, könyvtárak, eszközök), ezért talán vele érdemes megismerkedni elsőnek a funkcionális világból.
  • Vardar #37
    Mi az a funkcionális programozás?
  • haxoror #36
    Hát ja, ott legalább vannak heterók így láthatnánk hogy tényleg működik-e...
  • L3zl13 #35
    Csak nehogy az Egyesült Iszlám Meleg Front tagjai hozzájussanak egy ilyen fegyverhez. Szeptember 11. babazsúrnak fog tünni ahhoz a terrorhoz képest, amit ezzel véghez vihetnek... :D
  • TH448 #34
    LOL, jöön az EMP! Áááh, legfeljebb kimegy pár eszköz...
    Jönnek a gránátok! Elugrunk...
    BAZZ, JÖN A MELEGBOMBA! FUTÁS!:D:D:D:D
  • physis #33
    Frissen regisytráltam, kérlek ,néézétek el, hogy 30 napig nem tudok ,,kék'' linkeket beszúrni. Tehát

    http://hu.wikipedia.org/wiki/User:Physis/Ig_Nobel
  • physis #32
    Funkcionális programozással forglakozom, és a programozásnak ezt a nagyon matematizált ágát gyakran tartják ezoterikusnak, elvadultnak. A matematikai kutatások ``hasznossága'' vagy ``l'art pour l'art'' / elefántcsonttorony) mivolta is régi vita. Csányi Vilmos, Neumann János, és még néhány matematikus és idegfiziológus is tárgyalt hasonló kérdéseket.

    Személyesen talán ezért érzek rokonszenvet az Ig Nobel cikkekben említett ,,elvadult'' kutatások egy része iránt. Írtam most a tárgyalt Ig Nobel díj cikkhez egy hozzászólást, de túl hosszú és rosszul formázott ahhoz, hogy csak úgy ide beömlesszem: nem akarom szétflood-olni az itteni vita menetét, ezért inkább [http://hu.wikipedia.org/wiki/User:Physis/Ig_Nobel linket adok rá].
  • wanek
    #31
    Pedig nem először írtam...
  • Su0my #30
    sírás jó topik, jó cikk!

    wanek: tőled először olvastam értelmes és szellemes hozzászólást (zsdsz gyűléses), mi a fene?


    amúgy a patkányos kísérletsorozatért is gratula! az is hasznos volt.. de a befosás az azért(azokon a még nagyobb gegeken túl, amiket lentebb már elemeztetek[ps: mekkora xar lehet beejtőernyőzni egy olyan helyre, ahol melegbomba robbant? tömeg közepére..[#guluszem1][#help]]):

    "Az est másik fénypontját, a kémiai Ig-t egy japán hölgy, Mayu Yamamoto kapta a tehéntrágyából nyert vanília aromáért" + "Kutatása akkora sikerré nőtte ki magát, hogy egy helyi jégkrém bolt tiszteletére "Yum-a-Moto Vanilla Twist" névre keresztelte új vaníliás készítményét"

    mekkora oltás lehet tehénszaros vaníliafagyit enni? jóízűen? pénzér'?


  • Epikurosz
    #29
    Ó, nincs már arra szükség, mert a Miép gyakorlatilag megszűnt. Még bomba sem kellett hozzá, elég volt az új bálvány, a tévé.
  • wanek
    #28
    Te miről beszélsz?
  • kukacos #27
    Méltó öngyilkosság egy ilyen nickhez...
  • wanek
    #26
    Mortimer! Hogyan jössz te ahhoz, hogy a privát üzenetekbe beleolvass? Ez valami ősi zsidó szokás?
  • kukacos #25
    Félreértés ne essék: a cikk állításával ellentétben a melegbombát nem fejlesztették ki, csak javasolták, mint egy lehetséges non-violent hadviselési módot. Nem ismerünk ilyen hatásos afrodiziákumot, ha ismernénk, már boldog-boldogtalan vásárolná más célra. Elvégre szerencsétlen rinocéroszt is már közel kiirtották, csak mert valami barom kitalálta, hogy az agyara vágyfokozó hatású.

    A nemi orientáció megváltoztatásához egyébként is sokkal többre van szükség, mint valami egyszerű kémiai behatásra. Ha létezne is ilyen szer, inkább a nők iránti gerjedelmet korbácsolná a katonákban. Ami egyébként ettől még lehet elég hatásos. Nem tesz jót a morálnak, ha a katona a saját ötcentis lövegével van elfoglalva egész nap a 155mm-es helyett...
  • wanek
    #24
    A zsdsz rendezvényekre meg nem is kell ilyen :)
  • barret #23
    Ez teljesen megszokott dolog a kutyaknal.Neha a nostenykutyak is csinaljak! :D
  • Mike
    #22
    a melegbombát bevetném egy-két miép nagygyűlésen :))))
  • wanek
    #21
    Szóval ezek az állatok a "homoszexualitáson" és egyéb perverz dolgokon kívül még fetisiszták is :)

    PS: a madaraknak (így a kacsáknak is) kloákájuk van, ami a párzás szempontjából kvázi ugyanolyan a hím és nőstény madaraknál is.
  • Epikurosz
    #20
    Nekem egyszer egy volt osztálytásam anyukájának a kutyája akarta a cipőmet megmacerálni, amikor újév másodnapján elmentem hozzájuk meghallgatni a bécsi koncertet a tévében.
    - Jaj, Munyikám, viselkedj, már! - szólt rá Vilma néni.
    A szeme sarkából a fakanalat meglátva, abbahagyta.
  • Riddick #19
    Hmmm ,nem semmi dolgok vannak..
  • rhonkhan #18
    Nőstény németjuhászoknál is van ilyen :D
  • echo #17
    na én ezen sírtam a röhögéstől
  • UnnameD #16
    Vanília aroma helyett véletlenül nem csoki aromát akartak írni?
  • wanek
    #15
    Bullshit!
    A fiamnak van egy 8 hónapos kis kan kutyája. Még nem ivarérett, de az egyik kedvenc játékát, egy plüss macit rendszeresen megdug, legalábbis párzó mozgást végez rajta. Egyébként felnőtt kutyáknál is megfigyelhető, hogy próbálják az ember lábát megdugni. Szóval itt nem homoszexualitásról, vagy egyébről van szó, csupán egy sokkal erősebb fajfenntartó ösztönről, ami a hím állatoknál nagyon erősen fennáll.
    A mesterséges megtermékenyítéshez is úgy nyerik a spermát, hogy csinálnak egy mű nőstényt, amit meghág a hím...
  • xizor #14
    ezen én is sírtam a röhögéstől :D
  • Vardar #13
    Néhány éve magyar kapott IG Nobel díjat mert egy amerikaival közösen a pingvinek szarási szokásait vizsgálta.
  • Vardar #12
    Erről eszembe jutott egy vicc:
    Hitler a háború végén azt mondja a tudósaink, hogy csináljanak szarból vajat mert a rendesből már kifogytak. A tudósok 1 hónap múlva büszké üzennek: -Már kenhető!-
  • teddybear #11
    "0Az est másik fénypontját, a kémiai Ig-t egy japán hölgy, Mayu Yamamoto kapta a tehéntrágyából nyert vanília aromáért. Yamamoto elmondta, a legtöbb vanília aroma a petrolkémiai anyagok ligninjéből készül, ez a vegyület azonban a tehéntrágyában is igen nagy mennyiségben jelen van, így megoldásával a trágya hasznosításának egy új oldalát tárta fel. "


    Hát, eddig is azt tartottam, hogy az élelmiszer-vegyészek minden szart képesek megetetni velünk, de hogy ezt szó szerint kell vennem....
  • Vardar #10
    Hol van leírva az összes díjazott és kutatás magyarul?
  • Cat #9
    http://index.hu/politika/bulvar/drake2006/
  • kernerster #8
    dokumentálta a homoszexuális nekrofilia esetét a vadkacsáknál

    áááááááááááááááááááááááááááááááááááááááááááááááááááááááááááááááááááááááááááááááááááááááááááááá

  • haxoror #7
    omg melegbomba FTW!!!!
  • wanek
    #6
    Az egészben az az érdekes, hogy ezek csak a díjazottak voltak, pedig még sok hasonló van, és persze tudományos lapokban ezeket mind publikálják is...
  • Vorpal #5
    melegbomba lol.DDD - nem lennék végtagamputált ha egy ilyet bedobnak,DDD
  • Devotus #4
    Ha létezik én nem igazán akarnám megtapasztalni a "Meleg-bomba" hatását, és még a sérültek közelébe se szivesen mennék... :D
  • googlekereso #3
    Hát igen az emberi hülyeség határtalan :D
  • Frosty01 #2
    mekkora kutatások már... áááá
  • Szefmester #1
    hát ez kész..