関数型ドメインモデリングを 非関数型のプログラミング言語で やってみた

2024/09/09 11 users 関数型ドメインモデリング プログラミング言語 DDD 本書

Scott Wlaschin 氏の著作「関数型ドメインモデリング」の日本語訳が最近出版されました。本書は、ドメイン駆動設計（DDD）と関数型のプログラミングスタイルによってソフトウェアの複雑性にどう対処できるか、その手法を解説しています。関数型プログラミングは難しいという印象を持たれがちです。 し… 続きを読む

ビジネスロジックを「型」で表現するOOPのための関数型DDD / Functional And Type-Safe DDD for OOP

2024/03/23 233 users OOP ビジネスロジック Proposal ドメ パラダイム

Object-Oriented Conference 2024で発表した資料です。 https://fortee.jp/oocon-2024/proposal/b31c9818-3cb8-4350-adfe-cbc839cdf829 ビジネスの専門知識（ドメイン）を中心に据えたドメイン駆動設計に代数的データ型などの関数型のパラダイムを加えたよりタイプセーフな関数型DDDを紹介します。 本セッションではドメ... 続きを読む

40歳から始める関数型言語、OCaml - すぎゃーんメモ

2023/04/13 14 users Haskell rust chatgpt OCaml 所感

動機 Why OCaml 学習方法 Real World OCaml Github Copilot と ChatGPT オンラインジャッジ (競プロ) Advent of Code その次？ 所感 関数型という概念 OCamlの書き味 Rust, Python の経験 AIとの親和性 まとめ 某Nさんがここ最近Haskellとか勉強してて楽しそうで真似してみたくなって、自分も今さらながら何か関数型言語... 続きを読む

オブジェクト指向プログラミングは終わった カプセル化が悪い(感想戦) - Qiita

2022/08/02 144 users 懐疑 ポエム 再考 Qiita 観測

が(良くも悪くも)注目頂き、その観測で思ったことのメモです。1年後の自分用です！ もっかい言いたいこと再考のポエムです。 概要 関数型には意図的に触れたくなかった 継承や再利用性への懐疑の共通認識 抽象化戦略開発戦略で補う話 タイトルは釣り 抽象化という言葉のふわっと感 カプセル化が問題 関数型言語には意図... 続きを読む

💣Webフロントエンドにおける関数型「風」プログラミングに関する個人的まとめ - Qiita

2022/03/16 140 users プログラミング Webフロントエンド React 側面 継承

ここ数年の流れについて 技術的側面 Webフロントエンド（ほぼTypeScript＆React界隈）において、オブジェクト指向（厳密に言うとクラスの利用）から脱却する流れがあります。原因は以下の2点。 クラスの継承の問題点が（IT業界全体に）広く定着したこと JS/TSの進化、Reactの進化、関数型言語の考え方などの影響により、... 続きを読む

コンセプトから理解するRust

2022/01/24 16 users rust ポテンシャル プログラミング プログラミング言語

この本の概要 Rustはメモリ安全，スレッド安全を保ちつつ，高パフォーマンスなプログラムを開発できるプログラミング言語です。また，手続き型，オブジェクト指向型，関数型でのプログラミングに対応できるマルチパラダイムの言語でもあります。ただ，そういったRustのポテンシャルを引き出すには，所有権やライフタイム... 続きを読む

TypeScript: <T>の書く位置チートシート - Qiita

2022/01/12 17 users Qiita TypeScript ジェネリクス アロー関数

この投稿はTypeScriptのジェネリクスの型変数(type parameter)をどこに書くのかのチートシートです。 <T>の書く位置まとめ 関数宣言 関数式 アロー関数 メソッド宣言 関数型 コンストラクタ型 関数シグネチャ コンストラクタシグネチャ: 引数リスト()の直前 クラス宣言 インターフェース宣言 型エイリアス: 識別子の直後... 続きを読む

関数型はプログラミングスタイル

2021/11/28 13 users プログラミングスタイル immutable val void

命令型及び関数型はプログラミングスタイル。命令型と関数型の間は0/1ではなく、グラデーションがある。 関数型へのアプローチ 可変の変数(var)を使わず、不変の変数(val)を使う 可変のオブジェクト(mutable)を使わず、不変のオブジェクト(immutable)を使う voidやUnitなどの戻り値のない関数は使わない。高階関数を使う... 続きを読む

現在時刻が関わるコードを関数型で書いてテスタビリティを見てみた - Qiita

2019/10/03 44 users 題材 プログラミング作法 参照透過 関数型プログラミング 感想

最近、現在時刻が関わるプログラムを題材に、高テスタビリティなプログラミング作法を解説した素晴らしい記事が復刻されて、感想などがTLに流れてきたので、自分もそのお題を関数型プログラミングで解いてみた記事。 はじめに 最近、こんな引用ツイートをした。 関数型界隈だと、参照透過な部分とそうでない部分（現在時... 続きを読む

