А (reverse) прокси сервером можно взять хоть nginx, или что привычнее

Но я хоть убей не могу понять как его добавить в проект

dependencies в stack.yaml?

vim package.cabal / cabal new-build

sorry

хм.. а какой наиболее простой примитив для генерации стримов (любых) (CC @xgrommx) коалгебы, куда смотреть?

Прокси сервер будет сам по себе, а своя апп будет общаться с прокси сервером по tcp. Эти 2 части не будут одним проектом

хм.. а какой наиболее простой примитив для генерации стримов (любых) (CC @xgrommx) коалгебы, куда смотреть?

ну я думаю всякие кодаты (например Cofree)

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

у меня пока есть для STM a / STM (Maybe a), но ведь есть же обобщение

Большое спасибо всем кто отвечал!

серьезно помогло?!

Да

Я нашел на гите работающий пакет

Он пашет

Мне еще сток понравился

Надо его тоже чекнуть

А Stack умеет параллельно собирать, как cabal build -j? Что-то такое впечатление, что только одно ядро занято...

умеет

А как ему это сказать? Или он по умолчанию параллельный?

раньше был по умолчанию, сейчас не уверен

скорее всего -j

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

О, по средневековым постройкам побродил там?

Постройка проекта с помощью make может считаться средневековой?

stack build --jobs=<N> --ghc-options=-j

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

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

(а вообще советую самому побаловаться)

хм, не понимаю этот пакет https://github.com/mauke/data-default

это просто класс типов Default и дефолтные значения для некоторых типов (для которых они имеют смысл) т.е. в этом его назначение, ну да, ок

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

Вот уже для Maybe два варианта возможны: Nothing и Just def

есть мнение, что этот класс вреден

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

т.е. им как бы не зашквар пользоваться в ограниченных случаях? ну вот когда и правда у меня единственное значение по-умолчанию существует для некоторого типа

часто приводят мою либу как оправдание :)

xlsx, там def используется для получения "пуcтой" части эксель файла

ага, уже нашел) крутой пакет

по сути это DRY, но он тоже не всегда полезный принцип

теоретически можно былоб фигачить что-нибудь типа emptyCell, defaulStyle и т.п.

теоретически можно былоб фигачить что-нибудь типа emptyCell, defaulStyle и т.п.

практически именно так и делают часто

в данном случае "теоретически" казалось одной конкретной либы :)

т.е. им как бы не зашквар пользоваться в ограниченных случаях? ну вот когда и правда у меня единственное значение по-умолчанию существует для некоторого типа

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

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

Default в виде класса кажется удобным, т.к. позволяет делать полиморфный контекнер и инстанциировать instance Default a => Default (Foo a) where def = ... def

Но на деле у полиморфного контейнера просто странно иметь какие-либо умолчания

А у мономорфного можно и defaultBlaBla в defaultFoo вызвать

Наверное больший смысл могут иметь классы типа class CanBeEmpty a where { empty :: a }. Или что-то ещё более близкое к доменной области, как @kana_sama говорит

Зато с Default не надо вспоминать какой именно defaultWhatever надо писать. def и всё

Вот это то и плохо. Надо вспоминать! И думать тоже надо

Только в половине случаев

foo def def 0 Nothing def def - ниочень

Не, этот курс не такой интересный, он читается для студентов, которым надо объяснять за функциональное программирование. Вот этот курс для тех, кому не надо азы объяснять. Но к нему домашек нет в публичном доступе. https://www.youtube.com/watch?v=o-7zhrUP3ds&list=PL-_cKNuVAYAXFRLj6n2nDjI1cyHjuI3HI

Этот курс чем то лучше или хуже того, который в вышке читали? @bravit111

Пять полей, господи... foo def def def def def!

foo def def 0 Nothing def def - ниочень

foo defaultLevel simpleLogger defaultPort defaultHost stupidServer simpleStorage - гораздо лучше! :) Ещё лучше в record запихать и сделать defaultConfig

Подобную байду удобно собирать в одну структуру: foo def

Этот курс чем то лучше или хуже того, который в вышке читали? @bravit111

Этот курс рассчитан на людей, которые уже знакомы с ФП, и, в частности, с Хаскеллем. А курс в Вышке, соответственно, рассчитан на студентов, которые знают императивные языки, но при этом им надо объяснять самые азы ФП - начиная от того, что такое чистые функции, и заканчивая тем, что такое функторы, монады и т.д. Т.е. этот курс он хардкорно про Идрис, а тот, который в Вышке - больше вводный в тему ФП на примере Идриса. И тот, и другой хороши для своей аудитории.

а можно вообще никакого дефолта не экспортировать sheet = mkSheet $ do cellValueAt (1, 2) ?= CellDouble 42.0 cellValueAt (3, 2) ?= CellText "foo"

А может и вправду сделать рекорд функций вместо тайпкласса?

Что-бы не превратиться в есод

В общем пишу я либу которая будет oauth2 (openid?) сервером. И например нужно абстрактнуть мне бэкэенд для хранения юзеров.

И абстрактнуть как делается аутентификация - куки там всякие, хтмл с формочками

хаскель слишком неразвитый язык для такого

И не хочется всё это навешивать на m

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

вот такое есть http://hackage.haskell.org/package/snap-1.1.0.0/docs/Snap-Snaplet-Auth.html#t:AuthManager

вот такое есть http://hackage.haskell.org/package/snap-1.1.0.0/docs/Snap-Snaplet-Auth.html#t:AuthManager

и ты захотел снап? :)

нет, я хочу сам Auth сделать.

но думаю вот какой делать апи

наверно сделаю всё через рекорд, и будет initAuth :: Config -> IO AuthEnv, runTokenEndpoint :: AuthEnv -> Wai.Application

ну и т.д.

только в снапе зачем-то existential сделан

http://loveplusplus.ru/

http://loveplusplus.ru/

шеебороды какие-то

А может и вправду сделать рекорд функций вместо тайпкласса?

рабочая схема

хаскель слишком неразвитый язык для такого

какой развитый для этого?

Java?

какой развитый для этого?

ocaml, sml

Модули сделают из хаскеля энтерпрайз?

не сделают

Может и вправду прикрутить рюкзак...

для чего хорош бэкпак?

я как-то мимо всей это модульной темы

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

Может и вправду прикрутить рюкзак...

и репортить по багу гхц каждый день потом.

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

а есть где-нибудь нормальные примеры с кодом?

и репортить по багу гхц каждый день потом.

Да, таким пусть @catamorphism и @int_index занимаются...

кстати надо багу зарепортить..

а есть где-нибудь нормальные примеры с кодом?

у автора ezyang должны быть репозитории вроде такого https://github.com/ezyang/reflex-backpack

спасибо, погляжу

или вот очень простой для начала https://github.com/ezyang/backpack-regex-example

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

да с этим и эмелисты не то чтобы разобрались

они не то, что бы хороши

они довольно удобны

своей параметризацией

это то, что на нашем уютненьком получается нецелевым использованием TF/DF

и тайпклассов