[Haskell-cafe] Haskell Weekly News: Issue 326

Thu Apr 23 22:58:41 UTC 2015

New Releases

  darcs 2.10.0

    New version of darcs is out packed with features and resolved
    issues.

    http://lists.osuosl.org/pipermail/darcs-users/2015-April/027119.html

  Stackage CLI

    This new tool helps to manage cabal files and share sandboxes.

    https://www.fpcomplete.com/blog/2015/04/announcing-stackage-cli

  Diagrams 1.3

    Diagrams has switched from vector-space to linear for its linear
    algebra package, the internal representation of Measure has
    changed, a new Direction type has been added as well as a number
    of new transform isomorphisms (transformed, translated, movedTo,
    movedFrom and rotated) and new features, and two new backends —
    PGF and HTML5.

    http://projects.haskell.org/diagrams/

    https://wiki.haskell.org/Diagrams/Dev/Migrate1.3

Discussion

  Improving Hackage security by Duncan Coutts

    A TUF-based system is being designed and implemented that will
    significantly improve Hackage security.

    http://www.well-typed.com/blog/2015/04/improving-hackage-security/

    http://theupdateframework.com/

  Cartesian Closed Comic #26: IDE

    Should Haskell have an IDE (and if yes should it be web-based),
    or does it already have one?

    http://www.reddit.com/r/haskell/comments/334x2v/cartesian_closed_comic_26_ide/

    https://ro-che.info/ccc/26

  Two "camps" of Haskell programmers

    A comment by Tekmo.

    http://www.reddit.com/r/haskell/comments/33chyv/from_imperative_to_functional_programming_things/cqk34z6

  What databases are most Haskellers using?

    It seems that PostgreSQL with persistent or postgresql-simple,
    and esqueleto for more complex queries.

    http://www.reddit.com/r/haskell/comments/33k8zx/what_databases_are_most_haskellers_using/

    https://hackage.haskell.org/package/persistent

    http://hackage.haskell.org/package/esqueleto

    https://hackage.haskell.org/package/postgresql-simple

Podcasts

  Episode 4: Stephanie Weirich on Zombie and Dependent Haskell

    "Zombie is a different kind of dependently typed language,
    eschewing automatic β-reduction in the type checker for an
    approach based on explicit equality rewriting, which enables new
    ways of combining proofs and programs, as well as new forms of
    proof automation. Meanwhile, as languages designed for
    dependently typed programming come closer to practical
    applicability, Haskell is also moving towards full dependent
    types."

    http://typetheorypodcast.com/2015/04/episode-4-stephanie-weirich-on-zombie-and-dependent-haskell/

Quotes of the Week

    "My children are in IT, two of them – both graduated from MIT.
     One of them browsed a book and said, “Here, read this”. It said
     “Haskell – learn you a Haskell for great good”, and one day that
     will be my retirement reading." (Lee Hsien Loong)

    http://www.pmo.gov.sg/mediacentre/transcript-speech-prime-minister-lee-hsien-loong-founders-forum-smart-nation-singapore

    "Of course if darcs got the best of git, it's probably better
     than git now ;-)" (maxigit)

    http://www.reddit.com/r/haskell/comments/33646i/darcs_210_is_here_rebase_importexport_to_git/cqipao8

    "Yes changesets and snaphosts are isomorphic, therefore being
     based on changesets can't be a selling point. (maxigit) But it
     can, because the tooling evolves around the philosophy shaped by
     the underlying structure. Can you get branches for free in git?
     Sure. Do you? Nope." (kqr)

    http://www.reddit.com/r/haskell/comments/33646i/darcs_210_is_here_rebase_importexport_to_git/cqiwqze

    "Leksah, Eclipse FP and various newer attempts are so ignored by
     everyone that they are not even in this Comic." (hamishmack)

    http://www.reddit.com/r/haskell/comments/334x2v/cartesian_closed_comic_26_ide/cqhvwuu

    "I don't actually want an IDE, but if I did, I'd want one that
     was free as in freedom, not free as in
     freemium." (get-your-shinebox)

    http://www.reddit.com/r/haskell/comments/334x2v/cartesian_closed_comic_26_ide/cqhst0l

    "[Type-level reasoning] is more powerful but entails a hard
     dependency on a computer. Equational reasoning using abstract
     algebra is more "portable"; you can easily do it in your head or
     with pencil and paper." (Tekmo)

    http://www.reddit.com/r/haskell/comments/334x2v/cartesian_closed_comic_26_ide/cqhst0l

    "… without strong typing or the sequestering of side effects
     that Haskell allows you, I felt really lost and confused as to
     why the hell anyone created a language that wasn't
     Haskell." (scientia_est_ars)

    http://www.reddit.com/r/haskell/comments/33chyv/from_imperative_to_functional_programming_things/cqkqps6

    "More polymorphism generally restricts the implementation,
     allowing us to better predict it's behavior. It's a trade-off,
     like most programming decisions." (bss03)

    http://www.reddit.com/r/haskell/comments/33chyv/from_imperative_to_functional_programming_things/cqju96h

    "(cons cat (cons cat nil))" (Dmitry Ignatiev)

    https://twitter.com/lvsn/status/533685461957349376

-------------- 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/20150423/ffef232d/attachment.sig>