Freeモナドの合成 - Qiita
TL;DR Freeモナドの合成はCoproductという型とInjectという型クラスを使うとできるよ！ 詳しくはコードを見てね！ https://github.com/goldarn-ring/how-to-compose-free-monad すごーい！君はDSLが得意なフレンズなんだね！ 突然ですが、Freeモナドって便利ですよね！ えっ、ご存知ではない？ DSLを簡単に作れる便利なモナドですよ！ 詳しくはこちら： Freeモナドって何なのさっ！？ - capriccioso String Creating(Object something){ return My.Expression(something); } そろそろFreeモナドに関して一言いっとくか - fumievalの日記 DSLによるコードと、DSLの各命令の処理を切り離すことで、モック化とかDIとかが簡単にできるの
PureScriptのガード節とwhere
ご存知の通り(?)、PureScriptはHaskell風の構文を持ったAltJSです。しかし、あくまでHaskell「風」であるため、パッと見た限りでは全く同じに見える構文でも実際に書いてみると思わぬ違いに遭遇することがあります。 ガード節とwhereの組み合わせ たとえばHaskellで書かれたこんなコードがあります。 (Wandboxで実行) 若干わざとらしいコードですが、ガード節にまたがるwhereで定義した変数を見て、ガード節を使ってその値によって分岐をしています。 compareWith10 :: Int -> String compareWith10 n | c == LT = show n <> "は10より小さいです。" | c == EQ = show n <> "は10です。" | c == GT = show n <> "は10より大きいです。" | otherwi
世界一わかりやすいStateモナドのしくみ、あるいは猫でもわからないモナドのおはなし - Qiita
Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? この記事は、 HaskellとかPureScriptみたいな関数指向言語をさわってみたことがある Haskellっぽい記法がちょっとわかる(説明はします) モナドを理解しようと頑張ったことがある カリー化の意味はわかる 嘘タイトルでもおこらないよ みたいなひとを対象にしています。おこらないで。 何故今さらモナド？ 世の中の全てがモナドになって久しい今でもモナドわかんないってひとが多いみたいなので備忘録がてらまとめることにしました。 聞かれた時にすぐ答えられるように考えをまとめる意図もあります。 厳密な話は一切しないので、基本的に説明不足
PureScriptで存在型を試す - Qiita
またまたたのしい誰得記事です。PureScript知ってる人向けです。 なんでも入る箱 Haskellにはどうやら存在量化(Existential Quantification)という言語拡張があって、以下のようなことができるようです。(参考: https://ja.wikibooks.org/wiki/Haskell/存在量化された型) -- 右辺にforallが書ける data ShowBox = forall s. Show s => SB s -- Showのインスタンスにする instance Show ShowBox where show (SB s) = show s -- showが呼べてしまう heteroList :: [ShowBox] heteroList = [ SB (), SB 5, SB True ] -- 異なる型をリストにまとめる main :: IO
What I've learned since quitting Elm - Qiita
In 2015, I spent some of my spare time trying out Elm, to render something simple in the browser and also to run some programs in Node. During those times, there were very few restrictions on what the main function could be, so writing a Node program was very simple, especially given the Stream type that allowed for programming in a simple reactive way. I quit using Elm after a while of being cons
雰囲気で PureScript の Generics プログラミングを始める - Qiita
はじめに 遅くなってしまい申し訳ありません。師走の忙しさにかまかけて前回の投稿から空いてしまい、その間Phillさんが PureScript のメンテナを降りるなど衝撃的なニュースもありましたが、元気に進めていきましょう。 今回は Generics について書きたいと思います。今まで Generics は何となく知っていましたが、最近少し学んだので共有したいと思います。対象は PureScript はある程度(代数的データ構造、型クラスなど)知っているけど、Genericsって何？という方になります。 PureScript の Generics PureScriptでGenericsと言った場合、型の構造に基づいた多相性を指します1。代数的データ型は0個以上のコンストラクタを持ち、各コンストラクタは0個以上の引数を取ります。つまり代数的データ構造は構造を持っています。Generics を使
PureScriptの孤児 - oreshinyaのブログ
はじめに PureScript Advent Calendar 2017 - Qiitaの6日目の記事です。 小ネタです。 Orphan instanceって何よ 以下のコードをみてください。 instance showUnit :: Show Unit where show _ = "" ビルドしてみます。 Type class instance showUnit for Data.Show.Show Unit is an orphan instance. An orphan instance is one which is defined in a module that is unrelated to either the class or the collection of data types that the instance is defined for. Consider
PureScriptで簡単にJSONをパースする - Qiita
はじめに この記事は、Simple-JSONの作者であるJustin Wooさん（@kimagure）の記事を翻訳したものです。 twitterでこのようなことを書いてくださっていたので、たまたま反応した @oreshinya が翻訳することになりました。 JSONのような何らかのテキストデータを、プログラムで利用できるデータ型にパースすることは、私たちが使用している言語のほとんどについて行う必要があることです。いくつかの言語では、パーサーを書く方法を習得する必要がありますが、PureScriptでは、Simple-JSONを使うことにより、機械的にパースすることができます。私は、PureScript 0.11.6でRowToList機能がリリースされた時にこのライブラリを書きました。このライブラリは型シノニムを書くだけで使用できます。 プロジェクトのセットアップ このライブラリを使うプロ
We Are PureScripters #2 関数型WebフロントエンドフレームワークLT大会 (2017/08/29 19:30〜)
We Are PureScripters!とは 6/6のWe Are JavaScripters!で「純粋関数型言語では副作用をどう扱うのか」というLTをした時に、PureScriptに興味があるという方が20名位いました。ゆくゆくは全員登壇するLT大会の開催を目指して、We Are JavaScripters!のスピンオフとしてWe Are PureScipters!を始めました。 PureScriptとは Haskellの影響を受けた純粋関数型AltJS(JavaScriptにコンパイルされる言語)です。JavaScriptでImmutable.jsを使って関数型プログラミングをするのであれば、純粋関数型のPureScriptを試してみませんか。 なぜPureScriptなのか ハッカソンでのJavaScriptを使った開発で、いろいろな落とし穴にハマってしまいMVP(Minimum
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - alexmingoia/purescript-pux: Build type-safe web apps with PureScript.
GitHub - slamdata/truffled-purescript
Strictness surprises in PureScript Lazy lists - School of Haskell | School of Haskell
GitHub - jxv/fluid: 🐙 Code-generated, Auto-versioned, & Smart Web APIs
GitHub - paulyoung/pureswift: Swift backend for PureScript.
いろんな言語で「Optional(2018)年」やってみよう - Qiita
GitHub - theam/haskell-do: :pencil2: - The Haskell code editor focused on interactive development.
GitHub - joneshf/pyrescript
PureScript – Learn - Handling Native Effects with the Eff Monad
purescript-prelude/Prelude.md at master · purescript/purescript-prelude · GitHub
GitHub - purescript/purescript-free: Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.