GL
Это не советы, это требования. "что", не "как"
это самые что ни на есть требования
Size: a a a
2020 September 01
GL
но чтобы их соблюдать слишком много кода придется признать мусорным и вредным
SA
Конечно. Это же далеко не единственные требования, и остальные требования вполне могут вступать в конфликт и с инкапсуляцией, и со связностью, и с SRP
Oℕ
Очень интересный выпуск был про ТФ в скалалазе... но так и остается ситуация:
Мужики, вот это ТФ -
Мужики, вот это ТФ -
trait AddAlg[F[_], T] {
def add(a: F[T], b: F[T]): F[T]
}
val res: F[Int] = addAld.add(a, b)
А теперь запилите на этом вон ту огромную опердень для бизнеса. )я не оч понял
Oℕ
у бизнеса может быть много разных задач
Oℕ
некоторые из них требуют не монадических языков
Oℕ
ТФ, по идее, должен помогать создавать границы не только на словах.
границы?
A
границы?
Ну образно сказал) Про ограничения проверяемые кодом
Oℕ
ну ещё раз,
у вас есть бизнес-задача,
для решения бизнес-задачи, вы разрабатываете язык
язык по сути и представляет уже необходимые ограничения
т.е. вот всё, что на языке можно выразить - вот такие и ограничения
ТФ позволяет оперировать такими языками, решая expression problem
т.е. позволяет разработать несколько микроязыков, и в нужном контексте использовать их "объединение"
у вас есть бизнес-задача,
для решения бизнес-задачи, вы разрабатываете язык
язык по сути и представляет уже необходимые ограничения
т.е. вот всё, что на языке можно выразить - вот такие и ограничения
ТФ позволяет оперировать такими языками, решая expression problem
т.е. позволяет разработать несколько микроязыков, и в нужном контексте использовать их "объединение"
Oℕ
Вы можете обойтись без ТФ любым другим подходом, который позволяет ваши термы на вашем языке выражать
KS
Фримонады, например.
Oℕ
можете написать АДТ\ГАДТ
Oℕ
фримонады - да, как вариант ГАДТ
Oℕ
просто АДТ\ГАДТ в скала 2 пока не очень хорошо позволяют склеивать, наращивать языки
Oℕ
вы можете я не знаю, свой компилятор с нуля написать, и вообще фигачить на SQL, плохой, скажете язык для бизнеса? а монад там нет
A
Вы можете обойтись без ТФ любым другим подходом, который позволяет ваши термы на вашем языке выражать
Да это понятно. Как без ТФ решать вопросов нет)
Oℕ
Ну собственно вот и выходит, что все называемые плюсы ТФ это в основном плюсы вообще интерпретации.
А ТФ - это легкодоступная форма интерпретаторов, которая собственно позволяет язык на кучу мелких разбивать.
А там, где вы большое на мелкое разбиваете, а потом в разных местах используете наборы, у вас начинает прослеживаться модуляризация
А ТФ - это легкодоступная форма интерпретаторов, которая собственно позволяет язык на кучу мелких разбивать.
А там, где вы большое на мелкое разбиваете, а потом в разных местах используете наборы, у вас начинает прослеживаться модуляризация
Oℕ
Так что я бы сказал, что если с чем ТФ неявно связан - так это с модульностью
𝛈µ
Скоро будет полностью рабочий тайптег для дотти
𝛈µ
В 0.26 включили мой говнопатчик