KV
Хз, всё как-то не очень
Size: a a a
2021 March 29
K
Не знаю, куда ты там в своих размышлениях зашёл, но я лично имею ввиду вот такое частичное применение
Такое-то ладно
AP
Хз, всё как-то не очень
Потому что не додумались сделать 2d синтаксис для заголовка инстанса
AP
instance
Class
(Foo ...)
if
Bar a
Baz b
where
...KV
Если бы where можно было писать с тем же отступом, что instance
KV
Ага, вот это
KV
Ну зачем if, можно было стрелочку => оставить
AP
Не, если уж делать новый синтаксис, то лучше словами
KV
А не надо делать новый синтаксис, надо просто чуть-чуть поменять старый
AP
instanceOf
Monoid
for
Foo a
if
Monoid a
where
...AP
(КОБОЛ стайл :Р)
KV
instance <constraints> => <instance_head>
сделать эквивалентным
instance <instance_head> <= <constraints>
и чтобы where можно было без лишнего отступа писать. Всё!
сделать эквивалентным
instance <instance_head> <= <constraints>
и чтобы where можно было без лишнего отступа писать. Всё!
KV
Ну я бы ещё стрелочку развернул как в пурсе, но обратная совместимость
K
instance <constraints> => <instance_head>
сделать эквивалентным
instance <instance_head> <= <constraints>
и чтобы where можно было без лишнего отступа писать. Всё!
сделать эквивалентным
instance <instance_head> <= <constraints>
и чтобы where можно было без лишнего отступа писать. Всё!
Вот да!
AP
зачем держаться за
<=? Есть же нормальный let .. inAP
Добавочное ключевое слово уже можно сделать позволительным на том же уровне, что и первое. И это не будет противоречить существующему синтаксису
AA
instanceOf
Monoid
for
Foo a
if
Monoid a
where
...if тут вводит в заблуждение, потому что это скорее
instanceOf
Monoid
if
Foo a
then
Monoid a
where
AA
инстанс же по голове только выбирается
AP
Да, так тоже KPACUBO
AP
if
Foo a
then
Monoid a
isInstanceOf
Monoid
where
...
:)