Нет противоречия, я не ною, что дохуя сахара, прост этот сахар особенно порог входа не снижает

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

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

А зачем разгребать?

а как ты собираешься понимать собственный код?

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

тебе сахар читать сложно?

а как ты собираешься понимать собственный код?

Так, а о каком сахаре речь?

тебе сахар читать сложно?

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

Сахар на уровне сторонних библиотек или новых стандартов языка?

Так, а о каком сахаре речь?

синтаксическом

превратят жс в мол какой-нибудь и охуеете

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

конечно не станет, один раз запомнил и всё, никогда не понимал этого

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

э лол

превратят жс в мол какой-нибудь и охуеете

ризон же в жс превращают

все что попало не добавляют

для этого целый комитет есть

На моей памяти TC39 единственные никогда не лажали

На моей памяти TC39 единственные никогда не лажали

default export

Без него вообще никак нельзя

Потому что никто не гарантирует, что у того, что ты импортируешь вообще будет существовать понятие недефолтного экпорта

То есть захотят вот WHATWG сделать спеку для импорта ресурсов типа картинок, а TC39 им такие мол, а давайте вы из картинок будете { image } импортировать каждый раз, а то мы лохи про дефолтный вариант не подумали, ждите ещё 5 лет обсуждений

kjk

я чет заметил что с каждым днем людей на один меньше

в основном ливают те у кого в коммон реакт чат один

То есть захотят вот WHATWG сделать спеку для импорта ресурсов типа картинок, а TC39 им такие мол, а давайте вы из картинок будете { image } импортировать каждый раз, а то мы лохи про дефолтный вариант не подумали, ждите ещё 5 лет обсуждений

И вот в таких вот решениях у них вся и хурма — даже если профит от чего либо не виден прямо сейчас, то впоследствии он всегда появляется, так как люди думают наперёд

в основном ливают те у кого в коммон реакт чат один

Думали тут функции компоненты будут обсуждать

как ето связано

А тут мемы про ООП и эндофункторы

Думали тут функции компоненты будут обсуждать

Думали тут обсуждают чистые компоненты

А тут про функции

Мда

функциональная \0\0\0 чистота

функциональная \0\0\0 чистота

функциональная \О\О\П чистота

Чатик по пурсе есть теперь @purescript_ru

а что за ru bot

насколько подойдет вот такая подборка чтобы начать разбираться рекурсивных схемах? https://github.com/passy/awesome-recursion-schemes#introductions какой нужен бэкграунд чтобы в это вообще был смысл лезть?

я только с фри монадами разобрался более менее (могу чуть подробнее расписать что знаю)

хочу понять вот это https://github.com/slamdata/purescript-matryoshka

чтобы потом понять как сделано вот это https://github.com/slamdata/purescript-sql-squared чтобы потом сделать кое-что похожее по смыслу (дсл для кое-чего SQL-подобного)

slamdata суровые чуваки

@xgrommx тут про рекурсивные схемы интересуются)

все вопросы в личку

ок, спасибо)

О рекурсивных схемах только в секрет-чат

а что за ru bot

не удивлюсь если это для глобальных банов

?

я только с фри монадами разобрался более менее (могу чуть подробнее расписать что знаю)

расписывай, это отличная практика для закрепления материала только расписывай так, будто ты хочешь объяснить жс-ерам

а что за ru bot

Помогает админить

расписывай, это отличная практика для закрепления материала только расписывай так, будто ты хочешь объяснить жс-ерам

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

да, всё расписывайте пожалуйста как жс-ерам

да, всё расписывайте пожалуйста как жс-ерам

+

Это норм практика юзать Обзерваблы с другими монадами?

Ну да

ну по сути Обзерваблы это как task + IO, нужно ли ещё там хз

Обсерваблы сильно ограничены

И что хуже, не всегда работают очевидным образом

Чем меньше обсерваблы будут выполнять работу за других — тем лучше

Чё, какие тренды, пока я отдыхал ? На чём функционально писать модно в этом году ?

С прошедшим всех )

идрис

В прошлом году уже слышал и мне тут давали книгу по нему

раст

Ты чего, это ж из 2k10

Говорят, Kotlin теперь модный ФП язык ? https://i.gyazo.com/9c29c4ad5271dfda2bb6e6660ffb0fa9.png

Появился в 2010 Автор Грэйдон Хор, разработчики проекта Rust

ERROR: S client not available

Ты чего, это ж из 2k10

вброс

идрис

what?

лол

что не так

вообще забавно 1 groups in common зашёл и сразу спросил

у меня 2 группы

ооп чат

у меня тоже

ну да это коммутативное отношение

what?

что what?

вообще идрис можно рассматривать больше как логическое программирование

что what?

what что what

вообще идрис можно рассматривать больше как логическое программирование

то есть идрис не для пиления каких-то проектов а так чисто поразмышлять?

откуда такой вывод?) Для тебя логическое программирование - это чисто поразмышлять?)

А функциональное - это когда не проекты пилить, а функции?)

ну это выглядит как отмаза какая-то просто

хз

а объектно-ориентированное когда пилишь ОБЪЕКТЫ какие-то

мда мда

я не утверждаю ничего

нет, идрис как раз создавался как язык с завтипами, который МОЖНО использовать для решения каких-нибудь бизнес-задач (в отличии от других языков с завтипами, которые используют в основном для верификации или систем для доказательств)

получилось или нет - хз, не уверен

ждут блодвен теперь

Блэт вен

кстати да, чет все на котлине пишут уже

надо тоже

просто само программирование с завтипами и всеми этими прувами - это не сколько фп, сколько использование фп, но не обязательно, полагаю, оно там вторично. С использованием элементов логического программирование при написания кода на типах

а если писать тайплевел на тайпклассах и фандепах, то это чистый пролог

что-нибудь типа того % prolog add(zero, M, M). add(succ(N), M, succ(R)) :- add(N, M, R). -- pseudohaskell kind Nat data Zero :: Nat data Succ :: Nat -> Nat class Add (n m r :: Nat) | n m -> r instance Add Zero m m instance Add n m r => Add (Succ n) m (Succ r)

нужно пролог изучить

может там после первой строчки точка с запятой нужна, как в эрланге, так что это тоже такой псевдопролог, какой помню