Тухлый Александр (0xd34df00d)

*haskell *programming *?
Хаскель-жуйк, в хаскеле же можно задавать ограничения, условия и взаимосвязи на значения в типах? Например, есть
data SessionParams = SessionParams {
numBlocks :: Int,
pieceSize :: Int
}
и я хочу, чтобы pieceSize всегда нацело делилось на numBlocks, пусть иначе валится с ошибкой сразу. Чтоделац? Я же знаю, в хаскеле же это есть. Ну или хотя бы в гохаце.

#956438
from idead, 10 months ago
Recommended by (1): @O01eg

← All messages

Replies (9)

Post a reply (xmpp)

@jtootf:
сразу — это когда? ты можешь сконструировать тип, принимающий только нужные тебе значения; а можешь просто выкинуть record syntax и явно реализовать обновление данных с соответствующей проверкой. второй подход проще, первый апгрейдит штангу
#956438/1
from abel, 10 months ago
@0xd34df00d:
@jtootf Дык все немножко усложняется тем, множество значений одного типа зависит от значения другого. Впрочем, никто не мешает принимать нужные значения в зависимости от параметра, верно? Получается такая вот связь.
Хочу проапгрейдить штангу.
#956438/2
from idead, 10 months ago, in reply to /1
@jtootf:
@0xd34df00d зависит в рантайм?
#956438/3
from abel, 10 months ago, in reply to /2
@0xd34df00d:
@jtootf Да.
#956438/4
from idead, 10 months ago, in reply to /3
@jtootf:
@0xd34df00d too bad: haskell.org
#956438/5
from abel, 10 months ago, in reply to /4
@0xd34df00d:
@jtootf Там какие-то пиздецомы.
#956438/6
from idead, 10 months ago, in reply to /5
@jtootf:
@0xd34df00d содержательно
#956438/7
from abel, 10 months ago, in reply to /6
@0xd34df00d:
@jtootf Пришел я с пары по функану, открываю, а там на меня опять какой-то матан смотрит. Пойду лучше патчики попринимаю, отдохнуть надо.
#956438/8
from idead, 10 months ago, in reply to /7
@jtootf:
@0xd34df00d пойди, попринимай
#956438/9
from abel, 10 months ago, in reply to /8

Тухлый Александр (0xd34df00d)

Subscribe

Replies (9)

Messages

Tags all

Search

Statistics