Jacques Carette
Jacques Carette
On "compiler": I think you're searching for the word 'transpiler'. We don't quite do source-to-source, but rather IR-to-IR. Though, really, in general we're doing DSL-to-DSL, which could be called "model...
There's a time and place for brainstorming, and a time and place for systematic, organized thought (and various things in between). Brainstorming and analogies are great for getting the creative...
Agree we can drop `Information`. And I agree that starting to enumerate the kinds of systems that we can talk about is a good idea. `SystemKind` is an excellent path...
Darn. I was hoping to demo metaocaml to my class today, and ran into this problem.
Thanks - that worked beautifully. I've also emailed Oleg, asking what his plans are for upgrading metocaml to > 4.12.
@samm82 does this answer your questions?
This is a nice illustration of the difference between what theta_p *is* and what the IM *does*. Both phrases seem perfect for what they say, but now we need to...
That hack sure seems like too big a hack. Not sure about the answers to any of the questions though.
You're asking for vectors, at least of fixed finite dimensions, to "work properly" when asking for `idx (sy pendDisAngle) (int 0)`. This is a reasonable ask. Unfortunately, I think it...
Reason it out. If you look around, you'll find that paper, and you'll also find how the old position paper is referenced on the front page.