JS
тип параметра всё равно пишется в сигнатуре функции, нельзя отказаться. а в аргументе конструктор после этого явно лишний
Size: a a a
2020 May 26
AA
че только не придумают, лишь бы свои лишние сигнатуры нелишними сделать
JS
дано:
съешь :: Борщ -> IO ()
съешь Борщ{гуща, жижа} = ...
хочу:съешь :: Борщ -> IO ()
съешь {гуща, жижа} = ...к
тип параметра всё равно пишется в сигнатуре функции, нельзя отказаться. а в аргументе конструктор после этого явно лишний
дык просто сигнатуры не писать
JS
там всякие полезные штуки в сигнатуре есть. scoped переменные, констрэйнты
JS
сложно не писать сигнатуру
JS
даже если на совместимость версий наплевать
AA
че только не придумают, лишь бы хачкель в емель передалать
MK
Нельзя не писать сигнатуры
MK
дано:
съешь :: Борщ -> IO ()
съешь Борщ{гуща, жижа} = ...
хочу:съешь :: Борщ -> IO ()
съешь {гуща, жижа} = ...Назови конструктор
CJS
Назови конструктор
Cа конструкторы уже можно перегружать? если нет, то это не уменьшает нагрузку на мозг
MK
Напиши препроцессор
JS
ещё можно выводить конструктор автоматически из
_{гуща, жижа}JS
Напиши препроцессор
нужна информация о типах из компилятора
к
а конструкторы уже можно перегружать? если нет, то это не уменьшает нагрузку на мозг
как раз сегодня об этом писал
MK
Тогда плагин напиши
к
ещё можно выводить конструктор автоматически из
_{гуща, жижа}нельзя
JS
data X
= X{a :: Int}
| Y{a :: Int}в таких идиотских случая будет обламываться, но так нормальные люди не пишут