void :: Functor f => f a -> f () void x = () <$ x

other-modules бывают только в тестах

так у тебя весь бинарь из одного модуля, остальное в library

и почему всё в экспозед?

потому что тебе надо тесты писать

ну да есть такое

но это типичная трабла ещё с ооп тянется

тип по хорошему ты тестируешь то что отдаёшь пользователю либы

но то что ты отдаёшь наименее тестируемое io дерьмище

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

интересно, можно ли это делать через common блоки

короче я думал что это чисто мои костыли что я тяну модули наружу ради тестов

но на деле вот оно как

получается other-modules бесполезны

еще Internal модули делают что-бы противник мог использовать что-то из "никаких гарантий совместимости"

и подход hpack тогда норм

а так же про попытки мимикрировать под императивные языки

Вспомнилось {-# OPTIONS_GHC -fno-warn-type-defaults #-} {-# LANGUAGE ExtendedDefaultRules, OverloadedStrings #-} module Hello where import Language.BASIC main :: IO () main = runBASIC $ do 10 PRINT "Hello BASIC World!"

это еще одна строчка на которую нужно отвлечься когда ты яростно долбишь код.

что, IDE с автоимпортом так и не завезли? 🙁

что, IDE с автоимпортом так и не завезли? 🙁

а вы с какой целью интересуетесь?

ide в хаскеле это как дженерики в го, сейчас будут объяснять ненужность

В го есть дженерики?

Да

Через слоговое письма канадских аборигенов

ᐸAᐳ

🌚

В го есть дженерики?

Есть конечно

3 темы по кругу "А чо иде нет? Ну вот было бы я бы хаскель изучил", ТК и фримонады

А почему название должно что-то означать?

+

3 темы по кругу "А чо иде нет? Ну вот было бы я бы хаскель изучил", ТК и фримонады

и го

cycle [А чо иде нет?, Ну вот было бы я бы хаскель изучил, ТК и фримонады]

интересно, можно ли это делать через common блоки

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

ghc на 48CPU хосте без -j радостно жрёт все процы и подкидывает LA до сотни

как так жить можно

Параметрический полиморфизм спасает от этого или нет?

И что спасает, если речь о хаскеле.

он этого специальный спасает

ad-hoc

запилю @haskell_prod и буду там молчать

кстати а канал для вакансий умел?

а то @wormholio вчера писал, а оно ушло в историю уже

а вы с какой целью интересуетесь?

ну просто если есть автоимпорт, то ни на какую строчку отвлекаться не придётся 🙂

кстати а канал для вакансий умел?

А что, был такой?

он этого специальный спасает

Я подумал и пришел к выводу, что наверное "специализированный" лучше, чем "специальный" для ad-hoc

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

ну канал в смысле телеграмма, когда он почти для всех R/O кроме избранных

Я подумал и пришел к выводу, что наверное "специализированный" лучше, чем "специальный" для ad-hoc

согласен, но если бы я не перечитывал пирса, я бы вообще адхок написал :)

а ad-hoc еще лучше, чем специализированный

А что, был такой?

в Гиттере всё ещё есть

по улицам гиттера метет суховей

Но он не токсичный

кстати а канал для вакансий умел?

да умер туда сложно было писать и все всё равно писали в чат

на хаскель еще и вакансии есть?

Что такое эта ваша токсичность? Старуха с клюкой? Ведьма, которая загадила все чаты и соц сети? Да её вовсе и не существует. Что вы подразумеваете под этим словом? Это вот что: если я, вместо того, чтобы писать код каждый день, начну гнобить рубисто, у меня настанет токичность. Если я, входя в чат, начну, извините за выражение, обоссывать гоферов и то же самое будут делать @qnikst и @A64m_qb0, в чате начнётся токсичность. Следовательно, токсичность не в чатах, а в головах.

по поводу R/O телеграма - как раз сейчас вышла занимательная статья. Иран - страна с самым большим числом пользователей телеграма, но при этом телеграм там давно запрещен

так что нет оснований полагать, что у нас пойдет как-то иначе.

Я был уверен что он в иране еще не запрещен

на хаскель еще и вакансии есть?

ахаха нее

они еще пилят национальный иранский мессенджер

телега не особо давно вроде, но там еще с давнишних времен впн у каждого второго

ну и у нас будет

да

телега не особо давно вроде, но там еще с давнишних времен впн у каждого второго

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

ну и тут тоже самое

своё будет, но такое, что лучше бы никакого не было

своё будет, но такое, что лучше бы никакого не было

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

будут вяло "бороться" с впн-ом

http://kod.opentg.us

он звонки потянет?

своё будет, но такое, что лучше бы никакого не было

уже есть - tt.me (кек)

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

у меня естт знакомые иранцы, которые учат русский

будут вяло "бороться" с впн-ом

просто будет еще один повод любого присадить или штрафануть

говорят, что там все юзают все включая инстаграм несмотря на запреты

всем просто похуй

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

да, будут какие-то нормы по штрафам

даже банклвские переводы работают несмотря на санкции

через сторонние компантт в третьих странах

А почему название должно что-то означать?

Действительно

вот 1с все ругают за русскость и т.п.