Optics: 「パス」に型を付ければ、データ全体に型を付ける必要はない - Lambdaカクテル

2023/06/06 60 users getter Lambdaカクテル setter LENS

あまり知られていない関数型言語のおもしろ概念として、Opticsというものがある。 Opticsとは、オブジェクト指向言語で言うところのSetter/Getterを一種の関数として捉え、いくつかの便利な特性を付与したものの総称だ。この便利な特性によって、Setter/Getter以上のことをパワフルにこなせる。 最も有名なOpticsはLens... 続きを読む

オブジェクト指向プログラミングは終わった カプセル化が悪い(感想戦) - 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の進化、関数型言語の考え方などの影響により、... 続きを読む

今日は8TBのハードディスク2本をカバンに突っ込んで新幹線に乗る事で東京大阪間で半二重12Gbpsでデータを転送するやつをやった

2022/02/11 183 users カバン 新幹線 ヤツ 8TB データ

Fadis @fadis_ 今日は8TBのハードディスク2本をカバンに突っ込んで新幹線に乗る事で東京大阪間で半二重12Gbpsでデータを転送するやつをやった。 2022-02-11 03:49:14 Fadis @fadis_ 組み込みから*NIXシステム、HPCまで、計算機をこよなく愛するゲームプログラマ。C++を関数型言語と間違えているタイプのC++er。遺伝的FM... 続きを読む

「関数型言語をもっと使いこなしたい！」マイクロアドの新卒エンジニアがデータサイエンティストの先輩に圏論の初歩を指導してもらった話 - MicroAd Developers Blog

2019/09/06 84 users 初歩 マイクロアド データサイエンティスト 新卒エンジニア

はじめに こんにちは、19新卒バックエンドエンジニアの飛田です。 弊社では、プロダクトの一部にCatsという関数型プログラミングを行うためのライブラリを導入しており、今後、Catsをより多くのプロダクトに使用していく予定です。 Catsにはモナドやファンクタという概念が登場しますが、これらの概念は圏論に由来してい... 続きを読む

将棋が指せる WEB サービスを個人で開発しました - SHOGIX

2019/06/24 258 users 対局 クラウドサービス 将棋 菊池 web

みなさんこんにちは、はじめまして、菊池です。 先日、関数型言語と Google のクラウドサービスを使って作った【SHOGIX 無料で将棋の対局ができる WEB サービス 】を公開しました。完全に個人の趣味プロジェクトです。 WEB ブラウザがあれば将棋の対局ができるので、よかったら友達と将棋を指す時とかに使ってみてくださ... 続きを読む

Haskell入門 | haskell

2019/03/22 195 users content 関数プログラミング Haskell 言語 従来

Skip to the content. Haskell入門 従来の言語では問題を部分化する方法について概念的な限界がいくつかある。関数型言語はこれらの限界を押し広げるも のである。 なぜ関数プログラミングは重要か 関数プログラミングを習得するには，これまで命令プログラミングで培った技術はいったん忘れ，真っ白な気持ちで臨む必要... 続きを読む

関数型プログラマからみたRust | κeenのHappy Hacκing Blog

2017/04/04 144 users OCaml een Haskell Scheme SML

C++からRustに入った人あたりから「関数型言語から来た人のRustの感想を知りたい」とたまに言われるのでいつかブログ書こうか。 — κeen (@blackenedgold) 2017年4月3日 イントロ 私はRustをやる前にはCommon LispやSMLを主に使っていましたが、仕事ではScalaを使っていましたし他にもOCamlやSchemeやClojureやATS2やHaskellなど... 続きを読む

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

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

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

最近話題のWeb言語 Elixirのご紹介 ｜ Developers.IO

2015/11/04 210 users Developers.IO erlang 話題 Elixir

ここ最近、Elixirという言語がWebプログラマー界隈で話題になっています。 ElixirはErlangのVM上で動くRuby風味の関数型言語で、RailsコミッタのJose Valimさんが作ったプログラミング言語です。 この言語はErlangの並行性とRubyの開発生産性を持っています。 今回はこの言語が出てきた背景と文法の特徴について書こうと思います。 Elixirが注目されている理由 こ... 続きを読む

Pythonで学ぶ 基礎からのプログラミング入門 (18) 【番外編コラム】関数型プログラミングとPython | マイナビニュース

2015/09/21 58 users Python 演習 オブジェクト指向言語 以後 命令

