「型」のお気持ち 〜 「型なし」と「動的型」って同じ？違う？ - Qiita
はじめに 「『型なし』と『動的型』って同じ？違う？」「ピピーッ！JavaScriptやRubyを『型なし言語』と呼ぶのは間違いです！」 ツイッターを見ていると、このように「型」という言葉の用法に混乱がみられるので、私見で整理してみたいと思います。 まず、「型」という言葉の用法には、大きく分けて2つあります： 変数や関数についての静的にわかる性質 静的型言語では「型」と言ったら主にこちらを指します。 値の種類を区別するための実行時のタグ付け（型タグ） 「動的型言語」と言った場合の「型」はこちらです。 静的型言語でも「実行時型情報」という名前で、値にタグがついている場合があります。 前者の立場では、「動的型言語」は「型がない」ように見えて、後者の立場では、「動的型言語」にも「型がある」ように見えます。 「静的型 vs 動的型」（あるいは「型あり vs 型なし」）の議論をする際は、「型」という言
DB（ドイツ鉄道）オープンデータハッカソンに参加してきました - Qiita
2017年5月12日（金）から13日(土)にかけて開催されたDB（ドイツ鉄道）オープンデータハッカソンに参加してきました。友人であるドイツ人の大学教授から、4月末に「こんなイベントがあるんだけど来ない？」と誘われて、反射的に「行く！」と答えてしまったのですが、あれ？もう2週間しかないじゃん、しかも場所がベルリンってドイツじゃん、ってなって、でも、行ってしまいました。学生も、場所のことを隠して「面白そうなハッカソンがあるんだけど一緒に行かない？」って誘ったんですが、さすがにバレちゃいました。 今回のハッカソンはJR東日本がパートナー？ Webページに大きく、E5系新幹線とドイツのICEが手を繋いでいる絵が出ていますね。実は今回のハッカソンの目玉として、JR東日本がパートナーとして参加しているのです。だからドイツ人の先生も私を誘ってくれたのですね。JR東日本はDBと技術提携をしており、それが今
Azure Cosmos DBで導入されたBounded StalenessはProbabilistic Quorumで実現できるらしい - Qiita
Azure Cosmos DBで導入されたBounded StalenessはProbabilistic Quorumで実現できるらしいreplicationTheoryquorumconsistencyAzureCosmosDB Azure Cosmos DB とは 2017/05/10(米国時間)にMirosoftから発表されたあたらしいデータベースサービスです。特徴的なのは、これまでのデータベースサービスはいわゆるデータセンターに閉じた状態での分散レベルしか提供してこなかった所を、データセンターを跨ぐレベル(惑星規模とか言われる)でサポートしている所です。ホストするデータがどこまででも大きくなれますよ(スケーラビリティ)というよりも、複数の地理的に遠く離れたデータセンター拠点に跨ってデプロイできて、一つのデータセットにアクセスできるよという意味です。これに先立ってGoogleから発表
フロントエンドにテストを導入 - Qiita
2016-8-8 ※webpack単体の記事を書きました。よろしければこちらもどうぞ step by stepで始めるwebpack 2016-5-16 ※karma単体の記事を書きました。よろしければこちらもどうぞ step by stepで始めるKarma 本記事は画面のJavaScriptのテストとかまったくやったことない方 Mocha？webpack？karma？それぞれの解説記事はよく見るけど全体像がよくわからんという方向けです。（数日前の自分です） 全体を通して導入の流れを解説した記事があると全体像が理解しやすいのではと思い書いてみました。 前提 Nodejs,npm,chromeが導入済みであること 流れ Step 表題 目的
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
