なぜ型ファーストで考えるのか - 貳佰伍拾陸夜日記
How do you imagine a building? You consciously create each aspect, puzzling over it in stages. Inception 型なし言語に馴染みはあるものの型付言語をいざ使ってみたらどういう気持ちで書いたらいいのかわからなかったと同僚から相談があり, それをきっかけにして社内の勉強会で以下の話をしました. よく型なし vs. 型付の文脈では「型を書くのは面倒だ」「安全の方が大事だ」「でも面倒だ」「それは型推論を前提にしていないからだ」などの議論になりがちな気がしますが、これはあくまで「計算ありきの型」を考えているからで, 「型ありきの計算」だと全く見え方が違います. 「型はある種の仕様」とおもえば, 型ファーストであることと, 型なし言語でテスト駆動開発(TDD)するときに最初にテストを書くこととは, 同じ
Dangling else - Wikipedia
The dangling else is a problem in programming of parser generators in which an optional else clause in an if–then(–else) statement results in nested conditionals being ambiguous. Formally, the reference context-free grammar of the language is ambiguous, meaning there is more than one correct parse tree. In many programming languages one may write conditionally executed code in two forms: the if-th
Interesting Programming Languages
Interesting Programming Languages an opinionated collection of programming languages. Created: Feb 19, 2020 by Pradeep Gowda Updated: May 17, 2024 Tagged: programming-language An opinionated collection of programming languages. This is a list of what I consider interesting. Requests to add to this list are welcome, but there is no guarantee I’ll include them. As you can see many mainstream program
DiscoverDev | Daily digest of engineering blog posts for software developers
Discover dev brings you a daily digest of the best engineering blogs from across the web! Handpicked by AI and a network of globally distributed nerds! Join us and thousands of fellow developers - Subscribe to our mailing list, follow us on Twitter or tap into our RSS feed (Feed burner)! [×] Subscribe to our weekly newsletter! We take your time and privacy seriously - no sharing of email, no spamm
Data Structure Visualization
Currently, we have visualizations for the following data structures and algorithms: Basics Stack: Array Implementation Stack: Linked List Implementation Queues: Array Implementation Queues: Linked List Implementation Lists: Array Implementation (available in java version) Lists: Linked List Implementation (available in java version) Recursion Factorial Reversing a String N-Queens Problem Indexing
PaneRatanamahatanaMyers.f
Language & Structure in Problem Solutions SUBM ITTED FOR PUBLICATION 1 Studying the Language and Structure in Non-Programmers’ Solutions to Programming Problems John F. Pane, Chotirat “Ann” Ratanamahatana* and Brad A. Myers Computer Science Department and Human Computer Interaction Institute Carnegie Mellon University Pittsburgh, PA 15213 USA pane+natprog@cs.cmu.edu http://www.cs.cmu.edu/~NatProg
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Off-side rule - Wikipedia
Lexical differential highlighting instead of syntax highlighting
GitHub - codecrafters-io/build-your-own-x: Master programming by recreating your favorite technologies from scratch.
WakaTime - Dashboards for developers
NameBright - Domain Expired