скала это типа аналог тайпскрипта только для джавы так?
Скала компилится не в джаву, так что аналогия неточная. Но это попытка собрать хаскель на JVM. Со стиранием типов в рантайме есть боль при компиляции где компилятор не выкупает что происходит, но больше свободы действий. Так в скале есть HKT например. В хаскелях кстати тоже стирание типов