очевидных

get (put v s) = v

put(get s) s = s

:D

еще иногда добавляют
put o’ (put o i) = put o’ i

да там много

есть еще законы частичного применения

в общем-то смысл определения через профункторы вроде бы именно в том, что законы автоматически выполняются

quicklens как раз в Sowtwaremil разрабатывался, судя по пакетам. Годная, использую.

Прошу прощения за вторжение. Помогите, пожалуйста, найти сильного Senior Scala Developer разрабатывать с нами серверную часть www.Acotor.im
Actor - это мессенджер под iOS, Android, веб и десктопы c открытым исходным кодом. Мы довольно популярны на гитхабе (https://github.com/actorapp/actor-platform, постоянно пилятся форки. Гарантируем интересные технические задачи, адекватную команду, уважительную зарплату на уровне. Офис находится в Петербурге, но возможна и удаленка.
Писать можно мне на anton@actor.im Заранее благодарю.

что-то у вас ссылка битая

)

и вправду, спасибо)

а откуда название пошло? потому что изнутри все на акковских акторах работает?

Акковские акторы безусловно сильно вдохновили создателей проекта

Но да, внутри все примерно так

фултайм ищете ?

Да

как и сказал наш коллега - на стороне сервера действительно используются акковские акторы. также примерно с момента выходы stable релиза(пусть и experimental) используются akka streams и akka http. Раньше была связка акторы + slick + postgres, сейчас ключевые моменты перевели на akka persistence, event-ы пишутся в postgres. В дальнейшем есть планы отвязаться от одного хранилища в принципе.
на клиентах кстати тоже используется модель акторов, только уже самописная. вообще весь проект очень интересный с технической точки зрения. например клиентская логика шарится между всеми платформами, под которые делаем клиентов(ios, android, web). есть кодогенерация схемы API, которую используют клиенты и сервер, и другие интересные вещи.

Вилка для удаленки какая?