Разработка, основанная на типах, в Numeric Haskell. Даня Рогозин и Ринат Стрюнгис

В нашем докладе мы обсудим способы разработки, основанной на типах (type-driven development) в машинном обучении. Во время нашей реализации на Haskell модели гауссовских процессов со скрытыми переменными (Gaussian process latent variable model), мы пытались решить проблемы связанные с размерностями на уровне типов. Доклад содержит также обзор численных библиотек и подходов, которые с нашей точки зрения наиболее эффективны. Эти способы решения поставленных задач далеки от идеальных, поэтому мы опишем также и