Object-Oriented Conference 2024で発表した資料です。 https://fortee.jp/oocon-2024/proposal/b31c9818-3cb8-4350-adfe-cbc839cdf829 ビジネスの専門知識（ドメイン）を中心に据えたドメイン駆動設計に代数的データ型などの関数型のパラダイムを加えたよりタイプセーフな関数型DDDを紹介します。 本セッションではドメインモデリングによって発見したモデルやビジネスロジックをソフトウェアに反映する際により型を重視した設計を加えます。 型で表現する範囲が広がることでビジネスロジックをより明確にコードで表現できるようになります。 さらには型で表現されているためコンパイルフェーズで気付けるミスが増え、ソフトウェアの品質向上にもつながります。 関数型の考えをいれるといってもただ単にHaskellなどに代表される関

仕事でLensを使う機会があった。Lensは複雑で入り組んだデータ構造の読み書きに非常に効果的な手法であるにもかかわらず、関数型プログラマ以外にはあまり知られていないように思える。 そこでこの記事では、Lensとは何なのか、なにが良いのか、具体的にどのようなケースでLensが役立ったか、そしてLensの亜種について紹介する。業務でも使ってます！ AIくんが考えるLens 前提条件 Lensとは Lensの使いどころ データをモデリングする場合 (とても つらい) Lensを使う場合: Lensはアクセスパスである Lensと愉快な仲間たち Lensの合成 -- andThenでひっつけよう Lens Law Monocleの便利機能 Lensの自動生成でサボる Focusでもっとサボる Lensがもたらしたもの まとめ あわせて読みたい 前提条件 この記事ではLensを紹介する言語としてS

はじめに こんにちは。カミナシでソフトウェアエンジニアをしている佐藤です。 みなさんは、アプリケーションのフロントエンドから、Amazon S3 にファイルをアップロードするときに、どのような方法を用いているでしょうか？ 「バックエンドのサーバーにファイルを送信し、バックエンドのサーバー経由で S3 にアップロードしている」「Presigned URL を払い出して、フロントエンドから直接 PUT している」など、いくつかの方法があると思います。 弊社で提供しているサービス「カミナシレポート」でも、用途に応じて上記の方法を使い分けて S3 へのファイルのアップロードを行っています。 特に、Presigned URL は、手軽に利用できる上に、バックエンドのサーバーの負荷やレイテンシーの削減といったメリットも大きく、重宝しています。 一方で、その手軽さの反面、アップロードに際して様々な制約を

何度か講演でこの話をしたのだが、気が向いたのでエッセンスを書き下しておこうと思う。 テスト駆動という言葉が流行る前にプログラマとなった私は、当初どのようにテストを書いてよいのか分からなかった。そんなとき、(当時はオーム社で現在はラムダノートの)鹿野さんから「ビューティフルコード」を献本していただいた。分厚い本なので、興味ある章から読んでいった。その一つがアルベルト・サボイア氏が書いた7章「ビューティフル・テスト」だ。 ビューティフルコード (THEORY/IN/PRACTICE) 作者:Brian Kernighan,Jon Bentley,まつもとゆきひろオライリージャパンAmazon この章では、例として二分探索が取り上げられる。二分探索のアイディアが出されたのは1946年だが、バグのない実装ができたのは12年後だという。実際に実装してみると分かるが、ソートされた配列の中に目的の要素が

ペイウォール型の課金 ペイウォールはコンテンツを一部有料化し課金をおこなったユーザーにのみ表示させる仕組みです。ユーザーはダウンロードや、別画面に遷移することはなく、あなたのサイトのページ内で直接コンテンツを閲覧することができます。 タグの貼付けだけ 導入には複雑なシステム構築は必要なく、タグをコピー＆ペーストするだけで完了します。あなたのコンテンツはペイウォールから提供される課金・認証機能により購入者へ適切に配信されます。

