[Haskell] Haskell Weekly News: Issue 324

Thu Apr 9 22:59:36 UTC 2015

Talks

    How to Sell Excellence by Michael Church

    Slides for presentation given at Chicago Haskell Meetup.
    Author urges us not to write arbitrary code as reasoning about
    arbitrary code is mathematically impossible, argues that code
    quality is determined by what people do and not by what language
    enables (which puts functional programming and Haskell at the
    top), links code entropy to deadline culture (a.k.a. "Agile"),
    explains why we suck at selling functional programming and has
    a decent go at selling Haskell himself.

    https://docs.google.com/presentation/d/1a4GvI0dbL8sfAlnTUwVxhq4_j-QiDlz02_t0XZJXnzY/preview?sle=true&slide=id.p

    http://www.reddit.com/r/haskell/comments/31awxs/how_to_sell_excellence/

    https://lobste.rs/s/9oq7ra/how_to_sell_excellence

    http://www.quora.com/Why-do-some-developers-at-strong-companies-like-Google-consider-Agile-development-to-be-nonsense/answer/Michael-O-Church


    Reflex: Practical Functional Reactive Programming

    FRP talk and an awesome FRP demo.

    https://www.youtube.com/watch?v=mYvkcskJbc4

    https://www.youtube.com/watch?v=3qfc9XFVo2c

    https://obsidian.systems/reflex-nyhug


Discussion

    Necessity/utility of dependent types?

    A comprehensive response by tel with explanations of how to expose
    invariants at type level and how to relate invariants of two
    types.

    http://www.reddit.com/r/haskell/comments/31lru4/necessityutility_of_dependent_types/


    How is the error function implemented in Haskell?

    A comprehensive reply by Tikhon Jelvis.
    "Semantically, error results in ⊥ ("bottom") just like an infinite
    loop, it just happens to be better-behaved in a practical sense
    and easier to debug."

    https://www.quora.com/How-is-the-error-function-implemented-in-Haskell


    Why are we naming types instead of instances when we have
    multiple instances per type?

    "Type classes only work really well when they are coherent, so
    there can only be one per type." (bss03)

    http://www.reddit.com/r/haskell/comments/31zagw/why_are_we_naming_types_instead_of_instances_when/

    http://blog.ezyang.com/2014/07/type-classes-confluence-coherence-global-uniqueness/


Quotes of the Week

    "The best way to move Haskell forward is to build something
    important like opaleye, wreq, haskellonheroku, pipes, cloud
    haskell or yesod and then sell that instead; write some amazing
    documentation and tell as many people as you can... And then
    probably try very, very hard to get a job at one of these
    newfangled startups that use Haskell :)" (rehno-lindeque)

    http://www.reddit.com/r/haskell/comments/31awxs/how_to_sell_excellence/cq0aze5


    "The reason Haskell is great is because its systematic
    faithfulness to mathematical abstractions, and as soon as you
    start talking about math, the masses leave the room."
    (dnkndnts)

    http://www.reddit.com/r/haskell/comments/31awxs/how_to_sell_excellence/cpzwlu7


    "productivity is impossible to measure (the idea that it can be
    measured brought us that "Agile"/Scrum shit that I hate more than
    the worst-designed programming language)" (michaelochurch)

    http://www.reddit.com/r/haskell/comments/31awxs/how_to_sell_excellence/cq0jhjv


    "why doesn't anyone ever explain that natural transformations make
    a tent shape?" (chrisamaphone)

    https://twitter.com/chrisamaphone/status/585499255772676097


    "Haskell is _fast as hell_." (Michael O. Church)

    "Haskell crushes imprecision of thought." (Michael O. Church)

    "Clojure is beautiful. Python is easy to learn. These are fine
    languages! But they lack a feature (compile-time typing) that I'd
    demand if I were building out a 5000+ LoC project … Haskell isn't
    the only functional programming language. … but Haskell is the
    only major language whose type system can verify the lack of side
    effects." (Michael O. Church)

    https://docs.google.com/presentation/d/1a4GvI0dbL8sfAlnTUwVxhq4_j-QiDlz02_t0XZJXnzY/preview?sle=true&slide=id.p


    "Monads are just burritos, man. Burritos ain't scary.
    http://chrisdone.com/posts/monads-are-burritos" (kyllo)

    http://www.reddit.com/r/haskell/comments/31awxs/how_to_sell_excellence/cq0jv6c


    "Coq has no backdoors as far as I'm aware. In fact, I don't
    believe it has any doors at all." (tactics)

    http://www.reddit.com/r/haskell/comments/31awxs/how_to_sell_excellence/cq0f5r0


    "haskell is like pizza. Even when it's bad it's still good."
    (deech)

    https://twitter.com/deech/status/583087866248454144
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 181 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20150409/ada2276c/attachment.sig>