AP
Не могут, и это скорее хорошо
Size: a a a
2021 May 21
Lt
Ну вот есть же namedrecordpuns как насилие над скоупом. Логично ожидать того же и с модулями было бы.
AP
Страшненько
AP
Но вообще сдаётся мне, что тут уже лучше idiom brackets какие-то навернуть.
Lt
на фоне какого-нибудь ImplicitParams с динамическим скоупом это намного предсказуемее
Lt
так и делаю сейчас. Но представь сотню таких префиксов? Не очень, правда?
Lt
TH quotes?
AP
AP
В лиспах бы просто навернули макрос, который бы перекроил все плюсы и минусы как надо. В Haskell это можно хвазиквотой сделать
Lt
ну кстати квазиквоты могут сработать, интересно, спасибо
Lt
конкретно тут по контексту подходит
Lt
но в целом конечно не претендует на общее решение локального импорта в скоуп)
AP
Дали бы уже "распаковку" квалифицированных в локальные скоупы. А импорт пусть глобальный будет.
import qualified Data.Map as M
foo = ...
where
{map,insert} = MLt
👍
Lt
синтаксис чуть доработать -- и в пропозал! хых
Lt
да, я знаю какая там бюрократия, так что не всерьез.. Но выглядит приемлемо КМК
AP
Оно даже не должно ничего ломать. В отличие от локальных импортов, которые могут привносить инстансы новые