так значение + методы есть объект

комонада объект коалгебры объект коиндукция моделирует объекты

так значение + методы есть объект

У тебя нет этого значения инкапсулированного с методами, оно пропускается через стетйт-монадический код.

Ну все, я умываю руки, вы пытаетесь аргументровать про ООП, привлекая концепции, которые имеют такое же название, но не являются концепциями из ооп

стой

смотри

у нас есть значение некоторое

Я ушел

ну ладно. в любом случае, я вижу некоторое значение, которое уже по сути есть состояние. Есть методы для работы с этим значением, которые могут вернуть новое значение (обновляют состояние) работать со значением БЕЗ методов мы не можем, оно спрятано

class Shape s where double :: s -> s area :: s -> Float data Rect = Rect { width :: Float, height :: Float } instance Shape Rect where double (Rect w h) = Rect (w * 2) (h * 2) -- x4 lol area (Rect w h) = w * h f :: Shape s => s -> IO () f shape = do let shape' = double shape print $ area shape' main :: IO () main = f (Rect 10 20)

Так что этот чувак опоздал

Ты в 2014-м исследовал, а этот чувак в 2013-м со своими лекциями опоздал? Вот это поворот...

Ты в 2014-м исследовал, а этот чувак в 2013-м со своими лекциями опоздал? Вот это поворот...

Посмотрел только на дату публикации видео.

Если он раньше это делал, ну окей

Сделаем вид, что сегодня луна неправильно светит и разойдемся.

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

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

В некотором смысле да. Но все-таки, там не динамический язык, а два слоя: типизированный и безтиповый. На типизированном уровне я могу получить доступ к объектам любого сериализуемого типа (причем, если нужно, я сделаю это типо-безопасно, с помощью того же подхода, который в stm_free применил), а на безтиповом уровне я храню все состояние игры в JSON и потому могу его оперативно складывать в файл, если нужно.

ну вот тут FT прямо сравнивается и с ооп и с типичным функциональным подходом, когда функция-"интерпретатор" ПМ-ом интерпретирует "язык"-АлгТД https://oleksandrmanzyuk.wordpress.com/2014/06/18/from-object-algebras-to-finally-tagless-interpreters-2/

В некотором смысле да. Но все-таки, там не динамический язык, а два слоя: типизированный и безтиповый. На типизированном уровне я могу получить доступ к объектам любого сериализуемого типа (причем, если нужно, я сделаю это типо-безопасно, с помощью того же подхода, который в stm_free применил), а на безтиповом уровне я храню все состояние игры в JSON и потому могу его оперативно складывать в файл, если нужно.

И, на самом деле, требование сериализуемости - необязательное. Просто в контексте именно игрового движка оно естественное, а вот в stm_free по подсказке местных гуру я заменил сериализуемость на Any, там это оправдано.

так что это не ооп, очевидно

Спасибо, почитаю

простите, с чего лучше начать учить хаскель - с теории категорий или с ТРИЗ?

Можно с одного из популярных учебников по Хаскелю или курса на степике. ТК или ТРИЗ - слишком долгий путь к Хаскелю

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

комонада объект коалгебры объект коиндукция моделирует объекты

Рэп какой-то

OOP это IORef

Привет, решил после раста вкатиться в haskell чтобы лучше понимать теркат и зачем нужны HKT

intellij-haskell

Джентельмены, помогите: у меня есть строки вида табы слово запятая новаялиния

Скажите пожалуйста, как это распарсить с помощью парсека и получить список слов

Разделить по запятой, убрать табы?

Листаю доку, но не могу понять как добавить слово

Зачем там парсек

Это только подзадача

тут нужно ответить "что такое слово"

например если что угодно, где нету пробела то слово это word = takeWhile (not . isSpace)

Лучше break

Джентельмены, помогите: у меня есть строки вида табы слово запятая новаялиния

парсер sepBy - распарсить по табам. но наверняка потребуется поддерживать строковые литералы в кавычках и квотации

например если что угодно, где нету пробела то слово это word = takeWhile (not . isSpace)

Да, это подходит но очень хочется попрактивоться именно с parsec

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

тогда разбор будет: word `sepBy1` tab <* comma <* endOfLine

вот я тоже боюсь что там tsv или csv

это всегда так

без исключений.

Да, оно похоже, но на самом деле там C++ енум

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

в общем я комбинаторы в документации каждый раз смотрю, но в целом структура будет как в коде выше

может, на хакадже есть?

А что значит <* ?

Спасибо

Джентельмены, помогите: у меня есть строки вида табы слово запятая новаялиния

words $ map (\c -> if isAlpha c then c else ' ') str

тогда разбор будет: word `sepBy1` tab <* comma <* endOfLine

word это откуда?

из сообщения выше

из сообщения выше

непонятно, в сообщении выше не парсек же

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

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

тогда уж надо many letter или как там

ну атоопарсек

не знаю, many неПробел - вполне разумно

а что там надо, нам не сказали

я к тому, что не похоже, что это скомпилируется:) но может ошибаюсь

например если что угодно, где нету пробела то слово это word = takeWhile (not . isSpace)

тогда разбор будет: word `sepBy1` tab <* comma <* endOfLine

я же написал, что +- имена комбинаторов

ок понял

значит это не тот word

что я их помнить что-ли буду, если хаддок есть

это не из data.list

Да, оно похоже, но на самом деле там C++ енум

задачу расскажешь?:)

парсер C++ пишешь?

Да, мне нужно транслировать много старого кода в новый

и какая добрая душа тебе посоветовала для этого Parsec? 😄

Первое что нагуглил

А есть либы проще?

Тут можно вообще обойтись "без либ"

words + отбросить запятые

megaparsec / attoparsec

тут можно и без либ, если задача полная

Тут можно вообще обойтись "без либ"

Это только подзадача, там много всего

да готовое что-нибудь надо брать

сейчас бы руками C++ код парсить

Парсил с++, случайно написал компилятор