Tag Archives: haskell

What’s the right way to QuickCheck floating-point routines?

I got a lot of great comments on my previous post about finding roots of polynomials in Haskell. One particularly promising idea I got from commenter Jake was to give up on the idea of having no external dependencies (which, … Continue reading

Posted in haskell, math | Tagged , , , , , , , , , | 12 Comments

Finding roots of polynomials in Haskell?

tl;dr: There are several Haskell packages one can use to find an individual root of a function on a certain interval. But I’ve had less luck finding a suitable package for finding all the roots of a given polynomial. This … Continue reading

Posted in haskell, math | Tagged , , , , , | 14 Comments

Ertugrul Söylemez: 1985-2018

I do not know many details, but IRC user mupf joined the #haskell-ops channel yesterday to tell us that Ertugrul Söylemez died unexpectedly on May 12. This is a great loss for the Haskell community. Going variously by mm_freak, ertes, … Continue reading

Posted in haskell, meta | Tagged , , , , | 4 Comments

Parametricity for Bifunctor

I’ve begun work to add Bifunctor, Bifoldable, and Bitraversable to the Typeclassopedia. While thinking and writing about Bifunctor I ended up proving some “folklore” results for my own satisfaction, and decided someone might possibly find it useful if I formally … Continue reading

Posted in haskell, math | Tagged , , , , , | 3 Comments

New baby, and Haskell Alphabet

My wife and I just had a baby! If you missed seeing me at ICFP, this is why. In honor of my son’s birth (he will need to learn the alphabet and Haskell soon)—and at the instigation of Kenny Foner—I … Continue reading

Posted in haskell, meta | Tagged , , | 1 Comment

ICFP roundup

ICFP 2016 in Nara, Japan was a blast. Here are a few of my recollections. The Place Although I was a coathor on an ICFP paper in 2011, when it was in Tokyo, I did not go since my son … Continue reading

Posted in haskell | Tagged , , | 3 Comments

New Haskell Symposium paper on “twisted functors”

Satvik Chauhan, Piyush Kurur and I have a new paper which will appear at the 2016 Haskell Symposium in Japan: How to Twist Pointers without Breaking Them Although pointer manipulations are used as a primary motivating example, at heart the … Continue reading

Posted in haskell, writing | Tagged , , , , , , , , , | 6 Comments