• ú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í

    Clojure's core typed vs Haskell

    8 hlasy od 8 respondentů
      A monad is just a monoid in the category of endofunctors, what's the problem? http://vimeo.com/38223410



      All programming languages evolve towards Lisp.

      Haskell is faster than C++, more concise than Perl, more regular than Python, more flexible than Ruby, more typeful than C#, more robust than Java, and has absolutely nothing in common with PHP. — Autrijus Tang

      There may, indeed, be other applications of the [lambda calculus] than its use as a logic. — Alonzo Church, 1932
      rozbalit záhlaví
      IRAVEN
      IRAVEN --- ---
      Panove, mate tip na nejaky clanek nebo web, kde by byl hezky zpracovan lambda kalkulus? Treba i s priklady jak udelat cislo, seznam, atd.
      KAMAHL
      KAMAHL --- ---
      The 2011 Mathematica One-Liner Competition—Wolfram Blog
      http://blog.wolfram.com/2011/12/01/the-2011-mathematica-one-liner-competition/
      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?
      Kliknutím sem můžete změnit nastavení reklam