ラムダ計算基礎文法最速マスター - 貳佰伍拾陸夜日記
ラムダ計算は, 多くのプログラミング言語, とくに関数型言語の原形になっています. ラムダ計算について理解しておくことは, 多くのプログラミング言語の習得に役立つでしょう. ラムダ計算はチューリング完全で, 計算能力としてはふつうのプログラミング言語と同じです. ラムダ計算で計算を書く訓練をしておくことは, 任意の計算を関数のみを使って(他の制御構文を用いずに)書くときに役立ちます. ふつうに書いたら煩雑な処理を, 関数型言語のやり方で書くとすっきりすることが多々あり, コードを自由自在に書くためには必須の考え方と言えるでしょう. 項 ラムダ計算の式を項(term)と言います. 項は変数, 抽象, 適用のいずれかです. 変数 変数(variable)はふつう1文字で書きます. 変数には関数内の束縛変数(bound variable)か自由変数(free variable)かという区別があり
ウノウラボ Unoh Labs: 5分くらいで知るScala
はじめまして。今月入社した内田です。 以前は業務系のSI会社に勤めていたので、Web系という畑の違う環境に少々戸惑うこともありますが、最近少しずつ慣れてきました。 今回は先日、社内勉強会でやった「Scala」について5分くらいで紹介したいと思います。 Scalaとは 関数型言語とオブジェクト指向言語の特徴を統合したマルチパラダイム言語です。 主にJavaVM上で動作し、他にも.NET Framework、Google Android等でも動作が確認されています。そしてJavaや.NET等の既存の豊富なライブラリを使用することが可能です。 このあたりはwikipediaに詳しく書かれています。 Wikipedia:Scala 約1年程前には日本でのScala人口は1桁とも言われていましたが、最近では各地で勉強会が開催される等盛り上がりをみせ、「次の言語」として注目されています。個人的にSca
刺激を求める技術者に捧げるScala講座---目次
本連載では，次世代のエンタープライズ・プラットフォームを支える言語として，このところ最も注目を集めている言語「Scala」の魅力をお伝えしていきたいと思います。Scalaは，技術的にもかなり刺激的で，楽しい言語に仕上がっています。最初の一歩から刺激的な技術解説まで，幅広くScalaのおもしろさ，楽しさをお伝えしたいと思います。 第1回 なぜScalaなのか？ 第2回 Scalaの基本的な文法 第3回 Scala言語を探検する（1） 第4回 Scala言語を探検する（2） 第5回 Scala言語を探検する（3）関数型言語としてのScala 第6回 Scala言語を探検する（4）Scalaの型システム 第7回 関数脳のつくり方 First Season 第8回 Scala DSLでできること 第9回 Scala DSL事始め（前編） 第10回 Scala DSL事始め（後編）
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
