EK
Теоркат не нужен, Hask не категория
Size: a a a
2021 February 18
EK
Лямбда исчисление не нужно, чтобы понять ФП. Я, кстати, имел большие проблемы с пониманием untyped lc, т.к. после работы с типизированными языками думал, что термы обязаны иметь какой-то смысл (типизироваться)
EK
А вот курс Software foundations (in Coq) тема
MK
Теоркат не нужен, Hask не категория
Биохимия не нужна (для сыроварения). Hask - категория (объекты - типы Haskell, стрелки - функции). За курс - спасибо, интересный.
VM
Всем привет, есть вот такой код: https://scastie.scala-lang.org/greenhost87/sqrQkoPnSnGw56r9iFgH7A есть какой-то способ избавиться от копипаста
onShowDetails и onHideDetails, на уровне trait нет возможности сделать copy…ΛВ
Всем привет, есть вот такой код: https://scastie.scala-lang.org/greenhost87/sqrQkoPnSnGw56r9iFgH7A есть какой-то способ избавиться от копипаста
onShowDetails и onHideDetails, на уровне trait нет возможности сделать copy…
VM
а совсем избавиться от необходимости дублировать одно и тоже в каждом case class?
S
а совсем избавиться от необходимости дублировать одно и тоже в каждом case class?
S
не совсем про избавиться, но можно вынести
VM
Спасибо
НМ
только не делайте так, если у вас не sealed trait, если не хотите потом проблем огрести
MK
только не делайте так, если у вас не sealed trait, если не хотите потом проблем огрести
В смысле мало ли где эту трейту потом еще используют, если она не sealed?
НМ
В смысле мало ли где эту трейту потом еще используют, если она не sealed?
да
НМ
вряд ли кто-то при добавлении нового наследника к обычному трейту догадается ходить по всему коду и искать, где на этих наследников матчатся
S
Спасибо
можете еще избавиться от ItemDetailsState, если он нужен только для этого функционала
https://scastie.scala-lang.org/DxMjtl5JQk2zDO0aoQgP5Q
https://scastie.scala-lang.org/DxMjtl5JQk2zDO0aoQgP5Q
VM
Saitama
можете еще избавиться от ItemDetailsState, если он нужен только для этого функционала
https://scastie.scala-lang.org/DxMjtl5JQk2zDO0aoQgP5Q
https://scastie.scala-lang.org/DxMjtl5JQk2zDO0aoQgP5Q
ну это просто пример, на практике наследников полтора десятка и избавится от них не получится, плюс подобных мутаций тоже больше
ЮБ
ну это просто пример, на практике наследников полтора десятка и избавится от них не получится, плюс подобных мутаций тоже больше
Может имеет смысл тогда посмотреть на линзы?
VM
Может имеет смысл тогда посмотреть на линзы?
Вполне может быть, у меня нет опыта с ними - если вы можете дать линк на статью или доку где описывается примерно этот кейс, я буду очень благодарен
ΑZ
Все ФП, что в scala, что в haskell, что в C++ крутится вокруг двух глубоко математических концепций - лямбд и категорий. Вопрос «есть ли жизнь без кошек?» давайте пока не будем рассматривать.
А у боксера фп это поединок с тайпчекером
ΑZ
А у шахматиста - сложная партия