https://github.com/lampepfl/dotty/blob/master/tests/run/polymorphic-functions.scala

type F0 = [T] => List[T] => Option[T ( Read more... )

import scala.util.control.TailCalls._ ( Read more... )

https://www.slideshare.net/SanshiroYoshida/extensible-effects-in-dotty

https://dotty.epfl.ch/docs/reference/new-types/match-types.htmlRead more... )

по мотивам https://xacid.dreamwidth.org/70479.html где я недоумевал по поводу отсутсвия в дотти синт-сахара для полиморфных лямбд и вобще функций первого класса - кажется до них таки это доперло ( Read more... )

https://infoscience.epfl.ch/record/229878/files/simplicitly_1.pdf

includes examples for final tagless & free monadshttps://gist.github.com/

Поиграл немного с недавней 0.2.0-RC1 dotty и кроме того что там еще всё сыро (это конечно ожидаемо) обнаружил еще один для меня лично достаточно неприятный факт который можно проиллюстрировать вот этой ссылкой ( Read more... )