GoとRustの言語比較記事を書くのが流行ってるらしい - The curse of λ

2020/03/03 168 users rust サーバーサイド コンテキスト 極限 前提

コンテキスト 私もGoとRustの比較記事書いてバズるやつやりたい — みょん (@myuon_myon) February 27, 2020 仕事でGoとRustを書いています。いずれもWebのサーバーサイドです。パフォーマンスとかほとほどって感じなので極限までチューニングしたりしません。という前提で読んでください。 Rust/Goはいずれも習得してか... 続きを読む

静的解析の限界、現実世界との境界 - The curse of λ

2018/07/11 115 users 境界 解析 限界 愚行 現実世界

はじめに 2018年に静的解析をとにかく強力につけまくるのは多分あんまりコストに見合わないのでよくない じゃあ静的解析を窓から投げ捨ててよいかというとそれはただの愚行 (以下、静的解析を普通に使えてる人には自明なことしか言いません) 依存型のつらみ 私が最初に静的解析の限界を感じたのは多分依存型で遊んでいた... 続きを読む

HaskellでDIする - The curse of λ

2018/07/06 39 users Haskell 人類 実装 工夫 設計

DI DIの重要性はここ数年で急速に高まってきている。 依存性が注入されたりとかそういうことはどうでもよくて、設計と実装を分けたい、人類はそれだけのために色々と工夫をこらし最終的にたどり着いたのがDIであったのだろう。 Haskellでも設計と実装を分けるためにDIしたいというのは自然な流れである。 ここでは型も含... 続きを読む

私と型システムとポエム - The curse of λ

2018/06/02 271 users ポエム あくま 時流 tl;dr 言及

最近巷では俄に型システムについての言及が増え、型システムポエマーが増えてる気がするので自分もその時流に乗りたい。 完全にポエムだけどなんかあったら随時指摘ください。直します。 TL;DR 言いたいことはまとめると次 型システムは程度問題なのでちょうどいいところを探すべき 型は万能でも強さが正義でもない(だから未だに研究されてる) よく知りもしないくせに計算機科学を侮辱するのはやめろ 予防線 あくま... 続きを読む

Rustに入門した - The curse of λ

2018/02/09 40 users rust trait ADT 構文 プログラミング言語Rust

Rustに入門して2週間くらい経ったぜ TL;DR Rustは普通に便利ないい言語 入門した 入門にあたっては プログラミング言語Rust を読んだ。 これ の翻訳版ぽい。 読んでRustに対して思ったこと: 読んだやつは古いドキュメントの翻訳版だったようで一部記述が古いっぽかった 構文はシンプルだけど必要なものは揃ってる感 ML風でADTもパターンマッチもあるしtraitもあって言うことナシでし... 続きを読む