A follow up to this is what they did choose: F#

This is posted at https://blog.darklang.com/new-backend-fsharp/