в некоторых научных областях доля статей на английском 50%-60%

а то и ниже

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

Могу только повторить вопрос - а на каких языках остальное? На Китайском?

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

Зарубежные авторы все равно по-английски публикуются.

Зарубежные авторы все равно по-английски публикуются.

нет

Ну значит повезло программистам, что учить нужно только английский.

Могу только повторить вопрос - а на каких языках остальное? На Китайском?

всякие. зависит от предметной области

Даже Окасаки писал свою книгу в Америке на американском. Хотя этнический понятно кто )

http://journals.plos.org/plosbiology/article?id=10.1371/journal.pbio.2000933

While it is recognized that language can pose a barrier to the transfer of scientific knowledge, the convergence on English as the global language of science may suggest that this problem has been resolved. However, our survey searching Google Scholar in 16 languages revealed that 35.6% of 75,513 scientific documents on biodiversity conservation published in 2014 were not in English. Ignoring such non-English knowledge can cause biases in our understanding of study systems.

Ну значит повезло программистам, что учить нужно только английский.

с этим согласен:) жаль, что в других областях не так

Ладно, пойду продолжу про Гит читать. На русском )))

на всякий случай вставлю про гит - читать надо git magic, оно есть на русском

А я как лохъ читаю https://git-scm.com/book/ru/v2

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

там же

спасибо, посмотрю

в смысле где и не на русском, сейчас дам ссылки

http://www-cs-students.stanford.edu/~blynn/gitmagic/ - оригинал и тут же ссылки на переводы

http://www-cs-students.stanford.edu/~blynn/gitmagic/intl/ru/ - русское

Ага, спасибо

а скинь свой хеллоуворлд на полсотни строчек

https://github.com/bodqhrohro/taporwave

а еще по гиту - но это уже для развлечения - think like git и git branching game

Хаскельные бинари отлично жмутся upx, кстати. В 3-5 раз ужимаются в стреднем, иногда больше, редко-редко меньше

Бывает приятно пожать всякие intero/hlint/hindent/alex/happy

strip уже хороший эффект дает

правда все плохо если нужно гдб цепляться, тогда отсутствие символов убивает

подтверждаю за upx, на среднем режиме из 12M делает 3.5M

правда все плохо если нужно гдб цепляться, тогда отсутствие символов убивает

в этом и есть смысл отладочных символов же — отлаживать

ну как бы да

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

тебя, например, убивает

нет, я их просто не стрипаю

Хм, никто не задумывался о том, как бы выглядел тайп класс и аксиомы для костыля, который бы позволял в энергичном языке делать call-by-need вычисления?Это бы были комонады или что? P.S. Я знаю про futures, но они скорее unique types наоборот. Хочется именно что-то на основанное на магии тайпклассов

call-by-need — это генераторы, комонада

питоносвкие генераторы, или плюсовые корутины.

Генераторы не только в питоне

Ага, я просто не стал уточнять.

тут про книги нередко говорят - вот еще мнение https://medium.com/@_bravit/%D0%BA%D0%BD%D0%B8%D0%B3%D0%B8-%D0%BF%D0%BE-%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8E-%D0%BD%D0%B0-haskell-%D0%B2%D1%8B%D0%B2%D0%BE%D0%B4%D1%8B-712c1f5b7749

тут про книги нередко говорят - вот еще мнение https://medium.com/@_bravit/%D0%BA%D0%BD%D0%B8%D0%B3%D0%B8-%D0%BF%D0%BE-%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8E-%D0%BD%D0%B0-haskell-%D0%B2%D1%8B%D0%B2%D0%BE%D0%B4%D1%8B-712c1f5b7749

Да норм пост

Хотя жаль что все книги про то как вкатываться в хаскель

Да будет книга и про то, как дальше катиться

Когда?

Пилите там?

Хочется до 2018, но темп написания не такой на практике выходит. Но не забросили, делаем

early access будет?

Когда?

Ты в LW slack-е сидишь?

Да

Я тоже. andreik

Я в курсе

early access будет?

Уже есть

Надо просто стать соавтором или ревьюером

