т.е. фактически небольшое подмножество фич библиотеки generic-lens но без необходимости инстанс Generic для рекорда выводить

это как в purescript RowToList и ListToRow?

на тему зурихака, виза какая нужна?

EU любая

это как в purescript RowToList и ListToRow?

нет

нет

https://github.com/justinwoo/records-fields-pairwise#records-fields-pairwise

similar to RowLists in PureScript

ну на дженериках-то можно, имеется в виду что в ORF ничего такого нет

ну на дженериках-то можно, имеется в виду что в ORF ничего такого нет

ну и еще помню смотрел доклад https://youtu.be/aDcp7OmCwBM?list=WL&t=2141

а напомните, плс, адрес живого rust- чатика

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

наверное, пойду туда сдаваться

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

а напомните, плс, адрес живого rust- чатика

https://t.me/rustlang_ru

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

Счастье то какое!

А? Что?

Оказывается можно брать метки из женериков. Это же прекрасно можно попробовать впилить из дата фреймы, а то я их что-то совсем забросил

а что где?

Пришёл всех напугал

да, с информированием о новых фичах у хаскелистов точно не все в порядке

Ну и ещё и я слоупок

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

это, кстати, для датафреймов все равно невесело, любым такстом-то название геттера быть не может (как в F# каком-нибудь)

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

Нужно просто, чтобы кто-нибудь вёл блог с подборками самого интересного. Типа блога, который в openmw ведут. А перечисление ченджлога это дно, конечно.

вообще чейнджлог у ghc нормальный, там и "самое интересное" отдельно есть, и описание фич

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

мануалы вообще не очень читают

да

а зря..

видос который кидали (где индус докладывает) он как -- годный?

видос который кидали (где индус докладывает) он как -- годный?

тоже интересно кстати

Люди вообще не читают, и это печально. Особенно печально что люди ждут что ты почитаешь и им все за минуту объяснишь. Люди вообще фу.

по новым фичам в гхц каждый год делают виидео с СПЖ (но в этот раз, похоже, на неосновных мероприятиях на icfp ничего не записали)

также есть два раза в год обзоры новых фич в гхц в комьюнитис анд активитис репорт

по новым фичам в гхц каждый год делают виидео с СПЖ (но в этот раз, похоже, на неосновных мероприятиях на icfp ничего не записали)

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

но это-то точно никто не читает

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

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

а, точно вчера снова начали выкладывать, а то 2 недели пауза была

там пока лисперов только выложили кроме основных

@elemir90 ты как-то писал, что множество - пара из принадлежности и равенства, но зачем равенство, если (∀ α ∈ A. α ∈ B) ∧ (|A| = |B|) ⇔ A = B или (∀ α ∈ A. α ∈ B) ∧ (∀ α ∈ B. α ∈ A) ⇔ A = B да и как получить мощность множества за конечное время (или в математике это не значения)?

в хаскеле есть стандартная такая функция ? f :: a -> b -> c f a b = a b b

у тебя по сигнатуре один аргумент

а так, ну напиши ее и используй f $$ x = f x x infixr 0 $$ а, или join, точно

такая? > join (+) 2 4

@elemir90 ты как-то писал, что множество - пара из принадлежности и равенства, но зачем равенство, если (∀ α ∈ A. α ∈ B) ∧ (|A| = |B|) ⇔ A = B или (∀ α ∈ A. α ∈ B) ∧ (∀ α ∈ B. α ∈ A) ⇔ A = B да и как получить мощность множества за конечное время (или в математике это не значения)?

Первое утверждение не верно, контрпример -- B это натуральные числа, а А это натуральные числа без единицы. Второе утверждение это аксиома теории множеств, её неоткуда "вывести". Она задаёт взаимоотношения принадлежности и равенства, да

Первое утверждение не верно, контрпример -- B это натуральные числа, а А это натуральные числа без единицы. Второе утверждение это аксиома теории множеств, её неоткуда "вывести". Она задаёт взаимоотношения принадлежности и равенства, да

мощность A и B в твоем примере одинаковые?

Конечно, счётная

соре за офтоп, есть чаты какиенить по матану и дискретке?

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

> stack solver Using configuration file: stack.yaml Using cabal packages: - .\ Using resolver: lts-9.18 Solver requires that cabal be on your PATH Try running 'stack install cabal-install' что-то странное. Вроде утверждается, что stack

— не надстройка над cabal Однако оно его запросило O_o

stack solver это запускалка кабал инсталла и есть

солвера то больше нигде и нет

соре за офтоп, есть чаты какиенить по матану и дискретке?

Только по теории категорий (в котором никого пока нет)

о, кидай

двай

Никого нет это не приувеличение

@ru_catheory

Опять у меня будет чат из 10 хаскелистов, лол

Поржите надо мной. ЧТобы добавить пакет в зависимости надо было править package.yaml, а я правил stack.yaml

иногда приходится править оба файла (если package.yaml это %package%.cabal, а то такого файла я не видел)

сейчас напишут, что ни того, ни другого файла вообще не должно быть

Ну... stack.yaml регенерится при stack solver — update-config

и походу исходя из содержимого package.yaml

есть у меня обработчики хттп запросов типа request -> io response есть диспатчер запросов, который бегает по роутам и выбирает "правильный" обработчик есть у полученного роута функция типа route -> request -> text -> text, которая может вернуть значение параметра хочу чтобы обработчик запросов в итоге выглядет примерно так somethingHandler = do a <- param "foo" b <- session "user_id" return Response 200 (a + b) проблема в чём - нет полного понимания как сделать автоматическую привязку запроса к функциям param и session и возможно ли, то есть я хочу чтобы запрос первым аргументом был

вопрос - как?

твой код например может запускаться в Reader Request Response а param это Text -> Reader Request (Maybe Text)

ERROR: S client not available

сейчас напишут, что ни того, ни другого файла вообще не должно быть

Почему?)

