タグ

functionalに関するkiyo_hikoのブックマーク (9)

  • Better RxJS code with pointfree style - codewithstyle.info

    Recently I gave a talk about pointfree style programming at the JS Poland Conference. I decided to turn some of the ideas I mentioned during the talk into a blog post! What is pointfree style?It’s easiest to explain pointfree style by showing a small example. Let’s say we have this array of objects representing mountains: const mountains = [ { name: 'Mount Everest', height: 8848 }, { name: 'Mont B

    Better RxJS code with pointfree style - codewithstyle.info
    kiyo_hiko
    kiyo_hiko 2020/02/19
    (関数型ライブラリはRamdaとRxJSがあるらしく(他はまだ知らない))ここはRsJSの解説
  • JavaScriptのモナド | POSTD

    恒等モナド Maybeモナド リストモナド 継続モナド Do 記法 連鎖呼び出し モナド とは、一連のステップによって実行する計算を記述する際に使用する、1つのデザインパターンです。 純粋関数型プログラミング言語 では、モナドは 副作用を管理する ために広く利用されていますが、 マルチパラダイム言語では、モナドで複雑性を制御することもできます 。 モナドはデータ型をラップして、空の値を自動的に伝播したり( Maybe モナド)、非同期コードを簡略化したり( 継続 モナド)といった、新たな動作を既存のデータ型に追加します。 一連のコードをモナドと見なすためには、その構造には次に挙げる3つの要素が含まれていなければなりません。 型コンストラクタ — 基的な型に対してモナドの動作を追加した型を作成する機能です。例えば、基的なデータ型 number に対して、 Maybe<number> とい

    JavaScriptのモナド | POSTD
  • ATSプログラミング入門

    このは Introduction to Programming in ATS の日語訳です。 日語訳の維持管理は JATS-UG - Japan ATS User Group が行なっています。 翻訳に参加するには ATS2公式マニュアルの日語訳 を参照してください。 プログラミング言語としての ATS は豊かな構文と機能を両立しています。 このでは ATS の中心となる機能を読者に解説します。 それらは基的な関数型プログラミング、単純な型、(再帰的に定義された) データ型、多相型、依存型、線形型、定理証明、定理証明によるプログラミング (PwTP)、そしてテンプレートを使ったプログラミングなどです。 一般的なプログラミングに馴染みのある読者を仮定してませんが、このは相当のプログラミング経験のない読者には少し難しいかもしれません。 All rights are reserve

  • javascriptの関数が変態すぎる

    うめぇヨーグルトソースでもいかがですか。個人差にもよりますが。もしよろしければ。 お久しぶりです。 最近うんめぇ〜と思ってるヨーグルトソースがあるので、書いていこうと思います。 ヨーグルトとハーブ類をもりもり使うので、そういうのがべられない方にはうんめぇソースではないです。ごめんなさい…。もしよろしければお茶だけも…旦~ 【用意する…

    javascriptの関数が変態すぎる
    kiyo_hiko
    kiyo_hiko 2011/02/17
    ECMAはCの皮を被ったLispだと言われてるらしい。Lispなら変態的に見えても仕方ない。Lisp信者としてはそう遠くない未来にJavaScriptもやってみたいな。
  • Route 477(2009-07-28)

    ■ [book][lisp] Let Over Lambdaを読んでCommon Lispに興味を持った 途中まで読んだ。 4434133632 Lispマクロを使っていろいろ遊ぶぜ!という。内容は濃いけど、章(テーマ)が7つあり、一つ一つの節は短めなので少しずつ読んでいくことができる。 Lisp方言には「Common Lisp」と「Scheme」(あとArcとかClojureとか)があるわけだけど、 書で「Lisp」と書いてあればCommon Lispの方を指す。だからLispコンパイラの存在は当然だし、リーダーマクロもある。 第3のアンクオート「,.」とか全く知らなかったぜ。 んでまあ、マクロと関係ないんだけど、Schemeはシンプルさを取るために、Lispが持っていたいろいろなものを切り捨ててるんだなぁというのを今さら。 loopマクロとか、「Common Lisp使いの書くLi

    Route 477(2009-07-28)
    kiyo_hiko
    kiyo_hiko 2011/02/08
    「昔のLispというか、伝統というか、「濃い」というか、 「"Lisp"らしい」雰囲気を感じた。」
  • javascript - λ表記をDSLに : 404 Blog Not Found

    2010年10月02日05:00 カテゴリMathLightweight Languages javascript - λ表記をDSLに 計算論 計算可能性とラムダ計算 高橋正子 クロージャーがある言語には、λ演算がすでに含まれています。 が、たいていの場合、その言語の流儀で書かねばなりません。たとえばこんな風に。 var Z = function(f) { return (function(g) { return function(m) { return f(g(g))(m); }; })(function(g) { return function(m) { return f(g(g))(m); }; }) }; ふつーに Z := λf. (λx. f (λy. x x y)) (λx. f (λy. x x y)) と書けたらよいと思いませんか? λscript(笑) できるようにし

    javascript - λ表記をDSLに : 404 Blog Not Found
  • エンタープライズ開発者が負け組として軽蔑される日本のSI業界って - 達人プログラマーを目指して

    ブログの記事に対して多くの皆さんからいただいた意見を総合すると、技術力のあるトッププログラマーにとって現状の日のSI業界での仕事というのは、働き甲斐のない、魅力の少ない仕事として認識されているという残念な事実を思い知らされます。 オブジェクト指向の基すらいまだにきちんと使いこなせない開発の現場 技術について勉強した知識をほとんど活用できないし評価もされない 無駄なドキュメント作成などに対する膨大な単純作業を強いられる いわゆる3K職場と言われるような過酷な労働と低い賃金 20年以上も前の仕事の進め方からあまり進歩が見られない 多重下請け構造によりユーザーに直接価値を提案するような仕事が難しい 多くの業務アプリケーション開発現場における体験を通して、以上のようなことが語られているということを考えれば、「業務アプリケーションのプログラマーは負け組だ」という意見が出てくることも当然のことか

    エンタープライズ開発者が負け組として軽蔑される日本のSI業界って - 達人プログラマーを目指して
    kiyo_hiko
    kiyo_hiko 2011/01/20
    いち現場の現状としては、旧弊した慣習を重視しすぎて、溜まり水のような世界だから新しい風が来ない。腐って澱んでいてつまらない。ちなみに「Real World Haskell」の帯のアオリは、「Hakellで書ける幸せ」。
  • List comprehension - Wikipedia

    A list comprehension is a syntactic construct available in some programming languages for creating a list based on existing lists. It follows the form of the mathematical set-builder notation (set comprehension) as distinct from the use of map and filter functions. Overview[edit] Consider the following example in mathematical set-builder notation. or often This can be read, " is the set of all num

  • Higher order functions in Java with an annotation processor factory

  • 1