→関数プログラミング
当ブログを見ている皆さん、こんにちは。虎の穴ラボのy.fです。 本記事は虎の穴ラボ2024年夏の連載企画、23日目の記事です。 昨日はS.Sさんの「「システム設計の面接試験」で最適なシステム設計を学ぶ」が公開されました。ぜひご覧ください！ 次は山田さんの「エンジニア組織を強くする 開発生産性の教科書」が公開されますので、こちらもご期待ください！ 今週のテーマは「書評」ということで、最近出版された「関数型デザイン」という本を読んでみたので書評を書いていこうと思います！ store.kadokawa.co.jp 本書を読んだ理由 まず本書は、関数型プログラミングの本であるとともに、Clojureに…
課題 解決策 SwiftUIの仕組み 注意点 最後に iOSエンジニアの入江です。HStack{ }のように宣言的なViewパーツを自作する方法についての投稿です。 課題 複数の画面で、画面のライフサイクルをトリガーとする同じような処理を行う機能（例えばロギングなど）がある場合、UIKitのViewControllerはクラスなので継承が可能です。viewDidLoadなどで共通処理を実装した継承用の基盤クラスを作成し、その基盤クラスを継承することで、簡単に複数の画面で共通処理を実現できます。 しかし、SwiftUIの場合はレイアウト要素の宣言がクラスではなく構造体で書かれるので、継承ができま…
弊社、ブログ祭りやってます。（自分のテーマは #DDD #関数型プログラミング #書籍 ということで） 【宣伝】『Domain Modeling Made Functional』の翻訳がとうとう出ます！訳者は @matarillo さんです。出版に向けて企画段階からいろいろお手伝いさせていただいた思い出深い本です。この本はこれからの必読書のひとつになるだろうと考えています / 関数型ドメインモデリング https://t.co/XP0L6WdoCD— Takuto Wada (@t_wada) 2024年5月24日 界隈では度々話題に上がる名著「Domain Modeling Made Fun…
仕事柄、Webアプリケーション開発に携わることはあまりないが、JavaScript(以下JS)で辛い思いするのはもう嫌になったので次携わることになったときのために、JSを改善したAltJSやフロントエンドフレームワークを使えるようにしておこうと思い、PureScript(以下PS)に入門することにした。PureScriptのロゴはクリエイティブ・コモンズ・ライセンス（表示4.0 国際）に基づいています。 ロゴ製作: Gareth Hughes, 2014
Digitization部 Bill One Entry*1グループの秋山です。 はじめに Domain Modeling Made Functionalというスゴ本 補講：Make Illegal States Unrepresentable バックエンドの処理を抽象化する 手続き型プログラミングの典型例 課題1：制約のないエラーハンドリング 課題2：低い可読性 課題3：エラーハンドリングの低い網羅性 Railway Oriented Programming TypeScriptで型安全にエラーハンドリングする ステップ1：サブ関数の出力はResult型で表現する ステップ2：サブ関数にRe…
はじめに 次世代デジタル基盤開発事業部のIと申します。 筆者は、メインの仕事として、Webサイトの設計・実装を行っております。 また、個人的にソースコードの品質を担保する方法を試行錯誤しており、プロジェクトに還元し、そのためのドキュメントをプロジェクトメンバーや部全体に共有しています。 今回は、ソースコードの品質担保に大きく寄与するプログラミングパラダイム、関数型プログラミングについて筆者なりの考えなどを共有して、理解の手助けにできればと考えています。
動機 私が利用している国立国会図書館サーチのメタデータは、国立国会図書館ダブリンコアメタデータ記述（DC-NDL）に準拠している。 今回は書籍のページ数の情報が必要になったため、DC-NDL の該当するフィールドを調べてみることにした。 ndlsearch.ndl.go.jp <dcterms:extent>120p ; 22cm</dcterms:extent> ページ数は dcterms:extent にリテラルとして収められているらしい。 API 緩衝層 一般に国立国会図書館サーチのような API を挟む場合、バックエンド（またはフロントエンド）と API エンドポイントとの間に、自分の…
モナドのメリット モナドはHaskellのプログラムにおいて、特に入出力回りで活躍する仕組みです。 関数プログラムの本体から副作用を安全に分離することができ、計算戦略をプログラム全体にばら撒くことをせずに、一箇所にまとめることができます。 モナドの具体例 モナドの具体例1 例えば、二つの関数getLineとputStrLn関数を考えます。 この二つはどちらもIO型で定義される、副作用の存在する 関数です。 そして、この二つの関数を用いて、「getLineで得た行を、putStrLnで出力したい」とします。 通常のコードであれば、次のように書き表すと思います。 import System.IO …
classキーワード 型クラスの定義 Haskellでは等号、非等号を表すためにEqというクラスを使用しています。 class Eq a where (==), (/=) :: a -> a -> Bool x == y = not (x /= y) x /= y = not (x == y) 上記のEqクラスから以下の情報が読み取れます。 等号が使用可能な型は、Eqを継承している それぞれの型は、== と/= メソッドが実装される。 ==と/=は二つの同じ型を取り、最終的にBoolが返される。 デフォルトで、==と/=が定義されているが、それぞれが依存関係にあるため、どちらかのメソッドは定義…
Haskellのdataについて Haskellのdata コマンドは既存の型を組み合わせて新しい型を作ることが出来ます。 data Animal = Cat Int scream :: Animal -> String scream (Cat number ) = concat (replicate number "ニャー") main = print $ scream(Cat 2) 上記の例ではAnimalという普遍的なデータ型を作成し、 その中の一種類としてCatとIntを組み合わせたもの（numberの意図は頭数）を指定しています。 そして関数screamの型宣言ではAnimalからS…
qiita.com
anond.hatelabo.jp
okapies.hateblo.jp
kentutorialbook.github.io
qiita.com
blog.magnolia.tech
postd.cc
www.amazon.co.jp
blog.kokuyouwind.com
