Скачать или смотреть Rohit Grover - Prototype Driven Development using Haskell - Compose Melbourne 2018

Prototype Driven Development using Haskell

http://www.composeconference.org/2018...

This talk presents a simulation-driven approach for the development of data estimation filters (Kalman filters) using Haskell. In my professional work around radar target tracking, I use Haskell to develop, visualize, test, and iterate over estimation filters. I tweak them to my heart's content, often trying many Mathematical models, before translating mature filters into C++ as a final step.
People advocate prototyping filters in Matlab (and more recently in Python). I've benefited a great deal from using Haskell instead. Haskell brings type- sanity and encourages designs where the resulting filters are generic and composable. By the time a prototype is reimplemented in C++, most of the hard work around design is complete. The code left behind is terse and closely represents the underlying Math. Translating such lean code into prosaic C++ is not too hard, and reduces the chances of getting mired in language details. This approach could add to the toolbox of people who straddle the C++ and Haskell worlds.

About Rohit Grover

Rohit has been a systems programmer for the past 20 years, using C/C++ for products ranging from multiprocessor kernels to bare metal embedded systems. At his current job, he is responsible for developing filtering algorithms for radar target tracking. Most of his professional work requires writing modern C++, but increasingly he finds himself reaching out to Haskell to write correct code faster.