Внедрение простой бизнес-модели в Haskell

Question

Supose мы имеем очень простую модель:

Station имеет по крайней мере один Train
Train имеет по крайней мере два Station сек

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

Как смоделировать его в Haskell?

Я новичок в Haskell, поэтому, пожалуйста, поправьте меня: как только объект создан, вы не можете изменить его - вы можете сделать только новый объект на основе этого одного (~ неизменности). Я прав? Если это так, Мне нужно будет создать много временных переменных с полуинициализированными объектами (во время десериализации или даже в модульных тестах).

В принципе, мне нужен пример моделирования классов домена в Haskell - после прочтения «Учите вас haskell ..». Я до сих пор не знаю, как использовать этот язык.

Answer 1

Вот наивный подход:

data Station = Station Train [Train] 
data Train = Train Station Station [Station] 

Вы никогда не должны создавать неинициализированный объект. Например, вот пара значений выборки:

grandCentral = Station regional [national] 
bestWestern = Station regional [national] 
regional = Train grandCentral bestWestern [] 
national = Train grandCentral bestWestern [] 

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

type TrainMap = Map TrainId Train 
type StationMap = Map StationId Station 
type TrainId = Int -- use newtype for more compiler checks at 
type StationId = Int -- the cost of more programmer annoyance 
data Train = Train StationId StationId [StationId] 
data Station = Station TrainId [TrainId]