p
Не пробовать ФП
Size: a a a
2021 May 30
p
А то засосет и не дай бог геем скалистом станешь.
А⚙
Ты тут видишь одноглазых?
SS
Аргумент уровень проповеди попов типа "не спорьте с атеистами, они вас с истины собьют"
DS
И да, селф типы а-ля раст в скале не имеют смысла вообще, потому что там тайпклассы энкодятся, а-ля хаскель, с явным дженерик аргументом для типа
ID
Зато безглазых полно
а
Если трейты енкодятся как в хаскеле, получается this в методе уже не используют, а передают объект внутрь явно?
A
Можешь попробовать сначала Хаскель. Если не потянешь, то тогда Скалу (typelevel stack).
А⚙
Напомни, пожалуйста, как в Haskell выглядит Ord?
DS
Да, именно.
А для того, чтобы был синтаксис через точку делают аналог методов расширений
А для того, чтобы был синтаксис через точку делают аналог методов расширений
а
Класс
DS
class Eq a => Ord a wherr
compare :: a -> a -> Ordering
compare :: a -> a -> Ordering
DS
В скала 3 это всё автоматом делается:
trait SemiGroup[T]:
extension (x: T) def combine (y: T): T
trait Monoid[T] extends SemiGroup[T]:
def unit: T
trait SemiGroup[T]:
extension (x: T) def combine (y: T): T
trait Monoid[T] extends SemiGroup[T]:
def unit: T
DS
Через ключевое слово extension
А⚙
А, то есть это скорее не "a удовлетворяет ограничению Ord", а "в функцию передаётся словарь функций Ord, параметризованный a"
А⚙
А зачем там в итоге def?
H
ΑZ
4000 это не высокие
DS
Потому что extension может в себя включать сразу несколько методов и там есть форма такая как выше под один метод и по сути она же под несколько:
extension [T](xs: List[T])(using Ordering[T])
def smallest(n: Int): List[T] = xs.sorted.take(n)
def smallestIndices(n: Int): List[Int] =
val limit = smallest(n).max
xs.zipWithIndex.collect { case (x, i) if x <= limit => i }ΑZ
Ну вот слышал слухи но все они не верны)