Coprisによる制約プログラミング入門
この文書では，Scala 言語に埋めこまれた制約プログラミング用DSL (Domain Specific Language)である Copris を用い， 制約プログラミングの入門的な内容を説明する． Java runtime version 1.8 以降をインストールする Scala version 2.12 をインストールする Scalaのバージョンをチェックする $ scala -version Scala code runner version 2.12.5 -- Copyright 2002-2018, LAMP/EPFL and Lightbend, Inc. CoprisはScala version 2.12で動作する (他のバージョンでは動作しない)． Coprisリポジトリ をclone ここでは，以下の例題を考える． 1円硬貨，5円硬貨，10円硬貨を合計で15枚，それぞ
チャットワークの新しい開発言語とフレームワークを決める開発合宿を開催！その全貌を丸公開します。 | チャットワーククリエーターズブログ
みなさんこんにちは、技術部Webチームリーダーの田中佑樹です。 みんなからはたなやんと呼ばれています。猫とVimが大好きです。 さて、今回は先日開催した2泊3日のChatWork開発合宿の全貌についてご紹介したいと思います。 「開発合宿をやってみたいけど、どうすればいいのかよくわからない」という方の参考になれば嬉しいです。 なぜ開発合宿をすることになったのか？ チャットワークは2011年3月の公開以来、順調にユーザー数を伸ばし2014年4月時点で世界170カ国42,000社の企業に導入されるまでに成長しています。 そんな中、現在チャットワークのバックエンドで動いているプログラムが今後の運用において最適ではないのではという懸念があり、言語とフレームワークの再選定をしようという声が上がりました。 ただ、なかなか日頃の業務の中で時間を取るのは難しく、今後のチャットワークを左右する重大な選択なので
モナドとはモナドである - モナドとわたしとコモナド
この記事を読む前に、絶対に理解出来ないモナドチュートリアルに一度目を通してみてほしい。モナドを理解していく上で、とても重要なことが書かれている。 改めて言おう、モナドはモナドだ。コンテナだとかプログラマブルセミコロンだという説明では、モナドのすべてを正確に表せるとは言い難い。では、モナドを過不足なく説明できる、モナド以外の言葉はあるのか？ 実は、モナドを表現し、かつモナドで表現される言葉は存在する。その一つは手続きである。手続き型言語の「手続き」だ。 手続きとは何か 手続きは結果を持つ おおよそすべての手続きは何らかの結果を持つ。Haskellの()、C言語のvoid、PythonのNone、Rubyのnilなども結果の一種だ。結果が出ないとしたら、そのプログラムは停止しないか、途中で異常終了するだろう。 手続きには最小単位が存在する 処理系が扱っている以上、手続きが際限なく分解できるとい
絶対に理解出来ないモナドチュートリアル - konn-san.com
世の中には、恐しい数のモナドチュートリアルがあって、それぞれモナドは象だとか、いや接ぎ木だ とか、プログラマブル・コンテナだとか、プログラム可能なセミコロンだとか、色々な説明がなされている。「モナド チュートリアル」で検索すれば、他にも色々に絵解きされた有象無象のモナドが大量に引っ掛かる。そうそう、モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも？なんてのもあったな。 この記事の目的は別に、こうした既存のモナドチュートリアルを「間違ってる！」とか「わかるわけねーよ！」といって貶そうという訳ではない。実際、既に幾多書かれているチュートリアルの中でも、僕の云いたいことと殆んど同じようなことが書かれているものは沢山ある。 では、上の膨大なリストの末尾にまた一つ「わかりやすい比喩」を付け足そうというのか？というとそういう訳でもない。そうそう、モナドは比喩ではないというチュートリアル
モナドが解らない人へ、図解で絶対わかるモナドのしくみ - セカイノカタチ
前置き みなさん、モナドって、わかりにくいですよね。 なので、図解することで解りやすく説明できるんじゃないかと、何回かモナドの図解を試みてきたのですが、むしろ複雑さが強調されてしまい残念な感じになってしまいました。 過去の図解 モナドってなんだよ!?全然わからないんで分解して図解してみた(´・ω・`) モナドの分解ふたたび ただ、以前よりモナドを表すメタファのイメージがあって、レゴブロックを組み合わせるようなカタチに例えてうまく説明できるんじゃないか。という予感がしていました。 そして、去年の年末ぐらいに、ついにそのカタチの具体的なアイディアを閃きました。 モナドを解りやすく図解する方法思い付いてるんだけど、絵心が足りなくて表現できない。モナドちゃんとかそう言うことではなく(´・ω・｀) 2013-01-18 05:05:22 via ついっぷる for Android 今日、この記事を書
Life with Cygwin
沖ソフトウェア株式会社は、沖通信システム株式会社および株式会社沖インフォテックと平成22年10月1日をもって合併いたしました。新会社名は、株式会社OKIソフトウェアとなります。3社が行っております事業は新会社にて従来通り継続いたします。
今からでも遅くない これから始めるScala（前編）
なぜ、いまScalaなのか？ TwitterがScalaを利用しているのは有名ですが、他にも位置情報を利用したfoursquareはScalaで構築されたLiftというWebフレームワークを利用していますし、GTDツールとして有名なRemember The MilkもScalaの利用を検討しているようです。 Scalaは、Java Virtual Machine（以下JVM）上で動くオブジェクト指向＋関数型言語です。簡潔で柔軟な記述が可能であり、マルチコアを意識したライブラリがあり、JVMでのスケールメリットを享受できることが、これらの企業で採用に踏み切った理由であると考えられます。 Scalaは、非常にバランスの取れたプログラミング言語です。本連載では、Scalaの基本的な文法を解説しながら、オブジェクト指向と関数型言語を組み合わせたプログラミングスタイルについて、解説したいと思います。
RubyからScalaに乗り換えた15くらいの理由 - ヽ( ・∀・)ノくまくまー(2010-04-26)
● [Scala] RubyからScalaに乗り換えた15くらいの理由 [注意] この文章を読むと、既存のRubyコードをScalaでrewriteしたくなる、 Rubyコードで型チェックをやるのが鬱になる、Ruby案件でやる気が出なくなる、 などの幻覚や異常行動が報告されています。 現在関わっているプロジェクトや家族のことを常に意識し、 気を強く持って冷静に読むとよいでしょう。 「Scalaプログラミング入門」を読みはじめて、いきなり大きく頷いてしまった。 "コーディング時間の半分をテスト作成に費やさなければならなかった"(p.3) "Railsによって得られた生産性の向上は、テスト作成の作業に失われてしまいました"(p.3) まさにここ数年私が抱いてた漠然としたストレスの正体が、的確に文章となっていたからだ。そしてほどなく、「あ、この機能がRubyに欲しかった！」という驚きと共に Sc
Scala的な考え方 - Scalaがとっつきにくいと思っている人へ - ( ꒪⌓꒪) ゆるよろ日記
Javaな人から見ると、「Scalaって難しい」ってイメージがありますね。俺も最初はそう思ってました。今もですけど。 で、考えてみたんですが、何が難しいって考え方・イディオムになじみがないのが原因かと思ったんです。 ここでは、俺が今までScalaをやってきて得た考え方を紹介します。「Scalaをちょっとやってみたんだけど、とっつきにくくて…」と思われている方は、ぜひご一読ください。 参考資料: Scala入門 - Scalaで書きはじめたJava使い向け - Scala勉強会＠東北 Dropbox - 404 神は言われた。「リストあれ。」 Lisperは、リストをどう作るかをまず考えるらしいです。適切なリストが出来たら、プログラムはもうできたも同然だと。同じ考え方は、Scalaでも通用すると思います。 大まかに、こんな流れで考えてます。(リストは最初から与えられることもあるでしょう) 「
『やさしいScala入門 平明な例と演習問題で学ぶ』の感想というかダメだし - kmizuの日記
発売日は2/22だが、秋葉原の書泉で先行販売？されてたので、購入した。この本の著者がこれまでに書いた本の評判がよろしく無いらしいことは、Twitterで事前に情報を入手していたから知っていたので、内容のひどさについてはある程度覚悟していたが、こりゃダメだ。何がダメって、細かい間違いがいくつもあるとかそれどころではなく、全体的にダメだ。以下、どのようにダメなのかについて、簡単に説明してみる。 関数型プログラミングについてほとんど触れられていない 「はじめに」には、次のようにある： (snip) オブジェクト指向と関数型プログラミングの両方を利用できるということは、Scalaをマスターするためには両方の概念と用語、そして、それらを結合する新しい概念とその用語を学ぶ必要があるということです。しかし、本書では「Hello,Scala」を出力するための単純なプログラムからはじめて徐々に高度な内容にな
Scala変態技法最速マスター - kmizuの日記
Java変態文法最速マスターなんてのがかなりブクマされてるみたいだが、変態さならJavaなんてScalaの足元にも及ばないぜ！！ということで、Scala版を書いてみました。しかし、実はあまり変態ではないかもしれません。元ネタと違って、これを読めば何かがわかる、という意味の実用性はあまり無いでしょう。 implicit conversion編 基本 Scalaのimplicit conversionは使いようによってはScalaの強力な型システムを台無しにしてしまう力を持っています。たとえば、 implicit def string2int(x: String): Int = Integer.parseInt(x) というimplicit conversionを定義してやると、"300" / 3が100になるなどというキモい挙動を実現することができます。また、さらにカスタマイズして、16進数
2009-12-07
前回のエントリー http://d.hatena.ne.jp/kya-zinc/20091205/1259999256 を考え直した。 要するに無名関数からthis(自分自身の参照)が見えればよいので applyの引数として渡してやる。 呼び出しにはもう一つの無名関数f => f(f)を使ってやる。 object AnonymousRec3 { def main(args : Array[String]) : Unit = {(f : Any => Unit) => f(f)}.apply({ g : Any => println("hoge") g.asInstanceOf[Any => Unit].apply(g) }) } ラムダで書くと(\f.f(f))(\g.g(g))。バックスラッシュはラムダと思いねえ。 ただまともな型はつけられそうにないので Anyにしておいてキャストっすか
[Scala] （Stream.constとforをつかった）あついイディオム - ryugateの日記
via @tanigon このイディオム? 熱いわ for(i <- Stream.const(()=>in.read(buf)).map(_()).takeWhile(_ != -1))... を受けて、ちょっと実験してみた。 ようは、InputStreamなどから、ある条件になるまで読み込んで何かする時のイディオム。 ただ、最初に全部読んだりはしないで、必要に応じて読んでゆく。 テスト用のソースは import java.io.{FileInputStream, BufferedInputStream, InputStreamReader, BufferedReader} import scala.io.Source def test1(filename:String) { val in = new BufferedInputStream( new FileInputStream(fi
![[Scala] （Stream.constとforをつかった）あついイディオム - ryugateの日記](https://cdn-ak-scissors.b.st-hatena.com/image/square/9fee4849ec20d477c9d0c84a3242af5ca66e193d/height=288;version=1;width=512/https%3A%2F%2Fogimage.blog.st-hatena.com%2F17680117127050670098%2F17680117127050689152%2F1555604057)
Javaの限界を超えて実用化を目指す 新開発言語「Scala」のメリットとは～前編
Scalaとは Scalaは、2003年にJavac（コンパイラ）やJavaのGenericsの設計／開発貢献者であるMartin Odersky氏（スイス・ローザンヌ工科大学教授）によって、開発が開始された比較的新しいプログラミング言語です。Javaは実用言語として幅広いシステムで使用されてきましたが、下位互換性を保つという要請の中、言語としての機能強化がなかなか進まないといった限界も見えてきています。そのような現状もあることから、ScalaはJavaの後継として実用的な言語を目指して開発されています。 Scala最大の特徴は、Javaの良さを最大限継承しつつ、スクリプト言語や関数型言語の良いところも吸収し、先進的な機能／文法を取り入れている点です。また、今後のハードウェアのマルチコア化を見据え、簡易に並列処理プログラミングを行うことができるライブラリが付属しています。 Scalaのメリ
第14回 関数脳のつくり方 Second Season ～モナドで悟りをひらく～
大手SIベンダにてSEやPMやアーキテクトとして勤務したのち，株式会社豆蔵を経て，現在は合同会社シンプルアーキテクト代表社員であり，株式会社匠Business Placeのチーフコンサルタント。主に超上流のプロセスである要求開発やオブジェクト指向，アジャイル開発のコンサルタントとして活躍中。開発の現場にこだわり，開発の現場を少しでもよくしたいと日夜奮闘している。要求開発アライアンス執行委員。著書に『オブジェクト脳のつくり方』や『eXtreme Programming実践レポート』（ともに翔泳社発行。後者は共著）などがある。 Javaなど，オブジェクト指向や手続き型のプログラミングの経験はあるけれど，関数型のプログラミングは初めてという皆様のための，そして筆者自身のための「関数脳のつくり方」シリーズのSecond Season（First Seasonはこちら）。今回は「モナド」を取り上げま
Step by Step Scala [vol.01]@scala-be に参加してきた - YAMAGUCHI::weblog
Step by Step Scala [vol.01]@scala-be : ATND 最近Scala始めたのでどんなもんかと思って参加してきた。たまたまid:takabowも一緒に参加することになってたのがちょっと驚いた。で、内容自体はいわゆるコップ本を参考にしつつ基本は独自の資料を使いながら講義形式で進めるという感じでした。 自分が思う勉強会とは若干趣が違って研修に紛れ込んだような感じでしたが、S-99の存在とかを知れたんで実りはありました。 参加して感じたことは下記の二点。 関数型の考え方は手続き型にどっぷりの人間にはなじみにくい コップ本って言われてるほど良書か？ これから隔週で開催されるようですが、平日ですしちょっと厳しいかもしれません。まあコップ本自分で読んだり、がんがんコード書いた方が早そうですね。
![Step by Step Scala [vol.01]@scala-be に参加してきた - YAMAGUCHI::weblog](https://cdn-ak-scissors.b.st-hatena.com/image/square/bec315df57913e0b9289747b457e117a0fcb9adf/height=288;version=1;width=512/https%3A%2F%2Fogimage.blog.st-hatena.com%2F13208692334729888336%2F12704591929887083696%2F1341984690)
Step by Step Scala [vol.01]@scala-be - yukichanko's diary
豆蔵さん主催の勉強会Step by Step Scala [vol.01]@scala-beに行ってきました。 台風のさなかだったけど、20名強集まってましたね。今回はイントロダクションと言う感じだったけど、一部Deepな話題にも入っていったようです*1。 さて、Scala。僕はJavaは教養程度しか知らないし、生粋のプログラマでも無いのだけど、オブジェクト指向と関数型と言うのがどのように組み合わさっているのかが非常に気になる。僕の認識では、両者は明らかに概念が異なるもの。一方は、Mutableなものを使って現象を表現し、もう一方はImmutableなものを用いて、写像によって、現象を表現する。 この二つがどのように絡み合って、一つの文化を創って行こうとしているのか、その辺が気になる。 この勉強会は隔週の水曜日に行われる予定。id:tannzも言ってたけど、非常にSICP-Liteに優しい
![Step by Step Scala [vol.01]@scala-be - yukichanko's diary](https://cdn-ak-scissors.b.st-hatena.com/image/square/f1098b54e7ab78c68051b0b1d855c40079713329/height=288;version=1;width=512/https%3A%2F%2Fogimage.blog.st-hatena.com%2F12921228815713700932%2F12921228815713701364%2F1386026508)
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - shekhargulati/99-problems: This is an adaptation of the Ninety-Nine Prolog Problems written by Werner Hett.
Javaの限界を超えて実用化を目指す 新開発言語「Scala」のメリットとは～補足編
標準入力をリストみたいに扱う - NetPenguinの日記
