scientific зато не взорвет память на некоторых значениях

Он как бы не для арифметики сделан

сайентифик это только для того чтоб в него парсить

+

интересно, что Natural в бенчмарке нет

Natural это ж ньютайп над Integer

еще же есть всякие typelevel numbers

Natural это ж ньютайп над Integer

GHC.Natural> :i Natural data Natural = NatS# integer-gmp-1.0.0.1:GHC.Integer.Type.GmpLimb# | NatJ# {-# UNPACK #-}integer-gmp-1.0.0.1:GHC.Integer.Type.BigNat -- Defined in `GHC.Natural'

Так, понятно, это фоллбэк

в зависимости от использования integer-gmp

А в пакете nats так всегда было (до того, как в base перенесли)

Тогда согласен, надо бенчмарк для Natural

даже если бы он был ньютайпом, инстансы Num и т.д. отличались бы, а бенчмаркаются как раз они

Кстати, вспомнил, в одном из анонсов GHC обещали больше не менять имя конструктора Integer, но нарушили обещание

Кстати, вспомнил, в одном из анонсов GHC обещали больше не менять имя конструктора Integer, но нарушили обещание

это где же?

да в одном из первых релизов, переименовали MkInteger в J# (вместе с прочими числовыми), и пишут "They won't change again" но не прошло и 25лет как опять переименовали, конечно

естественно, вспомнил, не когда это было, а вспомнил как читал старые анонсы и обратил внимание, что вот, обманули

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

Есть ссылочка?

@anpryl

в этот раз до степени корректности не дошло

Есть ссылочка?

я думаю, речь была про вот это http://tech.frontrowed.com/2017/11/01/rhetoric-of-clojure-and-haskell/

+

я думаю, речь была про вот это http://tech.frontrowed.com/2017/11/01/rhetoric-of-clojure-and-haskell/

Она самая

http://www.mathtime.ru/

> Because these inlining optimizations from what I read are required to make lazy evaluation remotely performant. In eager implementations inlining is just eliminating call overhead but in lazy implementations it opens up all sorts of re-ordering and optimizations without which it wouldn't be fast. ну все, тред про арч и инлайнинг обошел тред про ллвм и континьюэйшоны в категории "что делает хаскель уникальным"

Хаскелисты понимают ленивость не лучше чем яваскриптеры понимают "асинк"

ну если взять историю async/await в c# то прийдем к тому, что это всего лишь стейт машина (как и многое)

Хаскелисты понимают ленивость не лучше чем яваскриптеры понимают "асинк"

это не хаскелист пишет, это арчевод учит хаскелиста как надо ЯП делать

Юзеры арча такие да, самые умные.

ленивые вычисления можно и на JS написать

и иммутабельность соблюсти там же

вообще они обсуждают "проблему" которая, вообще говоря, характерна для любой имплементации языка у которого есть какие-то еще "хидеры", т.е. речь о проблемах таких ленивых языков как C++ и ocaml. Причем говорят как будто размер проблемы соотвествует такому ленивому языку как SML (в случае mlton-а, где полнопрограммный анализ)

Даже в плюсах сложно за стабильностью abi следить, если не экспортишь С интерфейс

так об этом и речь

причем хаскелист ему подыгрывал втирая про всякий реордеринг и фьюжн, правда сейчас про специализацию классов вспомнил, но арчевод полностью проигнорировал специализацию и пишет > Note that I use eager and lazy specifically here and not strict and non-strict. > The language might be strict in its semantics which pertains to the guarantees of termination given but the evaluation strategy is not eager then. These optimizations you speak of re-order the evaluation order which is indeed permitted in a pure language but the evaluation strategy is no longer eager at that point. Eager vs lazy is an implementation detail in theory.

шизофазия

Кложуристы празднуют победу над типами.

Поглядел видео из Москвы, Коля, ЗАЧЁТ!

какой Коля? кложурист?

Ага

упомянул окамл, решил посмотреть как там у них с инлайнами дела идут. Комментарии к коммитам у автора флямбды крайне информативные https://github.com/mshinwell/ocaml/commits/cps_types не напишешь work work work work - в джейнстрите зарплату не заплатят, видимо

🎵

“work” - это еще не самое плохое, у нас шеф пишет “blah” 🙁 и говорит, что что-то осмысленное писать не собирается

Я частенько просто +1 пишу. Правда потом сквошу и ребейзю

он сразу пушит в апстрим. и частенько это даже не тайпчекается до конца

wip wip wip wip, а потом сквош в огромный коммит

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

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

да это же топ-кложуро-фанбой из сбертеха

у нас не двач

пофиксил

;)

Он очень смешной, в особенности его рассуждения об ФП, и о том, как он накачивал себя ФП, принуждая себя кодить на кложуре. И как он втирал про преимущества своего видения ФП скалистам, свежесконверченным из жава-джунов

чёт как-то глупо немного

теперь можно форварднуть в фпрог и общаться форвардами

так в телеграмме все и делают, правда обычно в своих вещательных каналах

свежескочевряженным

Сложно спорить с людьми которые будут тебе отвечать "И чо?"

Сложно спорить с людьми которые будут тебе отвечать "И чо?"

https://www.youtube.com/watch?v=dUuFZpwB2Z0

@xgrommx и чо?

действительно - непрошибаемое

Stop managing version bounds. Your story is the e... https://www.reddit.com/r/haskell/comments/7ki8jm/haskell_package_management_workflow_annoyances/dreouuo

Наброс

Почему ещё никто не вступился за pvp?

всем лень?

(мне лень)

я, кстати, вчера спросил сноймана про brilliant changes in cabal

на afterparty, но мне пришлось сразу уточнить, что это trolling question and do not take it very seriously

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

в общем до доклада это было бы слишком жестоко

А после слишком мягко?

в общем @qnikst нам нужен свой фпрог, без кложи и сауны

Пусть серокел устроит конфу

А после слишком мягко?

ты когда-нить вживую людей с глазами как у анимешек видел?

вот я после этого вопроса видел

в общем @qnikst нам нужен свой фпрог, без кложи и сауны

да пусть кложа будет, а сауны не нужны

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

и вообще я живу в попе мира, до которой ехать невозможно

Нам бы ваши попы...

Пусть серокел устроит конфу

🤔