i remember once watching a talk by the main developer on the Idris purrogramming language about Idris 2 and being fascinated by his commentary on some new architectural changes being made to the language. IIRC Idris 1 targeted the LLVM IR and as a shortcut fur experimentation he was compiling Idris 2 to Chez Scheme. but then he was just like “well i was doing that fur research purrpusses but the resulting code has ended up being so fast that it’s just what we’re actually going to use in the release version of the language”. wild shit