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

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

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

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

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

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

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

кстати инстанс Show для функций есть

в base

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

да

сиротский в каком-то там модуле

т.е. что я вижу, что хотелось вы в экспериментальном пакете: перевести часть на backpack: a. отладку б. ошибки какой-то общий подход к частичным функциям и ошибкам, lens? использовать пакеты, которые проверяют что что-то там инлайнится и оптимизируется

удостовериться, что для частичных функций есть аннотации для liquid haskell

убедиться, что можно использовать совместно с настоящей base

из подхода к частичным функциям - лучше всего lens

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

в этом пути лучше быть фанатиком

А существует ли чатик по elm ?

наверняка

@elm_ru

@astynax ^ (не в курсе)?

О, спасибо!

вон, Кана написал уже

Только там есть упоротые личности с которыми бесполезно спорить

там бывает весело, когда тайпклассы обсуждаем

но так-то в чате мало жизни