久しぶりに来た

丼の泥アプリ入れた

Twitter、色々厳しいなーみたいなのはあるが…うーん

型システムで遊ぶのが楽しすぎてあれ

最近Webまじで全くやってないのでやばやばだね
ずっと型システムで遊んでる

せっかくマストドンの自鯖建てたのに使ってないのやば

趣味だから新機能使いたい

tkr boosted

Rust, 趣味で使ってるだけなので nightly しか使わないなあ最近は

まじでしまくんしかいないが

このTL、しまくんしかいない

ゆるぼ
Extracting and spreading parameter lists with tuples完全理解者

タプル型でN進数実装すれば行ける気はしてきた

全列挙一切なしで出来ねぇかな

これ見た
やばkじゃった

tkr boosted

型システムに二進表現を埋め込んでそれで演算するとかいう闇をどこかで見た

減算はいける
除算は分からん

自然数ならハイパー演算子で行ける気がするけど再帰の制限に引っかかりそう

tkr boosted