Intuitively, it would seems that a compiler for language Foo cannot itself be written in Foo. More specifically, the first compiler for language Foo cannot be written in Foo, but any subsequent compiler could be written for Foo.
But is this actually true? I have some very vague recollection of reading about a language whose first compiler was written in “itself”. Is this possible, and if so how?