前悩んだ時は
LANG=C で言語指定したらビルドできましたLANG=C で言語指定したらビルドできましたcabal build --with-gcc=gcc-9 --constraint="gtk +have-quartz-gtk" でいけると思います。cabal install --lib を使う必要があります。-- | Monadic streams
data Bundle m v a = Bundle { sElems :: Stream m a
, sChunks :: Stream m (Chunk v a)
, sVector :: Maybe (v a)
, sSize :: Size
}Data.Vector.Generic.unstreamでさえこれを消費しているように見えないので，本当になんのためにあるのか分からなくて……．sVector ができた経緯としては fromVector でもらった vector をそのまま保存するためみたいですねsVector を消してコンパイル通してみましたが、確かに取り出してないように見えますね
main :: IO ()
main = do
putStrLn “string”
putStrLn “string”
putStrLn "string" がメモ化されて1回しか出力されないのでは、という話ですかね？So GHC does do CSE, but only in specific circumstances --- see the GHC manual. (Section??)詳細への参照が「セクション？？」になってます笑
main = let e = putStrLn "string" in e >> e
unrecognized 'build' option `--constraint=gtk +have-quartz-gtk'
cabal-install version 2.4.1.0 compiled using version 2.4.1.0 of the Cabal library
gは参照透過性があると言えるのでしょうか
f :: Int -> String
f x = let g = if x == 0
then "empty"
else (show x)
in gf x = let g a = if a == 0
then "empty"
else (show a)
in g xとりあえず、設計するときにどっちの方が好まれるのかが気になっています。その意味ですと、どちらも一長一短あるのでなんともいえないですね...
[e| |] について、:point_down: のようなちょっと面白い挙動を見つけたんですが、これはどこのドキュメントに書かれているでしょうか？{-# LANGUAGE TemplateHaskell #-}
module Lib where
import (ExpQ)
-- definedInMainはLib.hsでは定義されてない！
expq :: ExpQ
expq = [e| putStrLn definedInMain |] {-# LANGUAGE TemplateHaskell #-}
import Lib
main :: IO ()
main = do
-- 代わりに、test.hsで定義する
let definedInMain = "hello!"
$(expq)[e| putStrLn definedInMain |] で定義されていない、 definedInMain をマクロを展開しているtest.hsから参照する、という挙動です。