Как бизнес-логика и модель данных описывается в функциональных языках?

Question

[Максим]

Приветствую!
Немного погуглил, но так и не смог получить для себя четкого понимания, а как в функциональных языках типа Хаскел и Эрланга описывается бизнес-логика и модель данных?
Она хранится в базе данных?
И где кстати хранятся состояния?

Comments

[wiz]

В виде кода, данных или типов. Где удобней или на что хватает скилов. Но по большому счёту это всё одно и то же.

Я бы дал более развёрнутый пример, если бы был более развёрнутый вопрос.

[Максим]

wiz, Да, я спрошу по другому. В одном видео на ютуб, разработчик Wargaming Юрий Жлоба рассказывает про Ерланг, и там он сказал, что в функциональном языке не нужно дважды описывать модель данных как в ООП языках.
Мол, просто пишешь модель данных в SQL и все. Я не понимаю почему так.

Answer 1

[wiz]

Технически, можно конечно вообще не описывать. Дали JSON и крутись как хочешь - в базе жсон, в программе жсон, на клиенте жсон. Но часто это неудобно и хочется его сначала перегнать во что-то прям сильно более специфическое для предметной области. Из {"something": "special"} в Special :: Something. И ещё столько раз, сколько того потребует достижение удобной работы. Ноль, один или более - не думаю, что это важно.

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

Можно сделать тип

data Something = Special | Ordinary | Composite This That

а потом при выгрузке использовать Generics, тайпклассы, TemplateHaskell или что-нибудь ещё чтобы получить код который будет из БД перекладывать в язык.

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

Comments

[Максим]

Благодарю за развернутый ответ! Теперь более менее есть какая-то картина понимания)

[Сергей]

wiz оффтопик: как войти в хаскелл и заработать с ним в частном порядке ?