[B! 関数型プログラミング] takaya030のブックマーク

第1章　関数プログラミングは難しくない！―初めて学ぶ人にも、挫折した人にもきちんとわかる | gihyo.jp

［入門］関数プログラミング―質の高いコードをすばやく直感的に書ける！第1章関数プログラミングは難しくない！―初めて学ぶ人にも、挫折した人にもきちんとわかるマルチコア環境が身近になった影響からか、勉強熱心なプログラマの間で関数型言語が話題になっているようです。関数型言語が奨励する関数プログラミングでは、これまで命令型言語で習得した、命令プログラミングの再代入を使う技法があまり通用しません。そのため、「⁠関数型言語は難しい」と言って途中で投げ出してしまう人も多いようです。この特集では、関数プログラミングの習得を一度諦めてしまった人や、これから始める人のために、関数プログラミングのポイントをできるだけわかりやすく説明します。筆者がわかるようになるまで実は筆者も長い間、関数プログラミングを習得できませんでした。筆者は、長年Emacs Lispを使って、Mewというメールリーダーを開発して

takaya030 2023/08/25

リンク

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

なっとく！関数型プログラミング作者:Michał Płachta翔泳社Amazon 良い、買おう、読もう、（コードを）書こう、以上！めっちゃ良いですよ、この本中盤のプリミティブじゃやりづらい→直積→直和→二つ合わせてADT→値を取り出すためのパターンマッチの解説の流れの疾走感がいいですね— magnoliak🍧 (@magnolia_k_) 2023年8月6日『なっとく！関数型プログラミング』は、2022年に出版された『Grokking Functional Programming』の邦訳版で、主にScalaを題材として関数型プログラミングを学んでいくための入門書("Grokking"は、完全に理解する、という意味)。あくまで関数型プログラミングの考え方、コードの書き方、良い設計の指針の解説が主眼に置かれているので、Scalaの言語機能の入門書ではない。Scalaの言語仕様を網羅

takaya030 2023/08/07

リンク

直和型の代わりにユニオン型を持つ静的型付け関数型言語 Cotton

// 割る2をする関数の引数が偶数であることを型によって強制する例（実用性はない） data O // 数字の0を表すデータ型 data S(A) forall { A } // +1を表すデータ型 // 型エイリアス type Nat = O | S[Nat] // 非効率すぎる他倍長整数 type Even = O | S[Odd] type Odd = S[Even] // 偶数を引数にとって2で割った結果を言語組込みの整数として返す関数 div2 : Even -> I64 = // 網羅性チェックつきのパターンマッチ | O => 0 | S(S(n)) => 1 + n.div2 TL;DR ユニオン型は直和型の上位互換である（追記あり）。関数型言語を作るときは直和型の代わりにユニオン型を採用するのもあり。はじめに Cottonというプログラミング言語を2021年の夏頃から作

takaya030 2023/04/05

リンク

いつScalaを使い、いつ使わないのか

前置き先日Twitterでこのような興味深いツイートを拝見しました。なるほどと思ったので、自分が技術選定/アーキテクチャ設計において「どのような時にScalaを選択し、どのような時に選択しないのか」をあらためて言語化してみることにしました。ちなみにこの記事タイトルは Scala福岡 2019 で講演させて頂いたものと同じタイトルですが、当時の資料は説明が無いと誤解を招く部分も多く非公開にしているため、その焼き直しも含めてこの記事を書いています。また、ここで記載している内容は2022年8月現在の事情を元にした考えになります。言語の機能やとりまく状況などは日々変わっていくものであり、前提が変われば結論が変わることも当然にあります。あくまで現時点での意見の一つとして参考程度にして頂ければ幸いです。また、この記事では主に言語機構や周辺ライブラリ・エコシステムといった側面からの判断を中心と

takaya030 2023/01/23

リンク

とほほのHaskell入門 - とほほのWWW入門

「ハスケル」と呼びます。数学者・論理学者の Haskell Curry の名前に由来しています。 LISP, ML などの言語の影響を受けています。関数型プログラミング言語であり、特に純粋関数型言語に分類されます。金融、セキュリティ、数学・科学解析、構文解析などの分野での利用例があります。関数型プログラミングに慣れていない人にとっては、多少学習コストが高いようです。遅延評価を採用しており、式は記述されていても必要となるまで評価されません。関数型言語ですが、モナドなどを利用することにより、手続き型言語のような記述も可能です。 Haskell 1.0 (1990年)、Haskell 98 (1999年)、Haskell 2010 (2009年) などのバージョンがあります。コンパイル型言語ですが、スクリプト言語の様にインタプリタで呼び出すこともできます。処理系は、イン

takaya030 2021/01/02

リンク