These Walls

DynamoDB

2 Articles

AWS DynamoDB Python

DynamoDB色々

DynamoDBのメモあれこれ

DynamoDB Python

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

pythonとdynamoでハッピー

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