I had previously toyed with numerical prototypes in typed Racket but could never get it fast enough. But, a typed dialect which transpiles to an OpenCL kernel

I had previously toyed with numerical prototypes in typed Racket but could never get it fast enough. But, a typed dialect which transpiles to an OpenCL kernel might work.