OO
Size: a a a
2020 August 11
EP
x => x + 1 и y => y + 1
тут уже обсуждалось подобное кстати
λ
в языке Unison с этим будет попроще жить
a
тут уже обсуждалось подобное кстати
"Доказать" можно с помощью макросов или плагина к компилятору
a
Но это нетривиальная задача
Oℕ
я наверное не правильно изначально задал вопрос, надо было "Как доказать, что какой либо ЯП (Scala) удовлетворяет требованиям α-эквивалентности двух лямбда терм"
В scala в полноценной форме доказывать подобные вещи не очень возможно.
Но можно рассмотреть какое-то подмножество или даже какое-то специальное формальное основание.
https://t.me/daily_ponv/976
Но можно рассмотреть какое-то подмножество или даже какое-то специальное формальное основание.
https://t.me/daily_ponv/976
2020 August 12
DO
На чём сейчас обычно делают REST сервисы на Scala?
Play + Slick нормальное сочетание или лучше взять какое-то другое?
Play + Slick нормальное сочетание или лучше взять какое-то другое?
DK
Dmitry Oxxzz
На чём сейчас обычно делают REST сервисы на Scala?
Play + Slick нормальное сочетание или лучше взять какое-то другое?
Play + Slick нормальное сочетание или лучше взять какое-то другое?
еще вариант http4s+doobie
D
Dmitry Oxxzz
На чём сейчас обычно делают REST сервисы на Scala?
Play + Slick нормальное сочетание или лучше взять какое-то другое?
Play + Slick нормальное сочетание или лучше взять какое-то другое?
Tapir + http4s, doobie + quill
D
Тапир поверх http4s нарисует swagger-эндпоинт, quill даст возможность не писать голый SQL на Doobie
EB
откуда такая любовь к супер-сложным абстракциям поверх sql
IF
Для этой библиотеки можно сделать graceful shutdown ?
https://github.com/fd4s/fs2-kafka
https://github.com/fd4s/fs2-kafka
EB
sql сам по себе dsl, нужно еще поверх dsl сделать dsl и потом героически решать любой нетривиальный вопрос
D
откуда такая любовь к супер-сложным абстракциям поверх sql
Зато писать какой-нибудь тройной джойн в виде Скалового for легко и приятно.
NV
Зато писать какой-нибудь тройной джойн в виде Скалового for легко и приятно.
скорее наоборот
EB
лел, ага, потом потратишь два года чтобы объяснить всем членам команды что это
EB
но самый метаприкол, что посмотрев на эти конструкции невозможно понять, какой sql оно сгенерирует
EB
в итоге все эти штуки только способствуют порождению кусков кода "не трожь, потому что мы не знаем как оно работает" и "я хз что это, иди к тому кто это написал"
D
в итоге все эти штуки только способствуют порождению кусков кода "не трожь, потому что мы не знаем как оно работает" и "я хз что это, иди к тому кто это написал"
это в случае скл запросов?
EB
это в случае скл запросов?
это в случае скаловых конструкторов запросов