C++のテンプレートでラムダ計算と型推論 - 貳佰伍拾陸夜日記
C++のテンプレートを, コンパイル時に走るプログラムを記述するための言語だと思うと, この言語はチューリング完全なので, 当然ラムダ計算のインタプリタを実装できるし, そのラムダ計算の項の型を推論することもできる. できるからと言って馬鹿みたいにやってしまったという話. ソースコードは末尾. テンプレートメタプログラミング テンプレートをプログラミング言語だと思うと, 構文はともかく, 副作用がなく関数(っぽいもの)を淡々と定義してパターンマッチして再帰呼出しして, という感じでとても関数型っぽい. 関数と返り値 テンプレートメタプログラミングではテンプレートクラスを関数だと思って使う. そして返り値はtypedefして返す. たとえば任意の型S, Tを受け取って前者を返す関数firstは template<typename S, typename T> struct first { t
[050845]「こんにちは」と入力すると「こんにちは、死ね！」と表示される
「ニコニコ大百科かんたん入力」をセットアップしていると、「こんにちは」と入力した際に、「こんにちは、死ね！」と表示されます。「ニコニコ大百科かんたん入力」を使用しない設定にすると、このような候補は表示されなくなります。 ※「ニコニコ大百科かんたん入力」は、ATOK 2011のバリューアップサービス［ベータ］で提供している、ニコニコ大百科の見出し語を登録した変換辞書および省入力データです。ニコニコ動画上でしか使用されない特有の表現が多数含まれます。 ■操作 言語バーの ［メニュー］*1をクリックし、基本のメニューから［プロパティ（環境設定）］を選択します。 *1ATOKパレットをお使いの場合は、ATOKパレットの ［メニュー］をクリックします。 ［入力・変換］シートを選択します。 ［設定項目］の［推測変換-省入力データ］を選択します。 ［省入力データの内容］で［ニコニコ大百科省入力データ］の
223Soft -
Document Data Structure in MongoDB Express MongoDB lets you easily store structured and unstructured data in a flexible and dynamic database schema. It supports CRUD operations on complex data objects using JSON as the main data type. Its an open source solution so it may not be as robust or well supported as commercial management tools. However it is easy to deploy and works well for most use cas
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
