169 похожих чатов

> от одного типа num 1. типа num нет, есть класс

типов Num, но от него ничего не строится..

> вся система в хаскеле строится
2. о какой всей системе в хаскеле речь идёт?

> типы хардкодятся в сигнатуры
3. это действие — "хардкод типов в сигнатуры" отдаётся на откуп разработчикам (его можно и не делать, другое дело, что с точки это действие может служить для других целей, таких как сопровождаемость кода), ведь компилятор может и сам выводить тип той или иной функции

> В отличии от плюсов где есть реальная система типов.
4. это как-то даже толсто звучит. а какая в плюсах реальная система типов?

2 ответов

8 просмотров

Значит к них какой-то общий тип? Для создания типов?

'Егор 'Зорин
Значит к них какой-то общий тип? Для создания типо...

Какой-то странный вывод. Вон я выше создал тип S из ничего и у него нет общего типа ни с чем

Похожие вопросы

Обсуждают сегодня

Anyone here suffers from unexplained aural migraines, who would be up for talking for a bit? Doesn't *have* to be aural, but I am not asking about headaches, I mean actual mi...
Martin Rys
55
подскажите пожалуйста, как мне освободить результат записанный в переменную result? в чем проблема подскажите если МОЖЕТЕ?
Михаил Helper
28
есть тут кто-то , кто только начал изучать си? если проходите курс на степике или как-то сами изучаете, пишите, может, скооперируемся?..
Eule
25
Слушайте, ещё такая интересная задачка. Сделан аудит действий пользователей через триггеры в базе, соответственно каждый пользователь имеет свой логин и пароль в базе. Это пре...
Сергей Бычков
12
Скажите, тут нет проблемы? IMyInterface1 = interface function GetInterface2: IInterface2; ... function TMyInterface.GetInterface2: IInterface2; begin Result := TI...
Ruslan aka DUDE
18
вопрос по москвину - не понимаю вот такого вопроса похоже Сколько разных всегда завершающихся функций с типом a -> a -> b -> a -> a можно реализовать? Две функции одинаково...
Fedor
11
Кстати, раз про скачивание файлов разговор зашел) Сделал бота для себя (транскрибирующего и суммаризирующего встречи) но не ожидал что за 2 месяца 10к пользователей набежит😅...
Andrey Obolenskiy
8
я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
100
Утра доброго. Просветите пожалуйста. Хочу сделать rest сервер на делфи. Посмотрел 3 фреймворка: dmvc, Mars, mormot. Ни в одном из них не упоминается ассинхронная обработка вхо...
Сергей Бычков
10
Как попросить stack install делать executable без .exe на винде?
Danila Danko
9
Карта сайта