ща

а что значит не получилось собрать, какая ошибка была?

сейчас еще раз попробую и скину

следующая книга по хаскелю должна быть servant in action

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE ExistentialQuantification #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}

import Data.Proxy
import GHC.TypeLits

data Server (s :: Symbol) = Server

run :: forall s. KnownSymbol s => Server s -> IO ()
run Server = do
 let x = symbolVal (Proxy @s)
 print x

data SomeServer = forall s. KnownSymbol s => SomeServer (Server s)

make :: String -> SomeServer
make x = case someSymbolVal x of
 SomeSymbol (Proxy :: Proxy x) ->
   SomeServer (Server :: Server x)

main :: IO ()
main = do
 case make "hello" of
   SomeServer server -> run server

вот тут я эмулировал некий Server, который хранит строку на тайплевеле

даже я описал тип SomeServer, который хранит тип сервера с какой-то строкой на тайплевеле

потом я написал make, который из строки создает сервер со строкой на тайплевеле

и в main я просто запустил сервер из make + рантаймная строка

(по факту конечно строка остается на термлевеле, она в KnownSymbol хранится)

Спасибо большое, после добавления Proxy перед @(WeatherAPI var') билд прошел, пойду тестить

вот так это вышло

Ну и чем это отличается от того что я написал?)

Порядком типоаргументов у serve разве что

А вообще, я поражён что это реально заработало

перед @(Type) не было Proxy, ошибка вылезала, а я не знал как её исправить

У меня ещё ни разу не вышло применить someSymbolVal для чего-то полезного

пхахахахахах

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

тяжело джунам в Хаскеле

ничего, шок пройдёт

не представляю что вообще чувствуют люди, которые про моноиды первый раз услышали в Хаскеле

А ты где первый раз услышал?