какой-то у вас странный темплитинг

Всё, что в долларах — переменная.

И все равно будет module

А тебе что надо?

тогда неясно как это поможет Васе

А, ну пусть так и напишет

а что за токен NAMESPACE_OR_MODULE?

Это комплит между модулем и неймспейсом, можно выбрать

Почему из тебя всё надо клещами выпытывать?)

но ведь тайп тиори и есть компутер сайнс

он имел в виду алгоритмы очевидно

Кто читал всякие type theory и lambda calculus - можете ли вы сказать что время было не зря потрачено? Или лучше бы вы чем-то другим занялись? Ну, там, допустим что то практичное выучить или там компьютер саенс.

"читать" их сложно. можно, но без толку. на них надо потратить немало времени и сил. это на порядке сложнее, чем выучить новый фреймворк или ЯП.

Теория типов сама по себе не очень сложная, вон, "Types and programming languages" читается отлично без какой-то особой подготовки

ну так category theory for programmers, где до последнего автор долбит аналогию с направленным графом и гомоморфизмом графов тоже.

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

Мне кажется, проблема теорката не в том, что он ссылается на многие другие разделы математики в качестве примеров. Проблема теорката (кстати формальные системы ведь тоже так же тяжело даются людям) в их "слишком высокой" абстрактности и неумении из таких абстракций извлекать хоть какой-то смысл. Вон половина Хаскелевых туториолов до сих пор на полном серьезе утверждают, что функтор "сохраняет" структуру, хотя на самом деле "неразрывает" подошло бы гораздо больше. Даже такие вещи уже сильно вводят в заблуждение при попытке нематематика хоть как-то познакомиться с этими знаниями.

Это и есть computer science, если что. Это как раз та вещь в программировании, которая и делает его частью математики.

Другой вопрос, что она не обязательна для того, чтобы писать софт даже в совсем ФП стиле

У меня при словах computer science как-то алгоритмы всплывают, точно не теоркат, думаю большинство людей тоже так считают

Опять же. Понимать что такое моноид уже достаточно для того, чтобы дойти до натуральных трансформаций уж точно. Не нужны тебе будут супер продвинутые примеры из других областей математики.

Я знаю что такое монада, обьясните теперь что такое моноид

Из того, на чём я проверял, должно быть хорошо практически везде. Если будет где-то воспроизводиться, покажи, пожалуйста. Дальше нужно либо ещё перелопачивать импорт-комплишн в FCS, который построен на пачке хаков и плохо масштабируется/переиспользуется, либо заменять его на свой целиком. Я добъю ещё пару кейсов в варианте с FCS, а в будущем хочу попробовать выкинуть его и переиспользовать логику из квикфикса с импортом, в которой местами уже заметно меньше проблем, и решарперный комплишн. Это будет сильно лучше и для других фич, но там пока больше работы, чем поправить плохие куски из комплишна в FCS.

Я знаю что такое монада, обьясните теперь что такое моноид

Мне кажется эти слова просто придумали для троллинга

Я когда по теоркату читал статьи, понял, что основательно подзабыл математику. Автор приводит примеры из линейной алгебры, из теории множеств, а я понимаю, что сами термины помню — группа, полугруппа, кольцо — а чем они отличаются, уже не помню. По уму, это надо учить в юном возрасте, когда всё остальное изучаешь.

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

Особенно вагину

недостижимый для подростков объект

современные подростки не против и друг с другом если что

не знаешь, судя по вопросу

Подожди, а раньше с кем?

Что там знать то? Это просто DU который оборачивает какой то тип. К примеру option

Что там знать то? Это просто DU который оборачивает какой то тип. К примеру option

я про гомосексуализм

Аааа! ааа…. эээ

Что там знать то? Это просто DU который оборачивает какой то тип. К примеру option

Вот только что воспроизвел, это картинка до

@fvnever