These Walls

Python

17 Articles

19th June 2021

Python

PythonとNewType

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

5th April 2021

Python

pandasメモ

pandasを使っていたときのメモあれこれ

5th April 2021

Python Spark

PySpark DataFrameメモ

PySparkのメモあれこれ

5th April 2021

AWS Python Spark

PySpark on AWS Glue

AWS GlueでのPySparの使い方メモあれこれ

5th April 2021

AWS DynamoDB Python

DynamoDB色々

DynamoDBのメモあれこれ

5th April 2021

Python

pyrightの使い方

Pythonのtype checkツールpyrightの使い方

5th April 2021

Python

Python typehintテクニック

Pythonでtype hintつけるときのテクニック

5th April 2021

Python

Pythonのproperty based testingライブラリhypothesisの使い方

pythonでproperty based testing

5th April 2021

Python

pytestでよく使うプラグイン

pytestをプラグインでもっと便利に

5th April 2021

JavaScript Python

PythonでJavascriptの様な分割代入

Pythonでも分割代入がしたい

Python

PythonとNewType

Posted by

kazchimo on 19th Jun '21

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

fp-tsとoption

Posted by

kazchimo on 19th Jun '21

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

TypeScriptとHigher Kinded Type(高階型)

Posted by

kazchimo on 10th Jun '21

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