F# Linear algebra with type-level dimensions and static checks | Dark Hacker News