ну там еще IO будет, поэтому Monad m => ReaderT Request m (Maybe Text)

твой код например может запускаться в Reader Request Response а param это Text -> Reader Request (Maybe Text)

ок, то есть курить ридер монадку?

ну если ты хочешь читать из реквеста в монадическом стиле, то да

я бы даже завернул в свою монаду и получился бы scotty

в скотти ад какой-то с actionT

ну ActionT у тебя и получится свой в итоге)

а почему ад?

Блин. Вот тут во втором ответе написано редактируйте стак ямл. Не работает же. T_T https://stackoverflow.com/questions/31030438/how-to-install-a-package-using-stack А вот в пакадж ямл прокатило

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

сейчас напишут, что ни того, ни другого файла вообще не должно быть

вот это вот

есть один большой и толстый ActionT, который делает всё

скорее всего это из-за недостатка опыта

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

Значит надо создать свой язык. С багами и костылями!)

Значит надо создать свой язык. С багами и костылями!)

у меня никаких претензий к языку вообще

ну вот ActionM это просто обертка над 1) эксептом, то есть мы можем кидать и кетчить эксепшены в экшонах 2) ридером над реквестом 3) стейтом над респонсом

вот на хакадже - https://hackage.haskell.org/package/scotty-0.11.0/docs/src/Web-Scotty-Internal-Types.html#ActionT

ну вот ActionM это просто обертка над 1) эксептом, то есть мы можем кидать и кетчить эксепшены в экшонах 2) ридером над реквестом 3) стейтом над респонсом

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

https://github.com/scotty-web/scotty/blob/master/Web/Scotty/Internal/Types.hs#L138 а вот на гитхаье

ну стейт прикрутили для того наверное, чтобы респонс формировать по-отдельности, а не просто return-ном, например setHeader "header1" "2" setHeader "header2" "3" text "hello" pure () если бы можно было респонс только возвращать, был бы ад, если бы в одной функции мы бы формировали хидеры, а в другой боди, потом бы таскали эти значения по коду, чтобы где-то в конце хендлера вернуть

а state вместо writer наверное потому что нужно еще читать, что там в хидеры уже записали-то

у меня никаких претензий к языку вообще

Ну... кое какие интересные фичи бы добавил, кое что убавил бы. :D А так определённо это шаг вперёд :3

в смысле этот язык :3

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

С другой стороны может и добавилось уже пока я его не "трогал"

Ну рекорды да

Интересно, а какие конкретно у тебя претензии к прелюдии, и какие другие претензии?

1) String через список 2) много косяков из-за того, что язык старый, а обратную совместимость поддерживать нужно, например с полугруппами (которые относительно недавно добавлены), которые "наследуются" от моноидов, а не наоборот. Или монады, которые только недавно стали наследовать от апликативов и еще и pure дублируют 3) опасные функции типа head, которые предпочитаемо должны отдавать Maybe или помечаться как unsafe 4) имена идентификаторов придуманы от балды, кто блин догадается, что first это map первого элемента бифунктора, а fst - это взять первый элемент пары 5) где-то в тайпклассах операторы, где-то текстовые имена функций [и алиасы] 6) ну base имхо попросту жирный какой-то 7) некоторые ужасно жирные тайпклассы типа Num это вот то что сходу к прелюдии вспомнил можно посмотреть на https://pursuit.purescript.org/packages/purescript-prelude/3.1.0, вот там все имхо близко к совершенству

1) String через список 2) много косяков из-за того, что язык старый, а обратную совместимость поддерживать нужно, например с полугруппами (которые относительно недавно добавлены), которые "наследуются" от моноидов, а не наоборот. Или монады, которые только недавно стали наследовать от апликативов и еще и pure дублируют 3) опасные функции типа head, которые предпочитаемо должны отдавать Maybe или помечаться как unsafe 4) имена идентификаторов придуманы от балды, кто блин догадается, что first это map первого элемента бифунктора, а fst - это взять первый элемент пары 5) где-то в тайпклассах операторы, где-то текстовые имена функций [и алиасы] 6) ну base имхо попросту жирный какой-то 7) некоторые ужасно жирные тайпклассы типа Num это вот то что сходу к прелюдии вспомнил можно посмотреть на https://pursuit.purescript.org/packages/purescript-prelude/3.1.0, вот там все имхо близко к совершенству

http://dev.stephendiehl.com/hask/#what-to-avoid

1) String через список 2) много косяков из-за того, что язык старый, а обратную совместимость поддерживать нужно, например с полугруппами (которые относительно недавно добавлены), которые "наследуются" от моноидов, а не наоборот. Или монады, которые только недавно стали наследовать от апликативов и еще и pure дублируют 3) опасные функции типа head, которые предпочитаемо должны отдавать Maybe или помечаться как unsafe 4) имена идентификаторов придуманы от балды, кто блин догадается, что first это map первого элемента бифунктора, а fst - это взять первый элемент пары 5) где-то в тайпклассах операторы, где-то текстовые имена функций [и алиасы] 6) ну base имхо попросту жирный какой-то 7) некоторые ужасно жирные тайпклассы типа Num это вот то что сходу к прелюдии вспомнил можно посмотреть на https://pursuit.purescript.org/packages/purescript-prelude/3.1.0, вот там все имхо близко к совершенству

ну и его protolude

ну я использую universum [иначе меня уволят], который как раз на protolude базируется