Динамическое имя модуля

Question

Я хочу сделать что-то подобное в Haskell, но компилятор не позволяет мне.

Есть ли способ выполнить эту задачу?

-- both modules export function named "hello"
-- and I want to run it in every module
import qualified MyMod as M1
import qualified MyAnotherMod as M2

runmodules = map (\m -> m.hello) [M1, M2]

Answer 1

Модули в Haskell даже не являются удаленно первоклассными объектами в способах, которые это потребует, я боюсь.

Однако, как прокомментировал bzn, Template Haskell можно использовать для подобных задач.Результат может быть немного неуклюжим, но если вам действительно нужно несколько быстрых хаков метапрограммирования, это не плохой выбор.Я не очень разбираюсь в TH, но то, что вы хотите, довольно просто, с одним уловом: ни «неоднозначные идентификаторы», ни «имена модулей» не могут быть захвачены или указаны в кавычках, насколько я знаю, так чтоПридется поместить их в строки, заданные в качестве аргументов функции TH.

Вот быстрый и грязный, минимальный пример:

{-# LANGUAGE TemplateHaskell #-}
module MapModuleTH where

import Language.Haskell.TH

mapQual :: [String] -> String -> ExpQ
mapQual ms n = listE $ map (\m -> varE . mkName $ m ++ "." ++ n) ms

mapMQual :: [String] -> String -> ExpQ
mapMQual ms n = appE (varE 'sequence) $ listE $ map (\m -> varE . mkName $ m ++ "." ++ n) ms

Вы сформулировали вещи как «запуск функции», что больше похоже на выполнение IO действий, а не просто сборсписок вещей, поэтому я добавил вариант, который также упорядочивает результат.

Обратите внимание, что, несмотря на использование здесь строк, этот является все еще статически типизированным - если квалифицированные имена неЕсли вы не существуете или типы не совпадают, вы получите ожидаемую ошибку во время компиляции, как если бы вы выписали все вручную.

Вот краткий пример ее использования.Учитывая следующее:

{-# LANGUAGE TemplateHaskell #-}
module MapModule where

import MapModuleTH
import qualified Test1 as T1
import qualified Test2 as T2

tests = do xs <- $(mapMQual ["T1", "T2"] "test")
           putStrLn $ "Count: " ++ show (length xs)

Предполагая, что есть другие модули и определяя test, тогда в GHCi мы можем видеть:

> tests
Test 1
Test 2
Count: 2

Answer 2

Я не думаю, что вы можете указать префикс квалифицированного имени, подобный этому, в шаблоне haskell, а идентификатор hello находится вне области видимости, поэтому вам, возможно, придется вернуться к программированию со строками.

module ModuleParamsTH where
import Language.Haskell.TH

getAll :: String -> [String] -> ExpQ
getAll valueName moduleNames = 
  listE $ map (varE . mkName . (++ suffix)) moduleNames
  where suffix = "." ++ valueName

, который затем можно использовать так,

{-# LANGUAGE TemplateHaskell #-}
import ModuleParamsTH
import qualified ModuleParamsM1 as M1
import qualified ModuleParamsM2 as M2

runmodules = $(getAll "hello" ["M1", "M2"])

Однако я бы не стал все это делать. Вы можете просто написать [M1.hello, M2.hello] или использовать класс типов для абстрагирования от реализаций.

Answer 3

Модули не являются значениями в Haskell. Поэтому это невозможно. Чего ты хочешь достичь?