auth0のmanagement apiにアクセスするためのclient applicationを作成してそこからアクセスしようと思っていた auth0の設定・構築自体はすべてterraformで行っている client applicati...

以下の文章は執筆者のRavish Kumarさんからの許可を得て翻訳したものです。 https://blog.det.life/apache-arrow-the-future-of-data-engineering-83abf87557da...

以下の文章は執筆者のPatrick Nguyenさんからの許可を得て翻訳したものです。 https://blog.det.life/9-techniques-to-find-stories-of-data-6a660a00d75f はじめに...

以下の文章は執筆者のPrathamesh Gadekarさんからの許可を得て翻訳したものです。 https://medium.com/p/c1287eb794ec#6545-37b5bc6457bb はじめに データサイエンスは多くの面で興...

以下の文章は執筆者のEthiraj Srinivasan さんからの許可を得て翻訳したものです。 https://bootcamp.uxdesign.cc/the-world-of-rate-limit-algorithms-54fb907...

Pythonでtype hintのあるコードを書いていると良くlist[int]の様に[]が付けられた型アノテーションに出会う。 これらはジェネリクスといい、普通のintやstr等の様な型とは違って抽象的な型を定義して再利用するための仕組み...

Pythonだけでなくジェネリクスを持つ型システムを保有するプログラミング言語を触ると共変と反変という概念が出てくる。 これは型の表現力を最大限上げつつ同時に実行時にエラーを起こさないための機能である。 一方これはジェネリクスの上に乗っかっ...

type aliasを使用すれば型シグネチャが複雑なtype hintを簡約にすることが出来る。 この記事ではtype aliasに関して使用方法、メリット、使用上の注意について書く Type Aliasとは 簡単に言うと、複雑な型に別名を...

この記事では、Pythonにおける NewType テクニックを紹介します。このテクニックを使用すると、型による値の確からしさを保証しながら、ランタイムにおけるオーバーヘッドを限りなくゼロに近づけることができます。 問題設定 アプリケーショ...

fp-tsには値が存在するかどうかをデータ型として表現したOptionというものが存在する。 その紹介。 https://gcanti.github.io/fp-ts/modules/Option.ts.html コード例について コード例...

関数型はデータ型というものを非常に重視する。 データ型によって値をモデリングし、どういった性質のデータなのかを表現する。 更に型システムと組み合わせることでデータ型はさらなる力を得る。 型システムによってデータ型を抽象化するときに利用する型...

zioの非同期streamコンポーネントであるZStreamのコンパニオンオブジェクトのAPI集。 但し書き 以下のコード例はすべて最終的にZStreamをrunしたZIOに変換されたものだが、最後のexitCodeとZIO自体のrun部分...

単位元付きの二項演算を司る型クラスMonoidを紹介。 https://gcanti.github.io/fp-ts/modules/Monoid.ts.html 定義 定義を見ると分かる通り、すべてのMonoidはSemigroupである...

順番を司る型クラスOrdの紹介。 https://gcanti.github.io/fp-ts/modules/Ord.ts.html 定義 compareという比較用の関数が一つだけ生えている。 compareが返すOrderingは比較...

値の等値性を司る型クラスEqの紹介。 https://gcanti.github.io/fp-ts/modules/Eq.ts.html 定義 equalsという等値判断関数がいるだけ。 law Eqが満たすべきlawは３つある。 反射律:...

TypeScriptの関数型ライブラリのfp-tsには型クラスとしてSemigroupがいる。 その紹介。 https://gcanti.github.io/fp-ts/modules/Semigroup.ts.html Semigroup...