Forwarded from Eugene Bosiakov
Объяснить свойства монад все могут. Почему такие интродакшны не отвечают на вопрос зачем их ввели в язык? Эрланг справляется и без монад
Forwarded from Eugene Bosiakov
A monad is a container type together with a few methods defined on it.
Forwarded from Alexander Smirnov
В этом смысле реальный язык это монада над категорией всех типов
Forwarded from Eugene Bosiakov
sealed trait UserList
case class EmptyList extend UserList
case class ActualList extend UserList
def fetchUserList(): UserList
Это понятный код, ясно что и куда. А монада несет за собой какой-то набор матаппарата. Зачем он мне? Я же из базы данные тащу, там два типа, либо пусто, либо что-то есть, вот trait
Forwarded from Eugene Bosiakov
Все от того, что решили взять модель вычислений из теории категорий, теперь хрен разберешься, с одной стороны интерфейс с флатмапом, с другой стороны моноид, за что нам все это
Forwarded from Victor Kalinin
Как я понимаю, монада должна иметь какой-то эффект. Иначе это id не имеющий прямого смысла. Если же нужна ast монада, то что в ней будет за эффект?
Forwarded from Sergey Alaev
А что не так?
4242.map[A](f: Int => A) = f(42)Forwarded from Alexander Smirnov
Кстати, а я уже проводил в этом чате срач, что хаскель это наиболее продвинутая реализация ООП?
Forwarded from Deleted Account
а как тогда сделать обобщённое программирование?
Forwarded from Апач Пёсонька
Ux и интерфейс это те вещи на которые положили хуй при проектировании гита
Forwarded from Апач Пёсонька
у него даже название переводтся как мерзавец
Forwarded from Апач Пёсонька
короче, задача свн, это трекать ЛЮБОЕ изменение и персистить метаинфу которая сопутствует этим действиям
Forwarded from Апач Пёсонька
локалхистори в идее бы прокачать до СВН и будет збс
Forwarded from Апач Пёсонька
ещё бы было збс если бы гит умел говорить вот тот чел собирается поредачить файл который ты сейчас пердолишь, там будет мердж конфликт