記事の内容に一区切りついたので、演習に加えて本コラムを挟むこととしました。今まではPythonを、順番に命令を並べて制御する「手続き型言語」として使ってきましたが、以後は「オブジェクト指向言語」として使いはじめます。 オブジェクト指向型言語とはなんぞやという話は次回以降に譲り、今回は手続き型言語、オブジェクト型指向言語に並んでよく使われる「関数型言語」について取り扱いたいと思います。 Python... 続きを読む

FinTechの現場で関数型言語を並列処理に、機械学習の活用も視野に 株式会社ZUU 開発本部 Senior Manager 浅野隆文 氏 ｜IT・Web業界の転職ならDODAエンジニア IT

2015/09/13 592 users Chatterbot FinTech DODAエンジニア

1985年生まれ。茨城県出身。中学生時代に人工知能に興味を持ち、Visual C++6.0でchatterbotを開発する。音大を受験するが失敗し、独学でネットワークエンジニアに。専門学校非常勤講師、大手通信会社の金融担当部門ソリューションSEなどを経て、クラウドサービスを提供する株式会社STEADYでCTO職を務める。2015年、株式会社ZUUに入社。 ZUUに参加した浅野氏は、新サービスの開発... 続きを読む

「リアクティブ・バックエンドにはScala」、または、プログラミング言語はターゲットとする新プラットフォームの普及とともに普及するものだ、という話 - たなかこういちの開発ノート

2015/09/04 71 users Scala リアクティブ ダナ 覇権 ターゲット

2015-09-04 「リアクティブ・バックエンドにはScala」、または、プログラミング言語はターゲットとする新プラットフォームの普及とともに普及するものだ、という話 リアクティブ 雑感 2015年現在、関数型言語が勃興しつつあります。エンタープライズ分野で関数型言語が次世代のプログラミング言語マーケットの覇権を握ることとなるのだとしたら、いつどのように握るのか、それはどの関数型言語なのか、その... 続きを読む

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

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

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

【長編ポエム】関数型言語が分からんお前でもPythonなら分かるやろ：第2回 関数を生成する関数はすごいよ編 - Qiita

2015/05/28 123 users 高階関数 Qiita Java PHP 関数プログラミング

はじめに これは、関数型プログラミングの特徴を Python で説明した長編ポエムです。 Python を知らなくてもなんとなく分かるように書いたので、PHP や Java や JavaScript の人も読んでみてください。 【ゴール】 「なぜ関数プログラミングは重要か」という文章で重要とされている「高階関数」と「遅延評価」について理解してもらうこと (遅延評価の説明は次回) 【執筆動機】 関数... 続きを読む

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があるとのこと。 関数型言語にインスパイアされて作っているらしいので、関数型に馴染みのある関数が出てきて嬉しいです。 他にも、正格でなく遅延評価... 続きを読む

[翻訳] Elixir - 次に来る大物Web言語 - Qiita

2015/05/13 464 users Elixir erlang Jos Qiita Advent

Lau Taarnskovさんの2015年4月19日付のブログ記事、Elixir - The next big language for the webの翻訳です。 ElixirはErlangのVM上で走る、Rubyにちょっと似た(というのも作者(José Valim)がRuby on Railsのcoreチームメンバーなので)関数型言語です。 2012年に登場していてQiitaでもAdvent ... 続きを読む

初心者でもほぼ無料でScalaを勉強できるコンテンツ9選 - paiza開発日誌

2015/05/07 88 users Scala 谷口 オブジェクト指向言語 paiza開発日誌

2015-05-07 初心者でもほぼ無料でScalaを勉強できるコンテンツ9選 Photo by gisela gerson lohman-braunこんにちは。谷口がお送りします。プログラミングをこれから学ぼうとしている方や、これから研修や実務に入る新人ITエンジニアの皆さんの中には「Scalaを学習したい」という方も多くいらっしゃるかと思います。Scalaはオブジェクト指向言語と関数型言語の特... 続きを読む

第1章　関数プログラミングは難しくない！―初めて学ぶ人にも，挫折した人にもきちんとわかる：［入門］関数プログラミング―質の高いコードをすばやく直感的に書ける！｜gihyo.jp … 技

2015/03/02 310 users 関数プログラミング gihyo.jp 入門 プログラマ 特集

