Кстати второй и третий пункты отсюда я смог пофиксить сделав для Hold c => c opaque constraint synonym так что он не раскрывается пока c полностью не инстанциирован
Добрый день. А есть в Haskell встроенная функция, чтобы вывести любой объект на экран? Есть объекты с кастомным data типом, в целях отладки нужно посмотреть, что внутри. Или только писать свою функцию для вывода?
А в haskell нельзя писать так: func (x:xs) (x:ys) = … Подразумевая, что такая перегрузка должна быть использована тогда, когда первые элементы списков равны? В Prolog такое можно было.
10.3 Where does Erlang syntax come from? Mostly from prolog. Erlang started life as a modified prolog. ! as the send-message operator comes from CSP. Eripascal was probably responsible for , and ; being separators and not terminators.