я правильно понимаю что оно вернет последний символ тогда?

нет

Кто ещё не любит писать такие фильтры предпочитает расписывать в столбик?

почему последний?

вернёт список объектов, которые могут распарситься из полной строки

[a| a <- [1..6]] => [1,2,3,4,5,6]

Тут будет тоже.

А не последний, пятый или десятый.

runParser p s = [x | (x, "") <- runStateT p s] в этой строчке нет монад, это просто проход по списку

список как настоящая монада только внутри p

список как настоящая монада только внутри p

только хотел возрозить, что список ведь монада, так что монады есть! Но вы сами запутали новичка :))

я все равно не вкуриваю. Что вернет runStateT? На примере строки "12345". Почему не [('1', "2345")]

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

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

Не поспоришь :)

ну они явно используются под капотом runStateT

runStateT вернёт, например, [(FooBar, ""), (Foo, "bar"), (Empty, "foobar")]

тогда получается что фильтр пройдёт только [(FooBar, "")]

не знаю, что ты называешь капотом, но runStateT тут на поверхности

тогда получается что фильтр пройдёт только [(FooBar, "")]

в этом и суть примера!

так получается что только первый элемент?

нет, только правильные элементы

может, первый, может, последний, может, вообще все

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

интересный пример

я то думал что не так с ним

ошибки в доке, 10/10

и да, *Main> runStateT item "12345" [('1',"2345")]

а куда им написать про ошибку?

в общем написал письмо мейнтейнеру :(

там разве написано, что runParser должен работать с item?

а я откуда item взял?

➜ /tmp cat ex.hs import Control.Monad.Trans.State type Parser = StateT String [] runParser :: Parser a -> String -> [a] runParser p s = [x | (x, "") <- runStateT p s] item :: Parser Char item = do c:cs <- get put cs return c main :: IO () main = do print $ runParser item "12345" print $ runStateT item "12345" ➜ /tmp runhaskell ex.hs "" [('1',"2345")]

а я откуда item взял?

из документации

там в документации 2 функции, но не написано, что надо одну в другую засовывать непосредственно

λ> runStateT (many item) "12345" [("12345",""),("1234","5"),("123","45"),("12","345"),("1","2345"),("","12345")] λ> runParser (many item) "12345" ["12345"]

ну такое себе для документации

все равно

предложи дописать пример с many

опенсорс, слава богу

ну да, как вариант

бэкэндсикрет аж больно читать.

а что там?

Требуют IDE, потому что без них нельзя писать на их любимых ЯП, ибо там IDE заменяют то что дают более абстрактные абстракции

там Шевченко

иде не заменяют абстракции, иде делают навигацию по коду и облегчают знакомство с ним. Вообще, на "их любимых ЯП" кода больше, так что и иде нужнее, но уже и на хаскеле не только факториалы с фибоначами пишут

ну так не две же крайности - жет брейнсовые IDE vs notepad

Емакс вполне норм

хаскель-моде, хасктагс, стайлиш-хаскель (если hse может попарсить)

хлинт и флайчек

Вроде в ваших игрушечные VSCode тоже всё это есть

чего еще надо то?

даже этот минимальный набор нормально не работает

ну как может, так и работает.

никак не может

Что же теперь, на яве писать что-ли из-за этого?

нет

Хаскель-моде работает. Хасктагс работает, но криво до ужаса

ну rgrep по проекту тоже норм, чо

the_silver_searcher

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

Ripgrep

хаскель-моде, хасктагс, стайлиш-хаскель (если hse может попарсить)

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

intero без стака не пашет же, так что мне не вариант

Пока единственное, что у меня работало в вскоде надежно - это кнопка «вставить сигнатуру»

2 из 2

интеро и прочие основанные на ghci костыли без кеширования просто не работают ни на чем кроме факториалов

ну rgrep по проекту тоже норм, чо

Так в этом, кажется, и вся идея - писать код, а не грепаться по проекту в поисках что же делает foo

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

Не парсит хаскелль надо понимать как парсит 90+% процетов кода

Так в этом, кажется, и вся идея - писать код, а не грепаться по проекту в поисках что же делает foo

Грепаться не так и напряжно. Есть еще ctags ( не знаю работает ли с Hs )

Так в этом, кажется, и вся идея - писать код, а не грепаться по проекту в поисках что же делает foo

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

В общем смысл в том что у вас МОДУЛЬНОСТЬ и низкая СВЯЗАНОСТЬ кода, и вам в любой момент не надо в голове держать всё

Грепаться не так и напряжно. Есть еще ctags ( не знаю работает ли с Hs )

Не напряжно нажать CMD+b, все остальное - трата времени

ох, опять это грепанье. нагрепайте инстансы вот для этих fmap fmap `fmap` fmap что? не грепаются?

ну так и пиши на ЯП с IDE, чего же от нас то хочешь?

ох, опять это грепанье. нагрепайте инстансы вот для этих fmap fmap `fmap` fmap что? не грепаются?

Кодревью не прошел

Никто не говорит что ИДЕ плохо, мы лишь говорим что ИДЕ не обязательно

да и хаскель не обязателен

не надо уравнивать сразу всё

давай в профите считать