gihyo.jp » DEVELOPER STAGE » 特集 » ［入門］関数プログラミング―質の高いコードをすばやく直感的に書ける！ » 第1章　関数プログラミングは難しくない！―初めて学ぶ人にも，挫折した人にもきちんとわかる マルチコア環境が身近になった影響からか，勉強熱心なプログラマの間で関数型言語が話題になっているようです。関数型言語が奨励する関数プログラミングでは，これまで命令型言語で... 続きを読む

［入門］関数プログラミング―質の高いコードをすばやく直感的に書ける！：特集｜gihyo.jp … 技術評論社

2015/03/02 161 users 関数プログラミング 関数 山本和彦 パク gihyo.jp

山本和彦 近年，関数型言語が注目を集めています。小さな関数を使って大きな関数を組み立てるスタイルは，バグが入り込みにくくなったり，コードを直感的に書けたりなどたくさんのメリットがあります。しかし，命令型言語とは考え方が異なる部分が多く，「関数プログラミングは難しい」と感じる人も多いようです。本特集では，これから始める人，そしてこれまで学ぼうとして挫折した経験がある人のために，関数プログラミングを理... 続きを読む

【長編ポエム】関数型言語が分からんお前でもPythonなら分かるやろ：第1回 関数を受け取る関数は便利だよ編 - Qiita

2015/02/06 110 users 初歩 Qiita Java PHP 関数型プログラミング

これは、関数型プログラミングの特徴を Python で説明した長編ポエムです。 IQ145 の美少女は出てきませんので、過度な期待はしないでください。 対象読者：関数型言語は知らないけど関数型プログラミングの初歩を勉強したい人 (Python を知らなくてもなんとなく分かるように書いたので、PHP や Java や JavaScript の人も読んでみてください) はじめに 「なぜ関数プログラミン... 続きを読む

「関数型言語」に関するFAQ形式の一般的説明（on demandに加筆修正します） - Qiita

2015/01/27 289 users Qiita 加筆 FAQ形式 説明

前置き： ここに書くのが良いのかわかりませんが、それを考える時間ももったいないのでとりあえず書きます。必要が生じたら移転します。 常に未完成ですので、皆様のご要望や自分の気分(?)により随時加筆修正します。 「それは違うんじゃない？」というご指摘はもちろん、初心者の方の素朴な疑問・質問や、「ここがよくわからない」「こういうことも書いてほしい」みたいなコメントも歓迎します。すぐに対応できない場合もあ... 続きを読む

関数型言語 - 関数型プログラミング言語の定義＆実装の仕方の例 - Qiita

2015/01/25 87 users 文才 誤植 Qiita 成り行き 前置き

前置き：何となく成り行きで何か書かないと心苦しいので、殴り書きレベル ＆ 文才がなくてつまらない ＆ 関数型言語の授業等を受けたことがある方にはものすごく当たり前の教科書的内容ですみませんが、取り急ぎ自分が容易に書けることを書きます。（この記事に直接の関係がある）質問があれば（すぐに反応できない場合もあると思いますが）なるべく答えます。（誰も読まないかもしれませんが）誤植などの指摘も助かります。 ... 続きを読む

小説 - 第1話: 手続き型しか知らない俺が美少女の女子高生に関数型言語を学ばされることになったんだが - Qiita

2015/01/22 271 users Qiita 小説 手続き型 美少女 女子高生

始まり 新しい門出には必ず希望と可能性に心を踊らせると思う。 この僕も、この高校に入ってから、今後の学校生活についてわくわくしていた。手元にある部活パンフレットをちらちらと眺めながら、華やかな高校生活に想いを寄せていた。マンモス高と言われるだけあって、たくさんの部活がそこには掲載され、中には「触手研究会」とか「マシマズ部」など、何が楽しいのかさっぱりわからないものまで含まれていた。 まず目に引いた... 続きを読む

ブロックなしRubyをやろうとすると関数型プログラ…うーんリストプロセッ、えーと感じ感じ - Qiita

2015/01/20 103 users Qiita LISP Ruby 筆者 ごめん

ブロックなしRubyをやることでRubyを関数型言語、というかLispっぽくやっていくことについて考えてみます。なお筆者はLispあんまり詳しく無く、「リストに対する操作の適用をネストさせてなんかいい感じにするやつ」くらいの認識で言いました、ごめん。 ブロックなしRuby初級 xs = %w`akechi kokoro itoh chika ayase ena koshimizu sachiko`... 続きを読む