Tak jsem se pokusil trochu sestoupit.
Má zajímavou práci s typy. Nicméně nevidím na ní nic úchvatného. Pro výuku to může být zajímavý jazyk a určitě by mohl konkurovat Pascalu nebo Basicu, ale nic moc víc bych od ní neočekával. Z oněch nadoblačných výšin je vidět pár jazyků, které jsou jednodušší, mocnější a použitelnější. A není třeba si připlácet na debugger.