By Karthik Iyengar This article targets an audience that’s graduating from functional libraries like ramda to using Algebraic Data Types. We’re using the excellent [crocks](https://evilsoft.github.io/crocks/?source=post_page---------------------------) library for our ADTs and helpers, although these concepts may apply to other ones as well. We’ll be focusing on demonstrating practical application
2019年9月16、17日、日本最大のPythonの祭典である「PyCon JP 2019」が開催されました。「Python New Era」をキャッチコピーに、日本だけでなく世界各地からPythonエンジニアたちが一堂に会し、さまざまな知見を共有します。プレゼンテーション「Pythonで始めてみよう関数型プログラミング」に登壇したのは、株式会社SQUEEZEの寺嶋哲氏。講演資料はこちら 不変／永続データ構造を提供するパッケージ寺嶋哲氏：続いて、不変／永続データ構造についてです。 listを操作する関数の問題点について、例題で見ていきましょう。add_mangoは果物名の文字列のlistをとって、mangoをそのlistに足して返します。change_from_apple_to_bananaは、同じようにlistをとってappleを探して、bananaに入れ替えて返します。 その下
はじめに こちらはモナド・圏論を理解するための勉強メモ。 モナドや圏論をプログラミングの側から勉強しようとすると、Haskellのコードがよくでてくる。 しかし自分は（いずれ触りたいけど）Haskellに慣れていないのでよくわからない。 なのでそれなりに慣れていてかつ動作確認しやすいPythonで実装しながら攻めてみる。 Maybeモナド 計算結果が不定の値を扱うための抽象概念 確定している値(a)は Just a と表す 値が存在しない場合は Nothing と表す 計算過程で例外が発生しうる処理を、例外処理の考慮なしに実装したい場合に使える 参考 http://labs.timedia.co.jp/2011/05/monad-in-python.html https://qiita.com/south37/items/06cfa95aa9c8f2ecb2e9 実装 モナドクラス(仮)
Haskellを勉強してきて、ようやくモナドの雰囲気がわかってきたので、Maybeモナドのような計算をPythonでやってみる。 #!/usr/bin/env python # -*- coding: utf-8 -*- # instance Monad Maybe where # return = Just # fail = Nothing def Maybe(x): return Just(x) if x else Nothing() class Just: def __init__(self, x): self.value = x def __repr__(self): return "Just(%r)" % self.value # (Just x) >>= f = f x def bind(self, f): return f(self.value) # '>>=' の代わりに
すごいHaskell たのしく学ぼう 13章 「モナドがいっぱい」の部分の読書会用に作成した資料を公開します。演習問題や周辺の話題に軽くそれている部分があります。間違い等ありましたらご指摘いただけると幸いです。 13. モナドがいっぱい FunctorやApplicativeを導入した動機のひとつとして以下のようなものがあると思います。 Functor を導入した動機 a -> b 型の関数を f a -> f b の関数にしたい (fmap操作が欲しい) Applicative を導入した動機 f (a -> b) 型を f a -> f b 型の関数にしたい (<*>操作が欲しい) Functor/Applicativeを導入した動機に以上のようなものがあったのと同じくMonadを導入する動機として次のようなものがあります 「普通の値 a を取って文脈付きの値を返す関数 (a -> m
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
