Introduction to safe programming with numeric library

数値ライブラリで始める安全なプログラミング #Programming #Security Scala Matsuri 2024での自身の発表 Spireライブラリを用いて安全な数値計算を行うテクニックを紹介している

Spire

#Programming #Security Scala言語の数値型ライブラリ。汎用的で高速かつ高精度な数値と、効率的な数値コードシンタックスを提供する。 Spire Introduction to Spire Numeric Programming in Scala with Spire JOTB19 - Numeric Programming with Spire by Lars Hupel

ペアプログラミング

#Programming 1台のマシンで2人が協力してタスクに取り組む

オブジェクト指向プログラミング

Object Oriented Programming #Software Design #Programming

テスト駆動開発

Test-Driven Development #エクストリームプログラミング #Programming

Effective Rust

型エイリアス

#Programming 名前の通り型のエイリアスを定義する あくまでエイリアスであるためエイリアス間の値は同一の型として扱われる

Programming in Haskell 2nd edition

列挙型

#Programming 排他な値の集合を列挙し、文字列や数値のエイリアスを指定できる

関数型ドメインモデリング

トレイト

trait #Programming 振る舞い（メソッド）の集合をカプセル化する 一般に振る舞いは抽象として定義されるのが望ましい

契約による設計

#オブジェクト指向プログラミング #Programming 契約による設計事始め

Rust

#Programming Rust Programming Language

Authorization to implement with Extensible Effect

#Security #Programming Effによる認可実装の話

newtype

#Programming 既存型をラップする形で新たな型を定義する 型エイリアスのように使われることが多いが、型エイリアスと異なりあくまで別の型として扱う

Eff

Extensible Effect #Programming 作って学ぶ Extensible Effects Freer monads, more extensible effects. Extensible Effects in Scala Scala + CleanArchitectureにEffを組み込んでみた アルプのEff独自エフェクト集 / Alp-original ’Eff’ pearls Eff（atnos-eff）による実践的なコーディング集

ADT

Algebraic Data Type 代数データ型 #Programming 列挙（和）された値の組み合わせ（積）を定義し、無効な組み合わせを表現できないように型化する方法

anyhow

#Programming Rustにおけるエラー型の扱いを楽にするライブラリ パブリックなAPIでは利用を避けて標準のエラー型を用いるのが良い anyhow - Rust