типов Num, но от него ничего не строится..
> вся система в хаскеле строится
2. о какой всей системе в хаскеле речь идёт?
> типы хардкодятся в сигнатуры
3. это действие — "хардкод типов в сигнатуры" отдаётся на откуп разработчикам (его можно и не делать, другое дело, что с точки это действие может служить для других целей, таких как сопровождаемость кода), ведь компилятор может и сам выводить тип той или иной функции
> В отличии от плюсов где есть реальная система типов.
4. это как-то даже толсто звучит. а какая в плюсах реальная система типов?
Значит к них какой-то общий тип? Для создания типов?
Какой-то странный вывод. Вон я выше создал тип S из ничего и у него нет общего типа ни с чем
Обсуждают сегодня