【純粋関数型AltJS】PureScript

**デフォルトの名無しさん** · 2020/03/27(金) 23:08:17.93

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://discourse.purescript.org/t/recommended-tooling-for-purescript-applications-in-2019/948

**デフォルトの名無しさん** · 2020/03/27(金) 23:37:38.68

モナドある?

**デフォルトの名無しさん** · 2020/03/27(金) 23:48:25.03

モナドよりモノイドの話をしようぜ

**デフォルトの名無しさん** · 2020/03/29(日) 21:21:52.27

関数型の言語は難しいわ

**デフォルトの名無しさん** · 2020/03/29(日) 21:29:19.83

>>4
慣れの問題でしょ
俺にとってはオブジェクト指向の方が難しい

**デフォルトの名無しさん** · 2020/04/01(水) 07:23:35.00

なんかきたな
https://caloo.jp/hospitals/detail/1270000130

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

**デフォルトの名無しさん** · 2020/04/01(水) 07:31:36.52

すまん、URL間違えた
https://github.com/thomashoneyman/purescript-halogen-hooks

**デフォルトの名無しさん** · 2020/04/01(水) 11:19:41.53

そもそもReact Hooksってどういうところがエポックメイキングだったの？
詳しい人やさしく教えてくれ

**デフォルトの名無しさん** · 2020/04/04(土) 02:00:32.15

>>8
https://ja.reactjs.org/docs/hooks-intro.html
ここの動機以降を読めば理解できる

**デフォルトの名無しさん** · 2020/04/04(土) 09:04:53.51

これ以上増やすならゴミが

**デフォルトの名無しさん** · 2020/04/30(木) 19:18:08.36

もうVueとtypeScriptで消耗する日々を終わりにしたい
頼むからPureScript Halogenで仕事させてくれ

**デフォルトの名無しさん** · 2020/05/04(月) 03:41:06.13

Try PureScriptが最新のコンパイラで動くようになったな

**デフォルトの名無しさん** · 2020/06/04(木) 10:29:19.91

PureScript halogenのバージョン5がついに正式リリースやぞ

**デフォルトの名無しさん** · 2020/10/01(木) 20:28:58.52

過疎りすぎてて草

**デフォルトの名無しさん** · 2021/02/26(金) 10:21:24.95

0.14出たのから
PolyKindsサポートされるのとrowが#でなくRowというコンストラクタに変わるとか

**デフォルトの名無しさん** · 2021/03/22(月) 18:10:17.97

Halogen v6きたぞ

**デフォルトの名無しさん** · 2021/04/25(日) 02:51:51.80

Data.Codec.Argonautでレコードのコーデック聞いたけどTypeMismatch、、encodeしたやつをdecodeしても失敗するのは何故だ

**デフォルトの名無しさん** · 2021/04/25(日) 02:52:38.69

関係ないけど、Halogen hooksでコンポーネント作るの楽ね

**デフォルトの名無しさん** · 2021/10/22(金) 01:37:24.41

まじで過疎ってて草
5chでPureScript書いてるのは俺だけなのか？

**デフォルトの名無しさん** · 2023/09/12(火) 16:34:57.19

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

**デフォルトの名無しさん** · 2023/09/16(土) 10:58:20.89

今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 ("https://api.github.com/users/test";)
log $ show response

**デフォルトの名無しさん** · 2023/09/16(土) 18:48:48.85

実行時エラー 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

**デフォルトの名無しさん** · 2023/09/17(日) 03:36:47.44

>>22
自然変換
https://pursuit.purescript.org/packages/purescript-prelude/6.0.1/docs/Data.NaturalTransformation#t:type%20(~%3E)