а вот эта игра со static member непонятно зачем нужна и какую проблему решает.

Ну я бы поспорил с "должно" выглядеть. Оно "может" выглядеть как ты указал. Тем более, что он делает аналог тайпклассов на SRTP, ему не нужно создавать каждый раз новые матрицы и прочее, у него просто есть костяк функций, которые требуют чтобы были такие-то такие-то мемберы, а остальное они сделают сами.

С другой стороны твой вариант не требует SRTP, он больше похож на аналог DI на самом деле. Прокидываешь нужные зависимости в матрицу и она там дальше крутится-вертится

эм, а как здесь разглядеть таблицу чисел? И где сами числа? Ну помимо нуля и единицы

Тайпклассы для бедных (явные, на словарях функций). Если они не инлайнятся, то будет очень неэффективно. ;)

Ну я бы даже это тайпклассами не назвал, просто обычные зависимости

Сравнимо с Matrix<T>, в котором внутри условный IMatrixEnv<T>, где есть все эти мемберы и прочее

Это способ обеспечить ad-hoc полиморфизм. В языках с тайпклассами подстановкой "зависимостей" занимается компилятор.

Но можно это делать руками.

Примеры от qsort [1] в стандартной библиотеке C до type-indexed values [2] в OCaml.

[1] https://en.wikipedia.org/wiki/Qsort
[2] https://blog.janestreet.com/a-working-programmers-guide-to-type-indexed-values/

@AnutaU шарит, она делала доклад про виды полиморфизмов!

ой, давно это было 🙈

Ну добавить надо ещё функции.

Конечно нет. Тайпклассы Хасклея - это в первую очередь способ заочно общаться, можешь открыть любой более-менее общеупотребимый тайплкасс из Prelude и убедиться воочию: там не только законы, которые должны выполнять имплеметоры тайпкласс (и на исполнение которых полагается компилятор нередко), но и комментарии тоже встречаются. Там сама дефиниция тайпкласс явно отделена от всего остального, хорошо акцентирует на себе внимание и в целом отлично справляется с возложенной на нее социальной миссией. А за годы, конечно, еще обрасла другими удобствами (например, дефолтной реализацией). Здесь же - хуй пойми что.

Это от того, что в F# нельзя пачку ограничений оформить под одним именем.

Но на эту тему было предложение!

да, я попытался сделать как челик выше, только немного иначе и всё сломалось. Мог бы в целом и вывести ограничения сам

А с точки зрения инжиниринга, тайпкласс АЖ НИЧЕМ не отличается от обычного итерфейса, а местами даже ограничителен. Например, полных порядков на натуральных числах бесконечного много, но instance Ordered в Хаскле может быть только один без дополнительных танцев.

Это норм работает для инлайн функций, плохо для типов

И еще иерархию зависимостей. Например, Группа - это моноид с реверсией 't -> 't, подчиняющейся определенному закону по отношению к id.