【純粋関数型AltJS】PureScript (27ﾚｽ)
【純粋関数型AltJS】PureScript http://mevius.5ch.net/test/read.cgi/tech/1585318097/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
1: デフォルトの名無しさん [sage] 2020/03/27(金) 23:08:17.93 ID:adWh10vX Haskellの直系の子孫であり、JavaScriptを主なコンパイル対象とする純粋関数型AltJS PureScript について語るスレです。 PureScript公式サイト https://www.purescript.org/ 言語リファレンス https://github.com/purescript/documentation/blob/master/language/README.md その他有用なラーニングリソース https://github.com/JordanMartinez/purescript-jordans-reference https://github.com/justinwoo/purescript-resources/blob/master/docs/index.rst https://dis
course.purescript.org/t/recommended-tooling-for-purescript-applications-in-2019/948 http://mevius.5ch.net/test/read.cgi/tech/1585318097/1
2: デフォルトの名無しさん [sage] 2020/03/27(金) 23:37:38.68 ID:AZZ9Lfcm モナドある? http://mevius.5ch.net/test/read.cgi/tech/1585318097/2
3: デフォルトの名無しさん [] 2020/03/27(金) 23:48:25.03 ID:Rb3nizEF モナドよりモノイドの話をしようぜ http://mevius.5ch.net/test/read.cgi/tech/1585318097/3
4: デフォルトの名無しさん [sage] 2020/03/29(日) 21:21:52.27 ID:ASPmEZpT 関数型の言語は難しいわ http://mevius.5ch.net/test/read.cgi/tech/1585318097/4
5: デフォルトの名無しさん [] 2020/03/29(日) 21:29:19.83 ID:lnMZbQFE >>4 慣れの問題でしょ 俺にとってはオブジェクト指向の方が難しい http://mevius.5ch.net/test/read.cgi/tech/1585318097/5
6: デフォルトの名無しさん [sage] 2020/04/01(水) 07:23:35.00 ID:Bo1VBV+d なんかきたな https://caloo.jp/hospitals/detail/1270000130 React Hooksに着想得た、Halogen用の状態つきコンポーネントを作る手段だと http://mevius.5ch.net/test/read.cgi/tech/1585318097/6
7: デフォルトの名無しさん [] 2020/04/01(水) 07:31:36.52 ID:0sLmxtDE すまん、URL間違えた https://github.com/thomashoneyman/purescript-halogen-hooks http://mevius.5ch.net/test/read.cgi/tech/1585318097/7
8: デフォルトの名無しさん [] 2020/04/01(水) 11:19:41.53 ID:J6ChlXYh そもそもReact Hooksってどういうところがエポックメイキングだったの？ 詳しい人やさしく教えてくれ http://mevius.5ch.net/test/read.cgi/tech/1585318097/8
9: デフォルトの名無しさん [] 2020/04/04(土) 02:00:32.15 ID:sQk2k7c/ >>8 https://ja.reactjs.org/docs/hooks-intro.html ここの動機以降を読めば理解できる http://mevius.5ch.net/test/read.cgi/tech/1585318097/9
10: デフォルトの名無しさん [] 2020/04/04(土) 09:04:53.51 ID:L/BdUORC これ以上増やすならゴミが http://mevius.5ch.net/test/read.cgi/tech/1585318097/10
11: デフォルトの名無しさん [] 2020/04/30(木) 19:18:08.36 ID:K8xm/HnN もうVueとtypeScriptで消耗する日々を終わりにしたい 頼むからPureScript Halogenで仕事させてくれ http://mevius.5ch.net/test/read.cgi/tech/1585318097/11
12: デフォルトの名無しさん [] 2020/05/04(月) 03:41:06.13 ID:0kqhmca7 Try PureScriptが最新のコンパイラで動くようになったな http://mevius.5ch.net/test/read.cgi/tech/1585318097/12
13: デフォルトの名無しさん [] 2020/06/04(木) 10:29:19.91 ID:tCZ+i58G PureScript halogenのバージョン5がついに正式リリースやぞ http://mevius.5ch.net/test/read.cgi/tech/1585318097/13
14: デフォルトの名無しさん [] 2020/10/01(木) 20:28:58.52 ID:niZNqEsd 過疎りすぎてて草 http://mevius.5ch.net/test/read.cgi/tech/1585318097/14
15: デフォルトの名無しさん [] 2021/02/26(金) 10:21:24.95 ID:jRB7MJTc 0.14出たのから PolyKindsサポートされるのとrowが#でなくRowというコンストラクタに変わるとか http://mevius.5ch.net/test/read.cgi/tech/1585318097/15
16: デフォルトの名無しさん [] 2021/03/22(月) 18:10:17.97 ID:GMNO2OGC Halogen v6きたぞ http://mevius.5ch.net/test/read.cgi/tech/1585318097/16
17: デフォルトの名無しさん [] 2021/04/25(日) 02:51:51.80 ID:RzdX+r0w Data.Codec.Argonautでレコードのコーデック聞いたけどTypeMismatch、、encodeしたやつをdecodeしても失敗するのは何故だ http://mevius.5ch.net/test/read.cgi/tech/1585318097/17
18: デフォルトの名無しさん [] 2021/04/25(日) 02:52:38.69 ID:RzdX+r0w 関係ないけど、Halogen hooksでコンポーネント作るの楽ね http://mevius.5ch.net/test/read.cgi/tech/1585318097/18
19: デフォルトの名無しさん [] 2021/10/22(金) 01:37:24.41 ID:0905Weml まじで過疎ってて草 5chでPureScript書いてるのは俺だけなのか？ http://mevius.5ch.net/test/read.cgi/tech/1585318097/19
20: デフォルトの名無しさん [age] 2023/09/12(火) 16:34:57.19 ID:FooNA5X7 今日入門。過疎ってるけどだれかいると信じてあげます 今日はspago initしてrunを動かすところまでやりました linuxのntfs-3g上ではfatal: destination path '.' already exists and is not an empty directory. のようなエラーが多数でて動かないので気をつけてください それを解明するまでにかなり時間がかかりました http://mevius.5ch.net/test/read.cgi/tech/1585318097/20
21: デフォルトの名無しさん [sage] 2023/09/16(土) 10:58:20.89 ID:YSu5R3en 今halogen guideを読んでる途中 型がよくわからないので小さいサンプルを作ろうとしたのですが これすら型エラーで動かせない 型エラー対策に便利なhaskellのerror :: [Char] -> aがないので別のところでも苦戦中 module Main where import Prelude import Affjax.Web as AX import Affjax.ResponseFormat as AXRF import Effect (Effect) import Effect.Aff.Class (class MonadAff) import Halogen as H import Effect.Console(log) import Effect.Class(liftEffe
ct) main :: Effect Unit main = do response <- H.liftAff $ AX.get AXRF.string ("https://api.github.com/users/test") log $ show response http://mevius.5ch.net/test/read.cgi/tech/1585318097/21
22: デフォルトの名無しさん [sage] 2023/09/16(土) 18:48:48.85 ID:YSu5R3en 実行時エラー XMLHttpRequest is not definedはでるがコンパイルは出来た module Main where import Prelude import Effect(Effect) import Effect.Aff import Effect.Console (log) import Effect.Class(liftEffect) import Data.Either import Halogen.Aff.Util(runHalogenAff) import Affjax(Response,printError) import Affjax.Web as AX import Affjax.ResponseFormat as AXRF import Affjax(Error) main :: Effect Unit main = runHalogenAff $ do fb <- AX
.get AXRF.string "https://api.github.com/users/test" case fb of Left err -> liftEffect $ do log $ printError err Right x -> liftEffect $ do log $ x.body あと、この~>という記号はどういう意味か分かる人いますか joinFiber :: Fiber ~> Aff http://mevius.5ch.net/test/read.cgi/tech/1585318097/22
23: デフォルトの名無しさん [sage] 2023/09/17(日) 03:36:47.44 ID:2thFGrAB >>22 自然変換 https://pursuit.purescript.org/packages/purescript-prelude/6.0.1/docs/Data.NaturalTransformation#t:type%20(~%3E) http://mevius.5ch.net/test/read.cgi/tech/1585318097/23
24: デフォルトの名無しさん [sage] 2023/09/17(日) 09:14:10.06 ID:ucaTRy+v >>23 ありがとうございます (~>)などでpursuitで検索しても出ないので助かります joinFiber :: Fiber ~> Affは joinFiber :: forall (a :: Type). Fiber a -> Aff a ですね そしてFiberもAffもFunctorのインスタンスになってました ttps://zenn.dev/funnycat/articles/c871fef434c36c ここのサンプルが軒並み動かなくなってるけど 昔はAffにEffectを混ぜて使えたのかな 例えば import Prelude import Effect(Effect) import Effect.Aff import Effect.Co
nsole(log) import Data.Either main :: Effect Unit main = launchAff_ do a <- makeAff \callback -> do log "関数が呼ばれたよ" callback (Right "Done!") pure nonCanceler log a log aがEffectモナドで動いてて他の行がAffモナドで動いてるのでエラーになってる logの前にliftEffectをつければ動くので一応補完しながら読んでます http://mevius.5ch.net/test/read.cgi/tech/1585318097/24
25: デフォルトの名無しさん [sage] 2023/09/18(月) 10:41:43.01 ID:UmWRU5gb halogen難しいね 次の関数とかどんな関数か想像もつかない _1って何ですか。普通のaとかと同じもの？ slot :: forall query action input output slots m label slot _1. Cons label (Slot query output slot) _1 slots => IsSymbol label => Ord slot => Proxy label -> slot -> Component query input output m -> input -> (output -> action) -> ComponentHTML action slots m http://mevius.5ch.net/test/read.cgi/tech/1585318097/25
26: デフォルトの名無しさん [] 2023/10/04(水) 20:54:14.40 ID:raXXa6I6 >>25 Halogenは、ある程度PureScriptに慣れるまではシグネチャおまじないだと思ってあんまり気にしない方がいいかもね http://mevius.5ch.net/test/read.cgi/tech/1585318097/26
27: デフォルトの名無しさん [] 2023/10/05(木) 17:14:25.83 ID:qkLTqCla >>24 記事のは Effect.Class.Console の log を使ってるはず(Effect.Consoleのlog を liftEffect したもの) http://mevius.5ch.net/test/read.cgi/tech/1585318097/27
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
2.014s*