Его нужно установить, скорее всего

LH — отдельная штука от сторонних авторов, а не часть GHC

Спс х2

На https://github.com/haskell/haskell-language-server сказано:

Liquid Haskell (haskell.liquidOn, default false): whether to enable Liquid Haskell support (currently unused until the Liquid Haskell support is functional again)

Видимо, ещё не сделали)

Настоящее type-safiety:

liquid-ghc-prim> Preprocessing library for liquid-ghc-prim-0.6.1..
liquid-ghc-prim> Building library for liquid-ghc-prim-0.6.1..
liquid-ghc-prim> [1 of 9] Compiling GHC.Debug
liquid-ghc-prim> ghc.exe: panic! (the 'impossible' happened)
liquid-ghc-prim>   (GHC version 8.10.4:
liquid-ghc-prim>      Prelude.!!: index too large
liquid-ghc-prim>
liquid-ghc-prim> Please report this as a GHC bug:  https://www.haskell.org/ghc/reportabug
liquid-ghc-prim>
Progress 52/54

можно и без хугла

Prelude> _ :: (a -> b -> c) -> b -> a -> c

<interactive>:1:1: error:
    * Found hole: _ :: (a1 -> b1 -> c1) -> b1 -> a1 -> c1
      Where: `b1', `a1', `c1' are rigid type variables bound by
               an expression type signature:
                 forall a1 b1 c1. (a1 -> b1 -> c1) -> b1 -> a1 -> c1
               at <interactive>:1:6-33
    * In the expression: _ :: (a -> b -> c) -> b -> a -> c
      In an equation for `it': it = _ :: (a -> b -> c) -> b -> a -> c
    * Relevant bindings include
        it :: (a -> b -> c) -> b -> a -> c (bound at <interactive>:1:1)
      Valid hole fits include
        flip :: forall a b c. (a -> b -> c) -> b -> a -> c
          with flip @a1 @b1 @c1
          (imported from `Prelude' (and originally defined in `GHC.Base'))

Prelude> _ :: (a -> b -> c) -> b -> a -> c

<interactive>:1:1: error:
    * Found hole: _ :: (a1 -> b1 -> c1) -> b1 -> a1 -> c1
      Where: `b1', `a1', `c1' are rigid type variables bound by
               an expression type signature:
                 forall a1 b1 c1. (a1 -> b1 -> c1) -> b1 -> a1 -> c1
               at <interactive>:1:6-33
    * In the expression: _ :: (a -> b -> c) -> b -> a -> c
      In an equation for `it': it = _ :: (a -> b -> c) -> b -> a -> c
    * Relevant bindings include
        it :: (a -> b -> c) -> b -> a -> c (bound at <interactive>:1:1)
      Valid hole fits include
        flip :: forall a b c. (a -> b -> c) -> b -> a -> c
          with flip @a1 @b1 @c1
          (imported from `Prelude' (and originally defined in `GHC.Base'))

)

можно ли в хаскелле мутировать списки без использования IO или ST
могу ли я сделать так: на вход список, внутри делаю копию, грязные хаки с ним и на выходе копию получившегося,
не меняя сигнатуры [a] -> [a]?

обычная деконструкция вроде это и делает

ну то есть сплит в нужном месте, вставляешь что куда надо и все

то что неизменяемое копируется дешево как референсы

Что неизменяемо измениться не может

если внутри сделать ST, то это оно и будет

снаружи будет [a] -> [a]

я не могу например сделать swap вектора за O(1)

можно, только если это IOVector

ST — как раз способ сделать "внутри мутабельно, снаружи опять чисто"

пошёл читать про ST, спасибо

иммутабельный вектор можно разморозить, помутировать и заморозить обратно, но заморозка — это линейное копирование.

можно ли будет делать Vector.swap за O(1) с линтиповой заморозкой?

Однократное копирование, это не так страшно часто

и IOVector не страшен