мне бы пример какой) я так понял что читать build systems la carte уже не актуально? там что-то более сложное описывается?

У Одерского в книжке Programming in Scala есть глава про Spreadsheet

ну тогда и у Гонзалеса есть

https://github.com/Gabriel439/Haskell-Typed-Spreadsheet-Library

?

кстати в пурсе это https://github.com/sharkdp/purescript-flare

спасибо! разбираюсь

кстати есть еще такой интересный проект https://github.com/sharkdp/purescript-sparkle

да, у меня ячейка может зависеть от ячейки, которая зависит от другой ячейки, которая зависит еще от N ячеек, и причем разрешать такой граф нужно в определенной последовательности, вероятно, решая сначала "алгебраические" ячейки (которые не зависят от внешних источников данных) итп. единственное, что облегчает задачу это отстутствие реактивности, но и это условие потом уберется, вроде как. возможно, мне стоит задуматься сейчас и об этом

Вот тут интересно было написано про ячейки эксель https://m.habr.com/post/203800/

может лучше на оригинал давать ссылку?) https://github.com/quchen/articles/blob/master/loeb-moeb.md

и все эти loeb/moeb есть просто обобщение для fix

но это все еще value level

typelevel нужен если таблицу в языке собираешь же

иначе или только value или синглетоны

иначе или только value или синглетоны

ну как бы синглтоны и поднимают value level к type level

loeb & moeb прям то, что нужно, кажется начинаю понимать что происходит

а что если представить через Cofree?

может лучше на оригинал давать ссылку?) https://github.com/quchen/articles/blob/master/loeb-moeb.md

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

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

тогда надо было написать, вот тут я перевел статью

тогда надо было написать, вот тут я перевел статью

Там всё написано в шапке перевода, даже три раза

ну как бы синглтоны и поднимают value level к type level

ну как бы я именно по этому и написал про синглетоны

@chuckis будет жить. Поприветствуем!

https://www.fpcomplete.com/blog/2018/10/resourcet-necessary-evil

@d_krasilnikov будет жить. Поприветствуем!

@nkhodyunya будет жить. Поприветствуем!

Здарова, у меня взырвается мозг с этими байтстрингами, помогите разобраться пор фавор. Код: {-# Language OverloadedStrings #-} import Network.HTTP.Simple import Control.Monad import Data.Char import System.Random import System.Environment import qualified Data.ByteString as S agents=["example1","example2"]; len=subtract 1 $ length agents genHeaders::IO [(a,S.ByteString)] genHeaders=do ua<-pickrandom agents ka<-randomRIO(110,120)::IO Int ref<-genStr (-1) [] return [("user-agent",ua),("Cache-Control","no-cahce"), ("Accept-Charset","ISO-8859-1,utf-8;q=0.7,*;q=0.7"), ("Referer","http://www.google.com/?q="++ref), ("Keep-Alive",(show ka)), ("Connection","keep-alive")] --main=getArgs >>= parseArgs >>= wordPressDos main=do h<-genHeaders sendreq h "http://locahost" sendreq headers host=(\req->httpNoBody $ setRequestHeaders headers req) =<< (parseRequest host) parseArgs=return . head wordPressDos=print pickrandom list=fmap (list !!) $ randomRIO (0,len) --genStr::Int->[Char]->IO [Char] genStr size str | size==(-1) = genStr 13 str | size==0 = return (S.pack str) | otherwise =join $ (randomRIO(65,90)>>=(\x->return (genStr (size-1) ((chr x):str))))

а в чём вопрос?

ща я скину выхлоп

в общем getStr возвращает строку, а должна байтстроку, поэтому внутри генератора задан тип стринг из-за строки ".."++ref

как пофиксить

я подписал в конце S.pack, как видно в коде

но это дало еще больше выхлопа на ошибки

сигнатура закомечена, если не заметили

++ - это для строк <> - это для моноида

ещё genHeaders::IsString a => IO [(a,S.ByteString)]

к примеру

в getStr путаются типы

S.pack пакует [Word8], а у тебя String, т.е. [Char]

последний кейс там проще в ду-нотации

| otherwise = do x <- randomRIO(65,90) genStr (size-1) ((chr x):str)

а вообще есть ramdoms

а как чар конвертнуть тогда

или заменить функцию

chr

S.pack пакует [Word8], а у тебя String, т.е. [Char]

в соседнем модуле Data.ByteString.Char8 как раз есть искомый pack

или заменить функцию

^

убрать просто chr

и тип аккумулятора будет [Word8]

в no-cache опечатка кстати

а про остальное вроде ответили

@nzvtrk будет жить. Поприветствуем!

Всем доброго времени суток)

Хотел у Вас спросить(очень банальный вопрос), но все же: За что Вы любите Haskell(его ленивый и чисто функциональный подход в решении задач)?

Хотел у Вас спросить(очень банальный вопрос), но все же: За что Вы любите Haskell(его ленивый и чисто функциональный подход в решении задач)?

Ну хаскелл привлекает тем, что он красив и тешит эго

Можно конечно чесать про безопасность и всё такое, но глубинная причина именно в этом

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

Хотел у Вас спросить(очень банальный вопрос), но все же: За что Вы любите Haskell(его ленивый и чисто функциональный подход в решении задач)?

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

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

О, у меня такая же философия

О, у меня такая же философия

Ты это, не септапод часом?

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

Ты это, не септапод часом?

Я не знаю кто это или что это

Я не знаю кто это или что это

Гептапод точнее

Хотел у Вас спросить(очень банальный вопрос), но все же: За что Вы любите Haskell(его ленивый и чисто функциональный подход в решении задач)?

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

Сразу делать велик - наверное слишком амбициозная задача. Может, начинать с самоката, и потом добавлять остальное?

Гептапод точнее

Гептапод - это типа инопланетянин? Ну да. И я не один такой. Нас 857

Гептапод - это типа инопланетянин? Ну да. И я не один такой. Нас 857

Просто заметил что аватарка похожа на их письмена :D

Ага

Вот так

хм а если я сам заблуждаюсь

это все еще дзен?