• Couldn't match type: MoveInfo -> Coords
with: (Int, Int)
Expected: Coords
Actual: MoveInfo -> Coords
• Probable cause: ‘from’ is applied to too few arguments
In the expression: from
In the first argument of ‘replace’, namely ‘(from, piece)’
In the expression: replace (from, piece) (to, piece) side board
|
135 | = replace (from,piece) (to,piece) side board
| ^^^^
код
move :: Board -> Side -> MoveInfo -> Board
move board side (MoveInfo piece from to)
= replace (from,piece) (to,piece) side board
то есть актуальный это тот же тип но внутри структуры.... как такое решается ?
Стикер
пропущен аргумент в применении. или лишний
не объявлена переменная from, которую ты хочешь, поэтому используется геттер from, сгенерированный из структуры
как я такое решаю — NoFieldSelectors для избавления от геттеров, -Wall -Werror для обнаружение заслонений
вот мы получаем структуру move board side (MoveInfo piece from to) и я предполагал, что эту структуру делю на три переменные которые использую, судя по всему не так
да, но это в другой области видимости, видимо
и строго доступ к структуре по типу MOveInfo->from ?
доступаться к полям можно разными способами без геттеров: — let MoveInfo{from} = moveInfo — moveInfo.from — moveInfo ^. #from
понял, логика принимаем структуру и дальше с ней работаем
это не шашки, это поисковик
moveInfo ^. # такое работает, через точку нет...
не надо через точку, было же правильно
в статье было move board side (MoveInfo piece from to) = replace (from,piece) (to,piece) side board не надо менять, пока работает
не увидел там у тебя в рекомендациях был один из вариантов — moveInfo.from
тут ты создаёьш переменную from внутри функции move, в другие функции это не перенесётся
да, но это другая тема
это был третий в списке рекомендуемых, а у тебя второй — более рекомендуемый, чем третий
а ты предлагал их достать в отдельные переменные ?
Обсуждают сегодня