в общем я сильно тупанул

все хитрые оптимизации изоморфны :(

Product может не быть изоморфен декартову произведению в общем случае?

*простите

кажется я готов почитать учебник по теоркату, есть хороший?

Вот подробный, прикладной и местами понятный: http://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf Old school

https://twitter.com/kmett/status/982078739482738688

15-45%, матерь божья

Конечно танцев с файлами нужно как в джаве

Кстати, подскажите, а есть какая-то эффективная по времени структура, аналог Data. Set Char? Хранить предполагается ~150 символов.

Эффективная по операции проверки принадлежности элемента множеству

ну вот у эдварда кметта на 15-45% эффективнее

мне кажется вполне эффективно

Vector сортированный?

Ну так там тот же O(log N), что и у Data.Set

Хотя можно просто более эффективно реализовать

в военное время логарифм равен константе

особенно учитывая что записей меньше чем 2^8

Ну поэтому Data.Set пока довольно быстро работает в проекте.

Ладно, попробую на backpack'ах.

вообще странно, я смотрю на этот сет и не монимаю где ограничение на типы

а, его просто спрятали

в функциях

Vector сортированный?

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

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

а хотя нет, если там только Ord то дерево 100% бинарное

вот если бы Foldable

в этом чате обсуждение идет 24\7 как я понимаю?

На то он и чат, собственно.

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

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

А то люди не успевают отдыхать, потом баги.

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

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

https://github.com/neovimhaskell/haskell-vim

я еще hasktags использую

правда сотрудники регулярно выпиливают его хуки из Setup.hs

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

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

слабовато. Мы вот разбивались по парам и с партой приседали. Если парта наклонялось приседание не засчитывали

хаскеллисты добрые, спросите в фпроге_спб

Или чистые функции в C (по аналогии с монадами в Haskell) — читерство?

в C++ есть самые настоящие чистые функции -- constexpr функции. даже ещё более чистые чем в haskell

это макросы

нормальные, человеческие. но макросы

constexpr функции не макросы

все что compile time это макросы

они такие же функции как и все функции только в них запрещён стейт и сайд эффекты

а, точно

я чет тупанул

c++14 не читал

все что compile time это макросы

constexpr функция остаётся в бинарнике как функция, которой можно кидать значения неизвесные в compile-time

Вот у меня в основном модуле взаимодействие с C++ через Vector.Storable. А надо ли потом для архитектурной красоты переводить в Vector.Unboxed? Или это нормально, что по всей программе будет Vector.Storable раскидано?

да, я уже загуглил

ну все, подрубаем монады и пишем чистый код

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

ждем C++30

C++++++++++++++++++++++++++++++++

C++++++++[>++++[>++>+++>+++>+««-]>+>+>-»+[<]<-]».>---.+++++++..+++.».<-.<.+++.------.--------.»+.>++.

Segmentation fault

все что compile time это макросы

Совсем нет.

слабовато. Мы вот разбивались по парам и с партой приседали. Если парта наклонялось приседание не засчитывали

видать у тебя ни разу не засчитали ?

В последнее время в чате стало слишком шумно ?

видать у тебя ни разу не засчитали ?

вот не надо тут, и 30 раз подряд делали

15-45%, матерь божья

меньше десятичного порядка - пренебрежимо мало, значит

Ну для писунов на руби то конечно. Но мы же боремся с jvm

десятичные порядки не важны, важна только апроксимация

как рубист говорю

Порядок порядка?

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

на бекпачном недоlinear, который Кметт тоже делает сейчас, может заметнее разница будет

@A64m_qb0 а можешь напомнить, чтобы ты от правильной prelude хотел?

/me хотел бы не писать импорты из Control.Monad, Control.Applicative, Data.Traversable

@A64m_qb0 а можешь напомнить, чтобы ты от правильной prelude хотел?

да у меня нету для этого какой-то готовой компактной формулировки

неготовая некомпактная и противоречивая тоже принимается

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

а еще Data.Function

а моноид еще не в прелюдии?

ну точнее не сколько prelude, а сколько base в целом

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

ну кроме того, что IO нахрен выкинуть и сделать сигнатуры для debug

переименовать Show в Debug, и не требовать read . show

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

переименовать Show в Debug, и не требовать read . show

как его тогда для отладки применять, если не требовать?

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

Так это debug print же

хм.

ну или выхлоп из лога в интерпретатор вставлять

А как же show для функций делать?

никак

/me хотел бы не писать импорты из Control.Monad, Control.Applicative, Data.Traversable

можно экспортировать все это из отдельного модуля!

ну т.е. рекорд с функцией мне уже не запринтить будет

ну да, можно инстанс делать для функций

просто этот рекорд с функциями потом никуда не запихнуть

ну вот я про это

ну функции можно подменить