Жсеры листают и приговаривают полушёпотом "ух бля". При этом у них аж пот на лбу выступает. Любезно мне предлагают подписаться на канал с их мемами но я отказываюсь. Надо ли говорить какой дичайший ор потом? Аж обои от стен отклеиваются.

Хвааатиииит

Ну не смешно же уже

не помню сколько он собирался. но да норм

а теперь надо чет почитать

type-driven development with Idris хорошая книга (которую я не дочитал, но обязательно вернусь к ней через пару месяцев)

(или лет)

вполне мб и лет)

может через пару лет идрис станет продакшн реди (нет)

да мне основы бы посмотреть

как на нем писать

а потом уже об идеологии

тогда та книга – самое оно

http://docs.idris-lang.org/en/latest/tutorial/

а че как тут пакеты устроены

чет нихуя не понятно

Invite link: https://t.me/joinchat/AAAAAD9SWO_tLd7rJ9S7Ig Please stay on the topic (dependent types, verification and related themes) and refrain from using stickers/memes.

ррра, потом крч потыкаю

Кто-нибудь смог откомпилить реакт-приложение с помощью ClosureCompiler?

Кто-нибудь смог откомпилить реакт-приложение с помощью ClosureCompiler?

А нафиг? Прироста по сравнению с аглифаем особо не будет

А нафиг? Прироста по сравнению с аглифаем особо не будет

Он круто компилит. Как плагин для вебпака мне удалось только выпилить кучу ненужных полифилов. Но это такое. Вот бы весь проект им прогнать - было бы много профита. Сейчас ребята интегрируют колж компилер в адвэнсед режиме, для билда бандлов https://github.com/facebook/react/issues/11092

Он круто компилит. Как плагин для вебпака мне удалось только выпилить кучу ненужных полифилов. Но это такое. Вот бы весь проект им прогнать - было бы много профита. Сейчас ребята интегрируют колж компилер в адвэнсед режиме, для билда бандлов https://github.com/facebook/react/issues/11092

Ну у меня сейчас аглифай жмет бандл с 20 мегабайт до полутора

так у closure вроде ещё задача оптимизировать

Компилится вот в это console.log('puuuuf');

Что мне очень нравится)

Хз, но идею тащить джаву в пайплайн я нахожу довольно хреновой

Хз, но идею тащить джаву в пайплайн я нахожу довольно хреновой

Тут не поспоришь...

А нафиг? Прироста по сравнению с аглифаем особо не будет

ты узнал об этом опытным путем или предположение?

аглифай вроде как только дедкод удаляет (с подачи вебпака), убирает отступы и переименовывает; возможности gcc несколько шире

я помнил, что gcc убирает аргументы некоторые, но он еще и результат инлайнит, оказывается

Я на gcc как-то тригернулся

Не ожидал в этом чате

а с рекурсией может так вычислять?

очень примитивное превыполнение короече

частоиспользуемый код тоже выносит в функции

лишние аргументы из функций он таки убирает

Релизнется препак и будет хорошо

лол

а если например у нас функция всегда перезадает один из аргументов

то он удалит код для создания аргумента?

void 0

давно не виделись

хуя он прошаренный

неплохо

а зачем там void

или это типо потому что короче код?

потому что void 0 короче undefined

мем

+

https://www.idris-lang.org/idris-1-2-0-released/

LinearTypes

старые мемы

классика!

опа и там тоже аниме есть

старые мемы

андрюша, какой дистр используешь?

ещё круче адреев дронами называть

ERROR: S client not available

ещё круче адреев дронами называть

дрюнями

обожаю

дрюша

дрон топ

а вы пацаны какие дистры юзаете?

дрюня как-то по гейски

бля, запилю конструктор мемов на электроне

лол

зря конечно обведённый шрифт, но в целом здорово

нужен еще один

ШУРОЧКА просто

смогу воспользоваться этой картинкой во многих диалогах

а вы пацаны какие дистры юзаете?

Арч

андрюша, какой дистр используешь?

мак ос

смогу воспользоваться этой картинкой во многих диалогах

?

мак ос

Rich

не, у меня бу мак

Как там твой клиент телеги

Как там твой клиент телеги

никак

@ZeroBias мб подписаться на untypedMessage ?

@ZeroBias мб подписаться на untypedMessage ?

Эт где?

В третьей версии

ну апдейты чтобы врубить

никак

Ну как посмотреть))

ну апдейты чтобы врубить

Так там чет посложнее требовалось вроде бы, seq считать и всё такое

а блин

а что тогда в untypedMessage приходит

а что тогда в untypedMessage приходит

Ну случайно залетевшие апдейты в том числе, на самом деле это же просто default case в свитче по типу

Ну у меня сейчас аглифай жмет бандл с 20 мегабайт до полутора

Чет много

Да офигеть как причём %)