Ci sono percorsi tipi dipendenti e penso che sia possibile esprimere quasi tutte le caratteristiche di tali lingue come Epigram o Agda a Scala, ma mi chiedo perché Scala non supporta questo più esplicitamente come fa molto bene in altri settori (ad esempio , DSL)? Qualcosa che mi manca come …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.