Andrew Lelechenko - Haskell for mathematical libraries - Lambda Days 2020

This video was recorded at Lambda Days 2020 www.lambdadays.org/lambdadays2020
Get involved in Lambda Days' next conference www.lambdadays.org
Learn more about the talk:
cms.lambdadays.org/lambdadays...
Lambda Days
Website: www.lambdadays.org
Twitter: LambdaDays
Facebook: / lambdadays
LinkedIn: / 11840018

[@messapatingy]

I never knew, as a child, if a filter keeps or discards. i.e. Filter-out, or filter-in.

[@cynocephalusw]

A hidden gem

[@Liamshin_Ilia]

Thanks

[@BenHutchison]

On Ed Kmett's Algebra library "and of course its unusable " I thought this was a discarded opportunity to say something quite interesting. Carefully designed, mathematically faithful. Yet unusable. Why? I think if you're going to dismiss an attempt right at the heart of your chosen domain, you ought to show your working and expand this statement. kzbin.info/www/bejne/p5KzlZpmor-UrK8