lifting
Co to jest "lifting" w Scali?
Czasami, gdy czytam artykuły w ekosystemie Scali, czytam termin "lifting" / "lifting". Niestety, nie jest wyjaśnione, co to d ... ie poprzez framework Lift , który ma w nazwie Lift, ale to nie pomaga w odpowiedzi na pytanie.
Co to jest "lifting" w Scali?
Jak rozbić łańcuch wyrażeń dostępu członków?
Wersja skrócona (TL;DR):
Załóżmy, że mam wyrażenie, które jest tylko łańcuchem operatorów dostępu do członków:
Expression ... l-propagujący dostęp członka jest planowane dla zawarte w C # 6.0 . Chciałbym jednak znaleźć rozwiązanie rozkładu ekspresji.
Czy możliwe jest wdrożenie liftM2 w Scali?
W Haskell, liftM2 można zdefiniować jako:
liftM2 :: (Monad m) => (a1 -> a2 -> r) -> m a1 -> m a2 -> m r
l ... eklasa, która w tym przypadku wydaje się strasznie okrągła...
Czy jest jakiś dobry sposób, aby zrobić to, co próbuję zrobić?