なぜ型ファーストで考えるのか - 貳佰伍拾陸夜日記
How do you imagine a building? You consciously create each aspect, puzzling over it in stages. Inception 型なし言語に馴染みはあるものの型付言語をいざ使ってみたらどういう気持ちで書いたらいいのかわからなかったと同僚から相談があり, それをきっかけにして社内の勉強会で以下の話をしました. よく型なし vs. 型付の文脈では「型を書くのは面倒だ」「安全の方が大事だ」「でも面倒だ」「それは型推論を前提にしていないからだ」などの議論になりがちな気がしますが、これはあくまで「計算ありきの型」を考えているからで, 「型ありきの計算」だと全く見え方が違います. 「型はある種の仕様」とおもえば, 型ファーストであることと, 型なし言語でテスト駆動開発(TDD)するときに最初にテストを書くこととは, 同じ
退屈なWeb会議がクイズ番組に変身、新サービス「Connected Flip」
複数の参加者がフリップに回答を書き、正解かどうかが色で表示されるテレビのクイズ番組風のエンターテイメントが、自宅のパソコンやスマートフォンで楽しめるようになります。 インターネット関連コンテンツの開発を手がけるバスキュールは6月9日、クイズ番組風のコンテンツを制御・表示するためのシステム「Connected Flip」を発表しました。ZoomやGoogle Meet、TeamsなどのWeb会議ソフトの画面内に表示でき、Web会議の合間に楽しむといったことが可能になります。 インターネット経由で楽しめるクイズ番組風のコンテンツを制御・表示するためのシステム「Connected Flip」 Connected Flipは、問題の出題や回答の集計、正誤の判定や表示などを行うホスト側と、回答する参加者に分かれて利用します。参加者がスマートフォンやタブレットを使って手書きで回答した内容は一覧でズラリ
出版業界のハッキングとは何だったのか 06/10｜久保内信行
イヤな質問するなァ。自分もこないだ気づいたんですけど、箕輪さんとお仕事ご一緒したことありますからね。 「お前、箕輪さんと仕事してたよな？」って言われてつらつら箕輪さんのプロフィール見てたら、確かにしていたし、与沢翼の元ライブドアがあった六本木の事務所で与沢翼待ちしていたことを思い出しましたよ。その時の会話の内容もぼんやり思いだしたのですが、そちらは伏します。え？なんで与沢翼の本の仕事を請けたのかって？ そんなん、面白そうだったからに決まってるじゃないですか！ で、なにが天才的かというお話でしたね。簡単に言うと、1 著者の稼働ナシで本を作るシステム と、 2 これら著者の褒め合いによって読者を誘導し、一種の読者層を作った。さらに、 3 読者層を組織してネットでの購買運動を作り、販売前にランキングをジャックした。 4 幻冬舎のイマドキ珍しいイケイケの販売方針により、大量に印刷して、配本制度とそ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
