Dependent ML — Другие языки