Sure it does. Have you seen the type system used to generically dispatch matrices to GPUs or cpus. Or the dispatching to give you auto-differentiation? Maybe

Sure it does. Have you seen the type system used to generically dispatch matrices to GPUs or cpus. Or the dispatching to give you auto-differentiation? Maybe it's not your definition of "new ideas", but they are really useful and original.