• úvod
  • témata
  • události
  • tržiště
  • diskuze
  • nástěnka
  • přihlásit
    registrace
    ztracené heslo?
    LUDWIG_Funkcionální programování (Haskell, LISP, XQuery, OCaml, F#, Scala, ...) - praxe, teorie a uplatnění
    TOMRATHOUSKY
    TOMRATHOUSKY --- ---
    Ahoj,
    hledáme šikovného pogramátora, který se vyzná v jazycích Ruby on rails a Scala. V současné době pracujeme na projektu (iOS app), který používá backend právě ve zmiňovaných jazycích (jedna část backendu je v Ruby, druhá ve Scale). Programátor který na backendové části pracoval od nás odešel a my bychom potřebovali udělat kompletní analýzu backendu (jestli tam správně fungují system checky, kde jsou díry, kde by mohly vzniknout nějaké problémy atd). Brief i dokumentaci už máme připravené. Kdyby vás to někoho zajímalo, nebo kdybyste znali někoho kdo umí dobře Ruby a Scalu, odpovězte mi prosím tady, nebo napiště na tomas.rath@gmail.com.

    Teď hledáme někoho na externí spolupráci, kdyby analýza dobře dopadla, tak by byla možná i dlouhodobá interní spolupráce (kanceláře máme v Praze).

    Díky,
    Tomáš
    LITTLELI
    LITTLELI --- ---
    SATAI
    SATAI --- ---
    LITTLELI: však měl taky Dikjstra 10^9 nanodijkstrů ;)
    ARCHITECH
    ARCHITECH --- ---
    "Transducers" by Rich Hickey
    https://www.youtube.com/watch?v=6mTbuzafcII
    LUDWIG_
    LUDWIG_ --- ---
    Functors, Applicatives, And Monads In Pictures - adit.io
    http://adit.io/posts/2013-04-17-functors,_applicatives,_and_monads_in_pictures.html
    LUDWIG_
    LUDWIG_ --- ---
    LUDWIG_
    LUDWIG_ --- ---
    Panoramio - Photo of Lambda shaped fountain
    http://www.panoramio.com/photo/45344094
    LUDWIG_
    LUDWIG_ --- ---
    Evil Haskell Tips (EvilHaskellTips) on Twitter
    https://twitter.com/EvilHaskellTips
    LITTLELI
    LITTLELI --- ---
    BROUKOID: zkratim svou odpoved na: presne tak.
    BROUKOID
    BROUKOID --- ---
    LITTLELI: co konkretne se ti na tom nelibi? Ze to nema podlozene nejakou studii?
    LITTLELI
    LITTLELI --- ---
    LUDWIG_: no škoda, že předposlední odstavec je spíš zbožné přání autora než nějaká forma ověřeného faktu
    LUDWIG_
    LUDWIG_ --- ---
    Pozvánka na Prague Lambda Meetup - Root.cz
    http://www.root.cz/zpravicky/pozvanka-na-prague-lambda-meetup/
    LUDWIG_
    LUDWIG_ --- ---
    LISKNI_SI
    LISKNI_SI --- ---
    IRAVEN: To fakt obecně nejde, protože taková funkce není vyčíslitelná. Představ si, že ta vstupní "množina" jsou právě všechny dvojice turingův stroj a jeho akceptující běh (tj. ta fce A → bool ověřuje, zda je to korektní zadání a zda to je skutečně akceptující běh toho stroje) a že ta transformace z toho vymaže ten běh (tj. tu dvojici transformuje jenom na to zadání turingova stroje). Tohle obojí jsou vyčíslitelné funkce, ale výsledkem té funkce by měla být množina všech turingových strojů, které zastaví. A ta rozhodně vyčíslitelná není.
    IRAVEN
    IRAVEN --- ---
    Upřesním :). Mám definovaný datový typ "množina", který je daný pouze jako funkce A -> bool, která říká TRUE právě když prvek A do množiny patří. Potom mám funkci A -> A, která mi převádí prvky na jiné prvky, například násobí dvěma. No a cílem je napsat funkci, která vrací "množinu" (čili funkci A -> bool) která obsahuje prvky ze zadaná množiny transformované zadanou funkcí (je to funkce vyššího řádu).

    Bavil jsem se o tom s kamarádem a došli jsme k tomu, že to zřejmě nejde bez nějaké iterace nad množinou (je potřeba cosi jako "exists").
    KAMAHL
    KAMAHL --- ---
    IRAVEN: Moc nechápu zadání, nemohl bys dát příklady vstupu a požadovaného výstupu?
    LUDWIG_
    LUDWIG_ --- ---
    IRAVEN: "zda A do mnoziny patri" = typ A patri do mnoziny ruznych typu, nebo parametr :: A patri do mnoziny hodnot typu A?
    LISKNI_SI
    LISKNI_SI --- ---
    IRAVEN: Jakože (. filter) . (.) . map? (Má to ty parametry opačně.)
    IRAVEN
    IRAVEN --- ---
    jak byste napsali funkci map, ktera ma na vstupu tyto parametry: funkce A -> bool ktera rika, zda A do mnoziny patri, a A -> B pro transformaci? a jde to vubec? mne prijde, ze bez inverzu B -> A ne...
    LITTLELI
    LITTLELI --- ---
    LUDWIG_: jak už jsem tu psal, tohle typový peklo mi přijde naprosto nadbytečný
    Kliknutím sem můžete změnit nastavení reklam