KDOT Engineering

アロー関数は前提知識。 カリー化を一言 関数を返す関数によってプログラムの共通化を図り、堅牢で安全なプログラムを作る。 カリー化の理論的な説明 複数変数を取る関数がある その関数を1変数を取り、関数を返す関数に分解する or wikiped...

ついに前々から今年の夏リリースされるとアナウンスされていたstripe製のRuby型解析ライブラリがリリースされました。 個人的にRubyは型が加われば最強の言語なので、これは本当に嬉しい。 導入方法として、公式のGetting Start...

詳しくは https://github.com/typelevel/cats-effect/releases/tag/v3.0.0 IOモナドの刷新 徹底的に再デザインしてパフォーマンス向上 ユーザが使いやすいようなインターフェースの追求...

この記事の例で出したcase classを自動で変換するmapToメソッドを実装してみる。 実装コード 以下解説。 対象となるcase class mapToメソッドを使用する条件はcase classのHList表現が同じであることである...

ScalaにはAuxパターンというものがあるらしいのでまとめ。 解決したい課題 ある型に対しての型クラスインスタンスが複数欲しいときがあり、しかもその型クラス同士に依存関係があるとする。 上の例でいくとsomethingメソッドはTのTyp...

Scalaにはジェネリックプログラミングとか言うものを行うshapelessというライブラリがある。 その基本。 shapelessがやりたいこと そもそもジェネリックプログラミングとはなんぞやというと、名前の通りジェネリック=総称的なプロ...

タイミング攻撃を調べていたところ、こんなサイトがあったので意訳っぽくまとめ。 原理 簡単に言えばアプリケーションがなにかをするときにかかる時間の差異を分析することによる攻撃。 今回登場するHMACに限って言えば、トークン認証で値を比べるとき...

ZIOを使ってサーバーを立てるときたまにwebsocketを使用したい時がある。 内部的にはZStreamを使用しているので、後はそれをhttp serverにつなぎこむだけなのだが、今の所ZIO×http serverのstableなライ...

pythonのEllipsisとは Ellipsisのtype hintsでの使用例 前提知識 Pythonのtype hintsについての簡単な知識 スタブファイルが何者かなど Pythonについての基本的な知識 型システムについての基本...