『なっとく！関数型プログラミング』は読者の理解度の進捗を先読みして作り込まれた”プログラミング入門”の良書 - Magnolia Tech

2023/08/06 377 users 良書 進捗 ADT Magnolia Tech Micha

なっとく！関数型プログラミング 作者:Michał Płachta翔泳社Amazon 良い、買おう、読もう、（コードを）書こう、以上！ めっちゃ良いですよ、この本 中盤のプリミティブじゃやりづらい→直積→直和→二つ合わせてADT→値を取り出すためのパターンマッチの解説の流れの疾走感がいいですね— magnoliak🍧 (@magnolia_k_) 2023年... 続きを読む

正規表現の先読み・後読み

2022/08/22 645 users 正規表現 マッチ 文字列 表現 位置

正規表現の「先読み（lookahead）」「後読み（lookbehind）」について紹介します。 正規表現の「位置へのマッチ」 正規表現は、文字列のパターンマッチに使われます。例えば [0-9]{4} は数字4つが並ぶ文字列にマッチする表現です。 多くの正規表現は「文字列」にマッチしますが、「文字列」ではなく「位置」にマッチする... 続きを読む

Elixir のパターンマッチを攻略しよう - Qiita

2015/07/25 108 users Elixir Qiita 文法 Ruby 後者

Elixir にあって Ruby や JavaScript のような言語にない特徴といえば 軽量プロセス (+ OTP周り) パターンマッチ の2点が大きく、その他の部分というのはだいたい「あの言語のこれだな」という風に対応させて理解できる(パターンマッチを実装した他の関数型言語になれてる人にとっては別かもしれないが)。 特に後者のパターンマッチの方は Elixir の文法の多くの部分の基礎になっ... 続きを読む

RubyにHaskellよりも強力なパターンマッチを実装した - Qiita

2014/05/28 189 users Haskell Qiita Ruby

require 'egison' match_all(object) do with(pattern) do ... end end match(object) do with(pattern) do ... end with(pattern) do ... end ... end パターンマッチに成功すると、withに渡されたブロックが実行され、その結果が返されます。 このライブラリのパターンマ... 続きを読む

Underscore.jsがちょっと便利だったので紹介してみる。 - (define -ayalog '())

2014/02/16 97 users Underscore.js define -ayalog

2014-02-16 Underscore.jsがちょっと便利だったので紹介してみる。 JavaScript CoffeeScript 数日前@naoiwata師匠に「JavaScriptにパターンマッチってないですよね？」って聞いていたら「Underscore.jsならあるかも」みたいなことをそそのかされたので少し触ってみた。Underscore.jsは関数型プログラミングをしたい人のための軽量... 続きを読む

Javaを創ろう - bitter_foxの日記

2013/12/13 70 users bitter_fox Java言語 megascusさん

この記事はJava Advent Calendarの13日目の記事です． 昨日は@kisさんのJava SE 8でパターンマッチを実装するでした． 明日は@megascusさんです． 皆さんはおそらく普段からJavaを使ってプログラムを作っているかと思います． そんな皆さんはJava言語について多くの思い・想いを持っているかと思います． 例えば，「こんな事ができたら良いのに」だったり，「ここが良く... 続きを読む

ラムダ計算で代数的データ型を表現する方法 - Meta reifier @syamino

2012/05/24 70 users false ラムダ計算 true 引数 Bool型

ラムダ計算ラムダ計算でEitherEither型の値をパターンマッチする状況を考えます。「データコンストラクタのパターンマッチ」は，下図のようにしてラムダ計算で表現できます。 ラムダ計算でBool今度は，Bool型の値をパターンマッチする状況を考えます。TrueやFalseには引数が無いので，(3)や(4)はλで囲みません。 パターンマッチ = 「データコンストラクタを他の関数に置き換えること」パ... 続きを読む