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

Представь, что у тебя есть условная модельданных module Company =

type T = ...
module Order =
type T = (* тут ты юзаешь Company.T *)
module Price =
type T = (* тут ты юзаешь Order.T *)
module Customer =
type T = (* тут ты юзаешь Order.T и Price.T *)

Чем глубже в иерархию типов, тем больше у тебя будет T...ехал гитлер через гитлер...Зачем излишняя вербозность? Когда можно сконцентрироваться просто на типах без модулей.

5 ответов

45 просмотров

ты забыл маааленькую тонкость... (все ф-ции в модуле, работающие с данным типом)

Vlæd-Zá Автор вопроса
dd
ты забыл маааленькую тонкость... (все ф-ции в моду...

Без разницы, как только у тебя появляется иерархия из этих типов, они у тебя бай дизайн протекают в другие.

dd
ты забыл маааленькую тонкость... (все ф-ции в моду...

F# умеет склеивать типы и модули с одинаковым именем, не нужно даже изгаляться какими-то T

dd
ты забыл маааленькую тонкость... (все ф-ции в моду...

это какое-то анрил условие) обычно модули как-то да друг с другом взаимодействуют) и в коде что ты приводил не типы эти приватные, а только их конструкторы, так что типы и вовне протекают

V S
это какое-то анрил условие) обычно модули как-то д...

просто Илья забыл и этот косяк компилятора упомянуть 😁😁😁 (работа с приватными типами заменяется на приватные конструкторы как раз из-за этого)

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

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

Господа, а что сейчас вообще с рынком труда на делфи происходит? Какова ситуация?
Rꙮman Yankꙮvsky
29
А вообще, что может смущать в самой Julia - бы сказал, что нет единого стандартного подхода по многим моментам, поэтому многое выглядит как "хаки" и произвол. Короче говоря, с...
Viktor G.
2
30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
14
Добрый день! Скажите пожалуйста, а какие программы вы бы рекомендовали написать для того, чтобы научиться управлять памятью? Можно написать динамический массив, можно связный ...
Филипп
7
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
Ребят в СИ можно реализовать ООП?
Николай
33
https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_h_common.erl#L174 https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_olp.erl#L76 15 лет назад...
Maksim Lapshin
20
Карта сайта