История изменений
Исправление AndreyKl, (текущая версия) :
а вот такое сложно изобразить?
getType : Int -> Type
getType 42 = String
getType _ = Int
workingFunction : (x: Int) -> (getType x)
workingFunction 42 = "Мужик, это был смысл жизни, вселенной и всего такого!"
workingFunction x = x*2
Исходная версия AndreyKl, :
а вот такое сложно изобразить?
getType : Int -> Type
getType 42 = String
getType _ = Int
workingFunction : (x: Int) -> (getType x)
workingFunction 42 = "Мужик, это был смысл жизни, вселенной и всего такого!"
workingFunction x = x*2