Strona główna‎ > ‎Ogłoszenia‎ > ‎

O leniwej ewaluacji

opublikowane: 10 mar 2010, 14:53 przez Koło Studentów Informatyki   [ zaktualizowane 10 mar 2010, 14:54 ]
      
     
     

     
    Koło Studentów Informatyki zaprasza na

    WYKŁAD

    Maćka Piroga

     
     
    O leniwej ewaluacji 
     
     
    Skoro Haskell jest najlepszym językiem programowania na świecie, to czemu:
    • programy napisane w Haskellu działają wolno i zjadają dużo pamięci?
    • napisanie 'hello world'-a wymaga znajomości pojęć rodem z teorii kategorii?
    • ogonowe wersje funkcji nie działają szybciej i nie oszczędzają stosu?
    • Standard ML ma formalną semantykę, a Haskell nie?
    • badanie złożoności programów napisanych w Haskellu to doktorat sprzed 2 lat?
    • debugowanie programów Haskellowych to koszmar?

    Dodatkowo dowiemy się, jak działał kompilator GHC 15 lat temu i co to jest tchórzliwa
    G-maszyna bez etykiet
    (ang. spineless tagless G-machine). A gdyby jakimś cudem starczyło czasu, to będzie coś o domknięciach (ang. closures), aktualizacjach
    (ang. updates), dwuprzestrzennym śmieciarzu (ang. two-space garbage collector) i czarnych dziurach (ang. black holes).
       


      
       Wykład odbędzie się18 marca o godzinie 18:15 w sali 25 (Wielka Wschodnia)

    Zapraszamy!
Comments