ЮБ
1. ConnectionIO — это не обязательно стейтмент.
2. В дуби есть логирование, которое как раз и пишет стейтменты и их параметры.
2. В дуби есть логирование, которое как раз и пишет стейтменты и их параметры.
Size: a a a
2021 April 30
λ
ConnectionIO может вообще любое IO ембеддить
Oℕ
Через какую? scala-reflect?
ΛВ
через видимо =:= и подобные
Oℕ
Это не рантайм
Oℕ
Он же сказал, что хочет проверять в рантайме
TT
Хм, а как тогда написать интерпретатор для дуби , если ну уровне программы я не могу вкорячить транзакты уже
AS
>Возможно ли сделать компайл-тайм проверку на равенство типов ?
ᛒ
>Я видимо обратным образом сформулировал задачу. Нужно, чтобы не проходила.
TT
AS
Там и не проходит, не понимаю, чего хочет автор вопроса.
λ
Какой интерпретатор ты хочешь написать для
Connection => IO[A]?AS
Что это значит?
TT
Оно же становится IO после транзакта, так? А транзакту нужен транзактор. И либо его имплиситом ф-ции делать, но мне казажется транзактор надо объявлять в программе.
И на уровне интерпретатора норм?
И на уровне интерпретатора норм?
Oℕ
Там в примере попытка сделать так, чтобы в рантайме кидался эксепшен, если типы не равны
AS
Но в вопросе написано про компайл тайм.
λ
Нет
Oℕ
А потом исправление, что нужно ровно наоборот, которое я процитировал
AS
Т.е. автор хочет на имплиситах рантайм проверку неравенства типов?