Исправление Virtuos86, (текущая версия) :
В Хаскеле тоже есть REPL: GHCi называется.
Видел, когда трогал хаскелль. Признаться, не понял тогда, зачем оно (хотя я и в питоне-то не особо репл люблю: вводишь функцию, ошибся => вывалился экзепшен и вводи всё заново; однострочник проверить какой, не более того).
И типы надо именовать, тогда сигнатура f будет вообще неизменной:
f :: UUID -> ...В первом случае с String должно быть
type UUID = String
Это «алиасы», насколько я понимаю. Есть такое, удобная штука.
Исходная версия Virtuos86, :
В Хаскеле тоже есть REPL: GHCi называется. Видел, когда трогал хаскелль. Признаться, не понял тогда, зачем оно (хотя я и в питоне-то не особо репл люблю: вводишь функцию, ошибся => вывалился экзепшен и вводи всё заново; однострочник проверить какой, не более того).
И типы надо именовать, тогда сигнатура f будет вообще неизменной:
f :: UUID -> ...В первом случае с String должно быть
type UUID = String
Это «алиасы», насколько я понимаю. Есть такое, удобная штука.