【純粋関数型AltJS】PureScript

【純粋関数型AltJS】P ..

2:デフォルトの名無しさん
20/03/27 23:37:38.68 AZZ9Lfcm.net
モナドある?

3:デフォルトの名無しさん
20/03/27 23:48:25.03 Rb3nizEF.net
モナドよりモノイドの話をしようぜ

4:デフォルトの名無しさん
20/03/29 21:21:52.27 ASPmEZpT.net
関数型の言語は難しいわ

5:デフォルトの名無しさん
20/03/29 21:29:19.83 lnMZbQFE.net
>>4
慣れの問題でしょ
俺にとってはオブジェクト指向の方が難しい

6:デフォルトの名無しさん
20/04/01 07:23:35.00 Bo1VBV+d.net
なんかきたな
URLﾘﾝｸ(caloo.jp)

React Hooksに着想得た、Halogen用の状態つきコンポーネントを作る手段だと

7:デフォルトの名無しさん
20/04/01 07:31:36.52 0sLmxtDE.net
すまん、URL間違えた
URLﾘﾝｸ(github.com)

8:デフォルトの名無しさん
20/04/01 11:19:41.53 J6ChlXYh.net
そもそもReact Hooksってどういうところがエポックメイキングだったの？
詳しい人やさしく教えてくれ

9:デフォルトの名無しさん
20/04/04 02:00:32.15 sQk2k7c/.net
>>8
URLﾘﾝｸ(ja.reactjs.org)
ここの動機以降を読めば理解できる

10:デフォルトの名無しさん
20/04/04 09:04:53.51 L/BdUORC.net
これ以上増やすならゴミが

11:デフォルトの名無しさん
20/04/30 19:18:08.36 K8xm/HnN.net
もうVueとtypeScriptで消耗する日々を終わりにしたい
頼むからPureScript Halogenで仕事させてくれ

12:デフォルトの名無しさん
20/05/04 03:41:06.13 0kqhmca7.net
Try PureScriptが最新のコンパイラで動くようになったな

13:デフォルトの名無しさん
20/06/04 10:29:19.91 tCZ+i58G.net
PureScript halogenのバージョン5がついに正式リリースやぞ

14:デフォルトの名無しさん
20/10/01 20:28:58.52 niZNqEsd.net
過疎りすぎてて草

15:デフォルトの名無しさん
21/02/26 10:21:24.95 jRB7MJTc.net
0.14出たのから
PolyKindsサポートされるのとrowが#でなくRowというコンストラクタに変わるとか

16:デフォルトの名無しさん
21/03/22 18:10:17.97 GMNO2OGC.net
Halogen v6きたぞ

17:デフォルトの名無しさん
21/04/25 02:51:51.80 RzdX+r0w.net
Data.Codec.Argonautでレコードのコーデック聞いたけどTypeMismatch、、encodeしたやつをdecodeしても失敗するのは何故だ

18:デフォルトの名無しさん
21/04/25 02:52:38.69 RzdX+r0w.net
関係ないけど、Halogen hooksでコンポーネント作るの楽ね

19:デフォルトの名無しさん
21/10/22 01:37:24.41 0905Weml.net
まじで過疎ってて草
5chでPureScript書いてるのは俺だけなのか？

20:デフォルトの名無しさん
23/09/12 16:34:57.19 FooNA5X7.net
今日入門。過疎ってるけどだれかいると信じてあげます
今日はspago initしてrunを動かすところまでやりました
linuxのntfs-3g上ではfatal: destination path '.' already exists and is not an empty directory.
のようなエラーが多数でて動かないので気をつけてください
それを解明するまでにかなり時間がかかりました

21:デフォルトの名無しさん
23/09/16 10:58:20.89 YSu5R3en.net
今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(liftEffect)
main :: Effect Unit
main = do
response <- H.liftAff $ AX.get AXRF.string ("URLﾘﾝｸ(api.github.com))
log $ show response

22:デフォルトの名無しさん
23/09/16 18:48:48.85 YSu5R3en.net
実行時エラー 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 "URLﾘﾝｸ(api.github.com)
case fb of
Left err -> liftEffect $ do
log $ printError err
Right x -> liftEffect $ do
log $ x.body

あと、この~>という記号はどういう意味か分かる人いますか
joinFiber :: Fiber ~> Aff

23:デフォルトの名無しさん
23/09/17 03:36:47.44 2thFGrAB.net
>>22
自然変換
URLﾘﾝｸ(pursuit.purescript.org)(~%3E)

24:デフォルトの名無しさん
23/09/17 09:14:10.06 ucaTRy+v.net
>>23 ありがとうございます
(~>)などでpursuitで検索しても出ないので助かります

joinFiber :: Fiber ~> Affは
joinFiber :: forall (a :: Type). Fiber a -> Aff a
ですね
そしてFiberもAffもFunctorのインスタンスになってました

URLﾘﾝｸ(zenn.dev)
ここのサンプルが軒並み動かなくなってるけど
昔はAffにEffectを混ぜて使えたのかな
例えば
import Prelude
import Effect(Effect)
import Effect.Aff
import Effect.Console(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をつければ動くので一応補完しながら読んでます

25:デフォルトの名無しさん
23/09/18 10:41:43.01 UmWRU5gb.net
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

26:デフォルトの名無しさん
23/10/04 20:54:14.40 raXXa6I6.net
>>25
Halogenは、ある程度PureScriptに慣れるまではシグネチャおまじないだと思ってあんまり気にしない方がいいかもね

27:デフォルトの名無しさん
23/10/05 17:14:25.83 qkLTqCla.net
>>24

記事のは Effect.Class.Console の log を使ってるはず(Effect.Consoleのlog を liftEffect したもの)