These Walls

Music, Book, Technology

Python

Pipenvの使い方

pipenvのコマンド集

Scala

Scalaでcsvをexcelで開くときにUTF-8で解釈させ文字化けを防ぐ方法

エクセルをscalaで攻略

DynamoDB Python

pythonでdynamo dbをORM風に扱えるpynamodbの使い方

pythonとdynamoでハッピー

Python

TypedDictでpythonのtype hintでdictのkeyとvalueに厳格に型をつける

型安全なpythonのDictを実現

PythonでPhantom Type(幽霊型)を使って静的にプログラムの欠陥を発見する

Python

PythonでPhantom Type(幽霊型)を使って静的にプログラムの欠陥を発見する

幽霊型というちょっと高度なテクニックをpythonでも

[初級-中級向け]Scala基本APIを完全に理解するシリーズ② -Either編-

Scala

[初級-中級向け]Scala基本APIを完全に理解するシリーズ② -Either編-

EitherはScalaの中心的な役割を担うクラスです。
Optionなどの他のクラスと違って少し癖があるため最初は戸惑うかも知れません。
しかしマスターすれば強力なバグ抑制機構になってくれます。

Scala

[初級-中級向け]Scala基本APIを完全に理解するシリーズ① -Option編-

値のある無しを保証してくれるデータ型Optionを学ぼう。

Book

「意識」読んだ

意識についての面白い本

0からScalaを本番導入して感じたこと・考えたこと

31st March 2021

Scala

0からScalaを本番導入して感じたこと・考えたこと

scalaの導入時に感じたことや躓いたこと、そして学び

31st March 2021

FP Scala ZIO

ZIO小史

この記事はA Brief History of ZIOを執筆者のJohn A De Goesさんの許可を取って翻訳したものです。
Thanks a lot to John A De Goes for the great article and allowing me to introduce that in my blog!

Python

PythonとNewType

Posted by

kazchimo on 19th Jun '21

限りなくゼロコストで型による値の確からしさを保証するためのテクニックにNewTypeがある。その紹介。

FP

fp-tsとoption

Posted by

kazchimo on 19th Jun '21

<p>fp-tsには値が存在するかどうかをデータ型として表現したOptionというものが存在する。<br>その紹介。</p>  <!-- wp:paragraph...

FP

TypeScriptとHigher Kinded Type(高階型)

Posted by

kazchimo on 10th Jun '21

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

Continue Reading