カテゴリー「PureScript」に投稿された記事

該当件数:13件 このカテゴリーに記録されたログをみる

PureScript の ffi (2) Maybe 型

モチベーション 以下のような js コードを PureScript から呼び出すことを考えます。 "use strict"; exports.funcImpl = function(x) { if (x =...

PureScript の ffi を使ってみる

PureScript から JavaScript のコードを呼ぶ JS のコードを呼ぶ方法を調べたのでまとめておきます。 Test.purs と Test.js という名前でファイルを作ります。(ファイル名が異なる場合はコン...

PureScript のモジュール宣言

PureScript のモジュール宣言 Haskell と少し違うのでメモとして残しておきます。 export list keyword 関数 型 型演算子 t...

Prelude モジュールを読む (7) Data.HeytingAlgebra, Data.BooleanAlgebra

Prelude モジュールを読む (7) Data.HeytingAlgebra, Data.BooleanAlgebra Prelude モジュールは purescript-prelude パッケージで定義されているモジュールです...

Prelude モジュールを読む (6) Data.Semigroup, Data.Monoid

Prelude モジュールを読む (6) Data.Semigroup, Data.Monoid Prelude モジュールは purescript-prelude パッケージで定義されているモジュールです。 今回は以下の2つ...

Prelude モジュールを読む (5) Data.Ordering, Data.Ord, Data.Bounded

Prelude モジュールを読む (5) Data.Ordering, Data.Ord, Data.Bounded Prelude モジュールは purescript-prelude パッケージで定義されているモジュールです。 ...

Prelude モジュールを読む (4) Control.Monad, Data.NaturalTransformation, Data.Eq, Data.Show

Prelude モジュールを読む (4) Control.Monad, Data.NaturalTransformation, Data.Eq, Data.Show Prelude モジュールは purescript-prelude...

Prelude モジュールを読む (3) Data.Boolean, Data.Function, Control.Applicative, Control.Bind

Prelude モジュールを読む (3) Data.Boolean, Data.Function, Control.Applicative, Control.Bind Prelude モジュールは purescript-prelud...

Prelude モジュールを読む (2) Data.Void, Control.Category, Control.Apply, Control.Semigroupoid

Prelude モジュールを読む (2) Data.Void, Control.Category, Control.Apply, Control.Semigroupoid Prelude モジュールは purescript-prel...

Prelude モジュールを読む (1) Data.Unit, Data.Functor

Prelude モジュールを読む (1) Data.Unit, Data.Functor Prelude モジュールは purescript-prelude パッケージで定義されているモジュールです。 Preludeではいくつ...

Prim モジュールを読む

Prim モジュール PrimモジュールはPureScript組み込みの型などを提供しているモジュールということなので読みます。 PureScript 値 Haskell Function...

repl 環境を試す

インストール ghci のような感じで型とかチェックしたいので PureScript でも同様のコマンドがあるか調べたところ、spago repl を使えば良いということがわかりました。 ただ、ローカルにインストールしたspa...

PureScript の環境構築

PureScript の環境が無いので Recommended tooling for PureScript applications in 2019 を参考に作っていこうと思います。 まとめ λ brew install y...