Ask HN: Transpiling a dynamically typed language to a statically typed language
Hi, I have been pondering what I want to do for my master
thesis (2+ years away) and I have an idea. I am writing to ask if
the question has a known answer or is even theoretically possible
to conduct.
My idea is to write a source-to-source compiler from a Lisp_2 to Rust, but I do not know if it is possible to transpile from a dynamic language to a statically typed language. Is it?