弁護士ドットコム株式会社が2023年に行ったアンケート調査によると、煽り運転を行った加害者の約6割は「後悔していない」と回答している。巻き込まれる側からすると、たまったものではないが、そういった人々が存在する以上は常に危険を察知しつつ運転する必要があるだろう。 会社員の大倉優太さん（仮名・26歳）も、“歪んだ思考を持つドライバー”から煽られて、冷や汗が止まらなくなった経験があるという。 「自分だけならまだしも、助手席に座る彼女の身にも危険が及ぶ出来事でした。今思い出しても虫唾が走ります」 それは今から3年ほど前のこと。大倉さんには付き合って3カ月になる彼女がいた。買ったばかりの軽自動車で温泉旅行に向かったそうだ。 「高速を走っていると、白いセダンがピッタリ後をついてくるんです。ですが、自分がいたのは追い越し車線ではなく走行車線でしたし、ノロノロと走っている訳でもなく、煽られる理由がわからず

【備忘録】Withingsのスマート体重計Body Cardioの設定を初期化・再登録する方法2020年11月22日2020年11月29日お買い物・おすすめ製品, 健康, 運動・フィットネスBody Cardio, Fitbit, Withings, スマート体重計 ４年ほど前から、体重計にはWithingsのBody Cardioというスマート体重計を使っています。 私は普段からフィットネストラッカーとしてFitbitを愛用しているのですが、Withingsの体重計のデータは、Fitbitとも連携できてすごく便利。 Fitbitが提供しているAriaというスマート体重計よりもWithingsの方がレビューが高かったのもあって、私は今でも体重計に関してはWithingsユーザーです（４年前に買ったものは家族に譲ったので、今は２台目）。 ちなみにWithingsは一時期Nokiaブランドにな

アプリが終了する直前の処理 iOSアプリの終了直前に、何らかの処理を行いたい場合があるかと思います。 例えば・・・ データの保存（キャッシュ）処理何らかの処理を中断してクリーンアップ処理（API呼び出しの中断、ファイル変換処理の中断など） こうしたアプリ終了直前の処理は、一般的にどこに書くのが正解でしょうか？ Apple の公式ドキュメントを見ると、AppDelegate の applicationWillTerminate に以下のような記載がありました。 このメソッドは、アプリが終了し、メモリから完全に削除されようとしていることをアプリに通知します。このメソッドを使用して、共有リソースの解放、ユーザーデータの保存、タイマーの無効化など、アプリの最終的なクリーンアップタスクを実行する必要があります。このメソッドの実装には、タスクを実行して戻るのに約5秒かかります。期限が切れる前にメソッド

オープンソースの電子書籍リーダーソフト「Librum」は、PDFや電子書籍ファイルであるEPUB・MOBIのデータを読み込んで本棚として共有できるほか、7万冊以上の無料書籍を自由にダウンロードして複数端末で読書進度も合わせて共有できます。 librumreader.com/ https://librumreader.com/ Librumの公式ページにアクセスし、「Download」をクリック。今回はWindowsからダウンロードしていますが、Windows、GNU/Linux、macOSに対応しており、iOSとAndroidは後日対応予定とのこと。 ダウンロードした「librum-windows-0.11.0-installer.exe」をダブルクリックして開きます。 インストーラーが開いてライセンスが表示されるので、「I accept the agreement」にチェックを入れて「N

4つの割付モードを選べる3キー超小型プログラマブルキーボードがサンワダイレクトから 2023.12.25 10:53 更新 2023.12.25 配信 LEDバックライト搭載の青軸スイッチ採用 サンワサプライ株式会社（本社：岡山市北区）が運営する直販サイトのサンワダイレクトは2023年12月25日、3キー仕様の超小型プログラマブルキーボード「400-SKB075」を発表した。すでに販売が開始され、直販価格は税込3,480円。 専用ソフトでは、キーのショートカット、キーリピートの状態などの割付ができる「キーボードモード」、マウス操作の割付ができる「マウスモード」、頻繁に使用する文字列を割付できる「文字列モード」、オーディオや電卓などの機能を割り付けられる「ショートカットモード」の4種類のモードを選択可能。なお設定内容は本体に保存されるため専用ソフトの無いPCでも同じ設定で使用できる。 キース