SPAにおける状態管理: 関数型のアプローチも取り入れるフロントエンド系アーキテクチャの変遷 - エンジニアHub｜若手Webエンジニアのキャリアを考える！

2019/05/23 528 users SPA エンジニアHub 変遷 Electron アプローチ

こんにちは、小林（@koba04）です。 本記事では、シングルページアプリケーション（以下、SPA）における状態管理について解説します。 GmailやTwitterは、SPAとして構築されている代表的なWebアプリケーションであり、スムーズなページ遷移をSPAによって実現しています。またElectronやPWA（Progressive Web Apps）の登... 続きを読む

並列処理に関数型…でも学習コストは高くない！？ Web開発者のためのElixirのススメ【デブサミ2019】 (1/2)：CodeZine（コードジン）

2019/04/25 25 users Elixir erlang CodeZine 文法 並列処理

PR 【デブサミ2019】セッションレポート 並列処理に関数型…でも学習コストは高くない！？ Web開発者のためのElixirのススメ【デブサミ2019】 【15-D-5】 これをまだ知らない Web エンジニアへ贈る - 私が愛する Elixir/Erlang の楽しさと辛さ - ErlangのVM上で動作する関数型言語「Elixir」。Ruby風とも言われる文法のわ... 続きを読む

ラムダ式とStream APIで学ぶモダンJava ― 関数型を取り入れて変化するJava言語の現在（by 谷本心/cero_t） - エンジニアHub｜若手Webエンジニアのキャリアを考える！

2019/04/25 253 users エンジニアHub ラムダ式 cero_t Java言語

1996年にJava 1.0が登場して、もう20年以上がたちました。この間、Javaにはさまざまな言語機能やAPIが追加され、変化し続けています。 これだけ長い歴史を持つプログラミング言語ですから、利用者が多かったり、フレームワークやライブラリが充実していたりする一方で、書籍やWebに掲載されている情報が少し古かったり、... 続きを読む

6歳の子どもに「関数型プログラミング」を教える方法 - GIGAZINE

2018/05/08 71 users Functional Programming 学者 会話

プログラミングの考え方にはオブジェクト指向と関数型の2種類があります。オブジェクト指向に比べると理解しにくく挫折しがちな「 Functional programming (関数型プログラミング)」について、あるコンピューターサイエンスの学者が6歳の息子とゲーム形式で会話したことをブログでつづっています。6歳の子どもが興味を引き付けられた関数型プログラミングに関する会話は、子どものプログラミング教育... 続きを読む

関数の話 - ( ꒪⌓꒪) ゆるよろ日記

2018/04/03 134 users 関数 よろ日記 Supership しいたけ オブジェ

2018 - 04 - 03 関数の話 関数型 こんにちは、しいたけです。 某所で 関数型プログラミング とはリスト処理のことなのか、と燃えているのを見て、 関数型プログラミング とは何か、ということを自分なりの考えを述べたいと思いました。春なので。 この資料は2年ほど前に Supership の社内勉強会で使ったものですが、この中で関数とオブジェクトを対比している箇所があります。 関数もオブジェ... 続きを読む

まともな型クラス への入門： 関数型とオブジェクト指向の垣根を越えて - 檜山正幸のキマイラ飼育記

2018/01/09 67 users オブジェクト指向 カモ 檜山正幸 キマイラ飼育記 垣根

2016年9月に次の記事を書きました。 関数型プログラミングとオブジェクト指向について、何か書く、かも タイトルからして引き続く記事を予告しているのですが、その予告を実行することができませんでした。タイトル中の「何か」とは「型クラス」のことです。上記の記事の最後の部分は： 関数型プログラミングにもオブジェクト指向にも関係があって、今後重要度を増すであろう「型クラス」ですが、今述べた（愚痴った）よう... 続きを読む

純粋関数型データ構造【委託】 - 達人出版会

2017/05/12 37 users 委託 純粋関数型データ構造 達人出版会 アスキードワンゴ 本書

純粋関数型データ構造 Chris Okasaki(著), 稲葉一浩, 遠藤侑介(訳) アスキードワンゴ 2,000円+税 効率的なデータ構造が必要になったとき、命令形言語向けには多数の参考書が存在している。しかし、関数型言語のための参考書はなかった。本書は、関数型の視点からデータ構造について論述した唯一の解説書である。 内容紹介 私が初めてStandard MLでプログラミングをしたのは1989年... 続きを読む

React基礎 · GitBook

2017/02/10 674 users 配列 GitBook ES2015 フォーム 書き方

React基礎 レッスン Lesson 01 : 環境構築 Lesson 02 : ES2015について Lesson 03 : 関数型の書き方 Lesson 04 : 初めてのコンポーネント Lesson 05 : 初めてのinline style Lesson 06 : 初めてのprops Lesson 07 : 配列からの展開 Lesson 08 : フォームの定義 Lesson 09 : ... 続きを読む