Платного early access не будет, потому что скорее всего сама книга будет бесплатной.

Надо просто стать соавтором или ревьюером

ревьювер вероятно предполагается тоже с опытом в разработке на хаскелле?

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

Т.е. пока что ревью имеет смысл на уровне таких замечаний: — лучше поменять порядок изложения — можно упомянуть такие-то связанные темы — лучше избегать такую-то тему (потому что такие-то грабли) — фактические ошибки — etc и не имеет смысл делать ревью, мол новичку текст будет непонятен (он сейчас весь непонятный).

Соавтором если становиться, можно не писать целые главы. Там есть полно TODO, где надо просто несколько абзацев добавить про тот или иной вопрос.

Или придумать хорошие примеры для демонстрации концепции.

^ на каком языке книга?

англ. конечно

а есть способ отслеживания новостей? хотелось бы узнать, когда будет доступна

https://intermediatehaskell.com/

спасибо!

о, даже уже подписан, плохая память

зачем нужна функция the ?

что-то не могу придумать ей применения

или её фишка в том, что она именно падает в случае разных элементов?

что-то типа assert в си ? =)

типа assert

у меня есть несколько странный вопрос к знатокам - возможно ли в Hask как то представить категорию монад? возник он у меня от того, что хочеться понять можно ли реализовать Free монаду как Adjunction или это почти не реализуемо в текущем состоянии языка для справки, вот на SO Кмет писал: ("So what is a Free Monad? Well, we do the same thing we did before, we start with a forgetful functor U from the category of monads where arrows are monad homomorphisms to a category of endofunctors where the arrows are natural transformations, and we look for a functor that is left adjoint to that." ) https://stackoverflow.com/questions/13352205/what-are-free-monads/13357359#13357359

Чтобы представить категорию монад, тебе нужно в качестве объектов взять типы с кайндом ☆ -> ☆ и инстансом Monad. Я не очень понимаю влпрос "представить", потому что вон она эта категория. Хочется инстанс класса Category? Такое не выйдет.

Category из base не даст констрейнт на объекты наложить.

Чтобы представить категорию монад, тебе нужно в качестве объектов взять типы с кайндом ☆ -> ☆ и инстансом Monad. Я не очень понимаю влпрос "представить", потому что вон она эта категория. Хочется инстанс класса Category? Такое не выйдет.

если берем объекты ☆ -> ☆ и инстансом Monad и нам надо cделать функтор в категорию ендофункторов (видимо опять ☆ -> ☆ но инстансом Functor), то вроде как это тоже можно? у меня задача по лучше просто разобратся в adjunction, просто вот хочется понять прежде чем пытаться это делать это вообще более менее реализуемо, на основе той же либы https://github.com/ekmett/adjunctions/ или лучше ограничится тем, что понятно что возможно сделать через adjunction а именно State и Store?

https://www.barrucadu.co.uk/publications/YCS-2016-503.pdf

А, хм, в определении "монада - моноид в определении эндофункторов" понималось, что эндофунктор тут - m : Type -> Type, а то, что оно моноид, говорит о m (m a) -> m a?

Haskell/Category theory - Wikibooks, open books for an open world https://en.m.wikibooks.org/wiki/Haskell/Category_theory

@kana_sama это не бред, потому что эндофунктор является эндоморфизмом в категории функторов

Соответственно m : Type -> Type с fmap дает тебе эндофунктор. Рассматриваешь категорию функторов (стрелки - натуральные трансформации), она является моноидальной по тензору Compose и единице Identity

И моноиды в этой категории оказываются монадами (Compose m m ~> m дает join, Identity ~> m дает return, и имеем fmap по определению категории функторов)

join + return + fmap = Monad

благодарю, вроде прояснилось

Еще один рабочий бот, который действительно платит

Стак по дефолту генерит папки app и src. Какой код куда класть? Были мысли, что в src нужно все, что не связано с приложением, но используется там, а в app все, что не имеет смысла без контекста приложения. Другой вариант - все в src, а в app чисто бутстрап приложения (консольный фронтенд например, парсинг аргументов) или же все с io