ESLint and TypeScript
ESLint + TypeScriptMeguro.es #22About meYosuke Kurami (@Quramy)Web front-end developerWhich linter do you use with TypeScript ?TSLint / ESLintAnnounce on 8 Jan 2019https://github.com/Microsoft/TypeScript/issues/29288 @typescript-eslint 🎉 I'm a TSLint user. How do I migrate ? How to write .eslintrc ?Google it 😇How to write .eslintrc ?How to configure IDE ?Options to integrate ESLint to IDEsALE (f
歴史的経緯の説明 as code - Speaker Deck
"歴史的経緯の説明 as code" であるところの querly の紹介です。 Code Review Meetup #4 (#codereview4) の発表資料です。
静的解析の限界、現実世界との境界
2018年に静的解析をとにかく強力につけまくるのは多分あんまりコストに見合わないのでよくない じゃあ静的解析を窓から投げ捨ててよいかというとそれはただの愚行 (以下、静的解析を普通に使えてる人には自明なことしか言いません) 私が最初に静的解析の限界を感じたのは多分依存型で遊んでいたとき 依存型の力はすごくて、まぁそれもそのはず命題論理から述語論理に進んで元への言及ができるので見かけ上表現力はとんでもなく上がるわけです。例えば「ある方程式を満たす解のみを受け取って何かする」みたいな関数が型として表現できるようになる。 一見すると最強に見えるんだけどこれは実質定理証明をすることなので、制限の強い型をつければつけるほど実装で苦しむ羽目になるということを割とすぐ痛感することになった。 例えば head : Vect (Suc n) a -> a で長さ1以上のvectorの先頭を安全に取り出す関数
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