関数型プログラミングはオブジェクト指向の正当な後継である - Qiita

2016/09/09 317 users Scala Qiita Swift オブジェクト指向 きっかけ

対象読者 この記事はオブジェクト指向を本格的に学んだことがある全ての人々に「オブジェクト指向と関数型プログラミングの関係」を深く知ってもらうことを目的としています。これらの人々の中には未だにオブジェクト指向に固執している人や、最近よく目にする関数型が気になってSwiftやScalaを触り始めているがイマイチ本質が見えていない人が多く含まれています。そうした人々が次の一歩を踏み出すキッカケにこの記事... 続きを読む

関数型プログラミングはまず考え方から理解しよう - Qiita

2016/04/25 583 users Qiita モナド 高階関数 パラダイム 関数型プログラミング

関数型プログラミングが注目されて久しいです。 そろそろ勉強しておかないとなぁということで調べてみるものの、情報として出てくるのは"高階関数","カリー化","遅延評価","モナド"などの物々しい単語の数々。これらを勉強して理解した気になったものの、プログラムを書こうと思うと全然書けませんでした。 結局、関数型言語を実現する手段を学ぶ前に関数型と言われるパラダイムを理解しないことには書けません。とい... 続きを読む

Haskell - 目指せワンライナー！ 〜 1行コードでがんばる 〜 - Qiita

2015/12/10 18 users Haskell Qiita 関数 醍醐味 部品

これはHaskellアドベントカレンダー2015の(2日遅れの)8日目の記事です。 本当にすみませんでした。 導入 小さな部品(関数)を組み合わせて大きなプログラム(関数)を作り上げる、これこそが関数型の醍醐味かなと思います。 しかもHaskellは標準関数も豊富で、それらを糊付けする手段も豊富です。上手くやれば プログラム全体を1行で書き上げてしまう ことも可能なんじゃないでしょうか。夢がありま... 続きを読む

{purrr} でリストデータを操作する <1> - StatsFragments

2015/11/26 18 users RStudio StatsFragments パッケージ

2015-11-26 {purrr} でリストデータを操作する <1> R 前処理 R で関数型プログラミングを行うためのパッケージである {purrr}、すこし使い方がわかってきたので整理をしたい。RStudio のブログの記載をみると、とくにデータ処理フローを関数型のように記述することが目的のようだ。 purrr 0.1.0 | RStudio Blog The core of purrr i... 続きを読む

プログラミング言語のパラダイムシフト（ダイジェスト）ーScalaから見る関数型と並列性時代の幕開けー

2015/06/27 119 users Scala 幕開け パラダイムシフト ダイジェスト 現状

Transcript 1. プログラミング言語の パラダイムシフト Scalaから見る関数型と並列性時代の幕開け 安田裕介 Hackers Champloo 2015 LT 2. 自己紹介 • 名前：安田裕介 • id: TanUkkii • トライフォート勤務 3. 今日話す内容 • なぜ並列分散プログラミングが重要なのか • Scalaから見る並列分散プログラミングの現状 • このダイジェスト... 続きを読む

JavaScript - Immutable.jsを色々触ってみました - Qiita

2015/05/18 124 users Qiita stack set list map

immutable.jsは、facebook社が作っているJavaScriptのライブラリでimmutableなコレクションを提供してくれます。List, Stack, Map, OrderedMap, Set, OrderedSet and Recordがあるとのこと。 関数型言語にインスパイアされて作っているらしいので、関数型に馴染みのある関数が出てきて嬉しいです。 他にも、正格でなく遅延評価... 続きを読む

レビューポエム “関数型プログラミングに目覚めた! IQ145の女子高校生の先輩から受けた特訓5日間” を読んで | めがねをかけるんだ

2015/04/26 259 users 関数型プログラミング 先輩 IQ145 特訓5日間 領分

レビューポエム “関数型プログラミングに目覚めた! IQ145の女子高校生の先輩から受けた特訓5日間” を読んで 大阪天満橋のジュンク堂書店で購入しました。本当は立ち読みですませる気だったんですが、買わないでレビューはフェアではないかなと思い……今は後悔しています。 僕はプログラミングをしてご飯を食べていますが、関数型プログラミングの領分はまったく未経験です。 関数型の説明が適切かどうかの判断につ... 続きを読む

関数型プログラマのための Rx 入門（補遺） - Okapies' Archive

2015/03/22 76 users Okapies 補遺 archive ライブラリ 後編

前編、後編とお送りしてきたこの記事だが、特に後編について「何を言ってるのか分からん」というコメントを何人かの方から頂いた。…なんというか、ごめんなさい。 繰り返しになるが、Rx を使う上で関数型プログラミングの知識は必ずしも必要ではないし、むしろ（関数型のコンセプトが基礎にあるのに関わらず）知らなくても使えるようになっている。ライブラリの作者たちは「過度な抽象化は害になる」ということを弁えているの... 続きを読む