[Haskell-cafe] Haskell Weekly News: Issue 330

Semen Trygubenko / Семен Тригубенко semen at trygub.com
Thu May 21 23:49:52 UTC 2015

New Releases


    Francesco Mazzoli and Mathieu Boespflug release a library that
    allows to freely mix Haskell and C in the same source file and
    pass data from one language to the other with minimal overhead.





  The Little Prover by Daniel P. Friedman and Carl Eastlund

    This book will come out in July 2015 and teaches how to use
    inductive proofs to determine facts about computer programs.


  Haskell Programming by Christopher Allen and Julie Moronuki

    Half of the book is written and is available for early access.






  Workshop on Type Inference and Automated Proving

    Videos and slides are now available.



  Against the definition of types

    Tomas Petricek argues that definition of what is a type does not
    exist and we should look for innovative ways of working with types
    without formal definition.



  Effects encoded in types break encapsulation

    Yuras Shumovich notes that being too fine-grained in specification
    of side effects is in some ways equivalent to leaking
    implementation detail.



Quotes of the Week

    klaxion> "… My impression is that haskellers tend to be seen as
             head-in-the-clouds-impractical, purists to the point of
             fanaticism, and annoyingly prone to proselytizing. I'd
             like to change that and honestly I haven't met anyone who
             fits that (then again, I've yet to meet another haskeller
             IRL). Maybe this is a holdover from the earlier days when
             Haskell was a very marginalized community."
    kqr> "I wouldn't be too hopeful. Despite the fact that I'm one of
         the most practical, pragmatic members of one little social
         group I belong to (and this is clearly obvious quite often
         when others get into arguments over insignificant things) I'm
         still seen as a puristic, impractical hipster because I like
         Haskell. :( They don't seem to understand that a desire for
         good type systems and immutability come from a practical
         perspective. They equate things like Node.js with
         productivity and practicality. It's hard to change that image
         as long as that is the case."


    "Everyone knows that the awesome Iron Man suit is actually
    dependent types." (psygnisfive)


    "The haskell applicative, alternative, monoidal and monadic
    combinators when applied to a monad that manage asynchronous IO
    permits multithreaded programming with little plumbing that is
    close to the specification level with great composability. No
    inversion of control means no need to deconstruct the
    specifications and no state machines. This, together with the
    uniform and composable thread management, narrow the design space
    and makes the application more understandable from the
    requirements, and thus the technical documentation and maintenance
    costs are reduced to a minimum." (Alberto Gómez Corona)

    "OOP is like creating custom hardware everytime for every problem.
    since there is no composability, everything must be done from
    scratch. there are no reusable objects beyond basic containers
    encapsulated in objects." (Alberto Gómez Corona)



    "if it's abstract (say, map) then x is as informative as element:
    a thing you know nothing further about" (cameleon)


    "Add `terror`, a Text version of `error`" (Jonathan Lange)


    "If you take away my laziness, your language better bloody well be
    total and have a good accounting of codata." (kamatsu)


    "Turing completeness is entirely compatible with totality. It is
    only bullshit completeness that totality excludes." (pigworker)


    "The best way to encapsulate effects is not to restrict
    them." (Yuras Shumovich)


    "I wouldn't use Haskell if I felt bad about laziness. It'd be like
    eating an apple pie while complaining that it contains
    apples..." (hagda)


    "Lazy evaluation gives the compiler more leverage in the optimiser
    than in a strict language. There are more equalities that apply
    (e.g. beta reduction, and let x = E in y ==> y, if y /= x) and
    therefore the compiler can do more code
    transformations." (simonmar)


    "Seeing arguments from both sides, it's obvious to me that
    laziness-by-default is not better or worse than
    strictness-by-default; it's just a matter of taste and thinking
    habits. You can't please everyone: some people like looking at
    code more equationally and mathy, while some like it more
    down-to-earthy and predictable. … The bottom line, however, is
    that, as SPJ said, laziness was good for Haskell because it helped
    them keep it pure." (SkoomaMudcrab)


-------------- 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-cafe/attachments/20150522/39fc950f/attachment.sig>

More information about the Haskell-Cafe mailing list