タコ所長

@presTako

43Contributions

12
Posts 5
Followees 2
Followers

Location

Saitama, Japan

Following Organizations

No Organizations you are following

Following tags(35)See all

lean lean4 TypeScript RaspberryPi 設計 DDD Idris purescript folktale ramda yesod データ構造アルゴリズム cssnext MySQL mariadb kubernetes 代数数学圏論

Contributions

posted an article

同値性のrwタクティクがわからない

article is Liked

`dsimp` が何をやっているか覗く

article is Stocked

`dsimp` が何をやっているか覗く

article is Liked

`dsimp` が何をやっているか覗く

posted an article

`dsimp` が何をやっているか覗く

posted an article

ワーキングメモリが一杯にならないために

posted an article

posted an article

ソケットをIO Handleでラップする

posted an article

ドット表記を局所的にオフにするマクロ

article is Stocked

JSのように簡潔にレコードからデータを取り出す方法