purescript

0熱

1答えて

PureScriptを使用して、信頼できないユーザーが送信したコードを安全に実行する*ことはできますか？セーフタイプのシステム（Safe Haskellのような）を使用して、純度やその他の制約を確実に適用することは可能ですか？つまり、PureScriptを使用して信頼できないユーザーコードをサニタイズすることは可能ですか？ *）XSSなどのグローバルオブジェクトへのアクセス

0熱

1答えて

purescript匿名関数の引数はネストされたレコードにありますか？

ネストされたレコードに何らかの形で匿名関数の引数を適用することは可能でしょうか？ type UName = {fname :: String, lname :: String} type XName = { xname :: UName, addr :: String} updateU = _ { xname : { fname : _ } } -- not ok -- or updat

0熱

1答えて

Puxでエフェクトを処理する方法は？

私はPurescriptとPuxの世界全体の初心者ですから、私たちがどこで効果を扱うのか少し混乱しています。現在、私は私のタイプでは効果モデリングしています： type State = { countries ∷ Maybe (Eff (random :: RANDOM) Countries) } をそして、私のfoldp機能であることを利用して： countriesは次のように定義されて

0熱

1答えて

purescript-アルゴノートジェネリックgDecodeJson：「タグ」プロパティが」

が欠落している私は、アルゴノートを学んだし、私は手動でJSONをデコードすることができるよ： foo = """{"f":"xxx"}""" newtype Foo = Foo { f :: String } derive instance genericFoo :: Generic Foo instance decodeJsonFoo :: DecodeJso

0熱

1答えて

ステートレスでスタティックなハロゲンコンポーネントの作成方法は？

ハロゲンライブラリを使用してhtmlボタンをレンダリングしようとするgithubのhttps://github.com/slamdata/purescript-halogen/blob/master/examples/basic/src/Button.purs#L42の抜粋を考えてみましょう。 render :: State -> H.ComponentHTML Query render

1熱

1答えて

purescript-domでどのようにNodeから特定の要素型に移動しますか？

ノードから特定の要素タイプに変換するために、purescript-domモジュールのキー機能が欠落している可能性があります。たとえば、Eventがある場合、DOM.Events.Events.targetを使用してノードを取得できますが、特定の要素を取得する唯一の方法は、unsafeCoerceとなります。 import DOM.Event.Event (target) import DOM.H

1熱

1答えて

purescriptの `Thermite.focus`に渡すためのレンズをどうやって作るのですか？

私は、タスクリストを設定するためのさまざまなテルミットのチュートリアルに従っています。多くの説明を含む唯一のチュートリアルもかなり古くなっているので、現在のThermiteに合わせて変更しています。しかし、データ型を一致させることができない呼び出しが1つあります。エラーメッセージは、特に私はT.focusに渡しています_tasksパラメータについて話している Could not mat

1熱

1答えて

PureScriptでは、ListはArrayとどう違うのですか？

PureScriptでは、ListはArrayとどう違うのですか？もう一方を使用する理由は何ですか？

1熱

1答えて

purescriptのFFIの種類は安全にpurescript FFIを試し

をJavaScriptの関数をインポートすると、「Purescriptすることにより例」本以下、Iは、配列の先頭を取得するためにJSファイルを作成しました： exports.head = function(arr) { return arr[0]; }; とでどのように私はタイプUndefined aの値を使用しない、今 foreign import data Undefined

0熱

1答えて

Purescript do-notationの 'discard'についてどうすればよいですか？

「例文による学習」の例で問題が発生しています。セクション9.3から具体的に、このコード： in module Example.Rectangle at src\Example\Rectangle.purs line 16, column 3 - line 16, column 29 A result of type Context2D was implicitly discarded in a d