The document discusses four approaches to implementing higher-kinded types in the Dotty compiler: the simple encoding, projection encoding, refinement encoding, and direct representation. It describes each approach and its limitations. The simple encoding provides a modest way to support basic higher-kinded concepts but has difficulty explaining legality. The projection and refinement encodings ha
Recursion is an essential part of functional programming. But if each call allocates a stack frame, then too much recursion will overflow the stack. Most functional programming languages solve this problem by eliminating stack frames through a process called tail-call optimisation. Unfortunately for Scala programmers, the JVM doesn’t perform this optimisation. Here’s a picture of a Scala program a
Functional dependencies are a near-standard extension to Haskell (present in GHC and elsewhere) which allow constraints on the type parameters of type classes to be expressed and then enforced by the compiler. They allow the programmer to state that some of the type parameters of a multi-parameter type class are completely determined by the others. One particularly common application of this is al
ScalaでMMOのサーバを書くための技術
この記事は、Play or Scala Advent Calendar 2012の25日めです。 Looking back 2012 2012年は、 Playのドキュメント翻訳 Scala、Playのビギナー向けの発表 会社の業務でもScalaが使えるようになった など、個人的にはPlayとScalaが身近な世界で躍進した年でした。そんな年にアドベントカレンダーの最終日を担当するというのは、何か感慨深いものがあります！ 最近はPlayやScalaが実践で使われ始めた影響か、バイナリ互換性やビルドツール、習得面などの実践的な課題が色々と話題になっています。課題に対しては来年移行も粛々と対応をしていき、Scalaの今後の発展に寄与していきたいと思います さて、本題に入ります。先日、AkkaでMMOのサーバ（ほんの小さなものですが）を書きました。その時に使ったScala関連の技術をいくつかご紹介
このエントリはScalaアドベントカレンダーの3日目です。昨日は Kuchitama さんのScalaがつないでくれた縁-NetflixMeetup Kyoto 開催後記- でした。 前おき この記事は、タイトル通りFreeモナドとCoyonedaを扱うものの、あまりそれらの直接的な話やモナモナした話ではなく、そこに至るまでの実装のあれこれを『Scalaのプログラミングとして』手探りで追ってみよう、というものです。 その過程で、特に型引数(型変数)や高階型や、それらが継承時にどう扱えるかというあたりのScalaの基本にたっぷり触れます。 なので、Freeモナドに興味がない方でも 型引数で A とか F[_] とか出てくると、まだちょっとこわい Scalaでいざプログラミングすると型が合わずつまづく事が多い という方にも、役に立つ部分があると思うので参考にぜひ読んでみてもらいたいです。 もち
http://www.manning.com/bjarnason https://github.com/pchiusano/fpinscala 一年ちょっと前にblog書きましたが Scalaz の作者の人達が書いた "Functional Programming in Scala" という本がでるらしい 14章のぞいてほぼ完成したので、感想書きます。MEAP v9の時点です。ちょっと長いですよ。 まず、全体を通していえるのが、Scalaの本ではなくあくまで関数型プログラミングの本だということです。それは本文の最初の方にも書いてあります。 この本だけ読んでも、Scala自体にはあまり詳しくなりません。Scala自体については、必要最低限の文法だけを随時説明してます。 逆に、(英語が読めるなら)Scalaの知識がほぼゼロだとしても、大体読めるのではないかと思います。 また、Scalazの本で
Monad Transformers in Scala
A programmer's blog - will deal with everything that relates to a programmer. Occasionally, it will contain some humour, some politics and some sport news. Monads don't compose .. and hence Monad Transformers. A monad transformer maps monads to monads. It lets you transform a monad with additional computational effects. Stated simply, if you have a monadic computation in place you can enrich it in
t_yano @t_yano Scalaについてはtraitとか構造型についていろいろ聞いてみたいことがあるんだけどとても140文字では表せないな…。まあ、スタイルというか定石とかがどうなってるのか知りたい系の話だけど。 2011-10-24 01:31:09 t_yano @t_yano なんか実装継承するケースばかりを見かけるのたけど、型を定義するためにtraitを使うとか、すべてのクラスはなんらかのtraitを型として持つべきだ派とか、あるいは逆に、すべての引数は理由がない限り構造的部分型にすべき派とか、そういう話はないんだろうか的な疑問。 2011-10-24 01:34:22 t_yano @t_yano あるいはあるクラスを受け取ると定義されている関数に、その型ではないけど事実上その方として振る舞える別の型のオブジェクトを、なんらかの方法で渡すことが可能なので、関数インタフェー
言語も伽藍とバザールのように成長する--Steele "Growing a language" 1999 トレイト=インターフェイスに似ているがメソッド実装やフィールドを持つ、ミックスイン合成出来る JavaのStringにtoIntがないことに気づいたときに、暗黙の型変換を参照してRichStringに変換し、そのtoIntを呼ぶ アラン・ケイ「私は型に反対しているわけではない。『完全な苦痛』にはならないような型システムを見たことがないので動的な片付けを支持しているのである」2003 Dr. Alan Kay on the Meaning of "Object-Oriented Programming" ダイクストラ「テストが証明できるのはエラーの存在であって、エラーの不在ではない」 1970 http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD2
Type safe mongodb with Scala #montotokyo 1. Type-safe MongoDB in Scala - 静的型付け言語とMongoDBの付き合い方 -Fungoing LLC / Satoshi MiyauchiTwitter : @bibrost 2. Profile 宮内 聖 / Satoshi Miyauchi @bibrost フゔンゴーング合同会社代表 兼 株式会社監査と分析 システム開発担当 Webデザン、映像編集、Webサービスの開発など・・・いろいろ 引きこもりフリーランス生活 Scala＋Lift＋MongoDBの組み合わせを昨年11月より利用中。 自社サービス１つ、クラゕントワーク１つでScala+MongoDBを利用。 Page : 1 3. Case Example 勝間和代氏の提供する有料コンテンツ会員向けコミュニテ
オライリージャパン様より献本頂きました。読了したので、感想など書いてみたいと思います。 プログラミングScalaposted with amazlet at 11.02.19Dean Wampler Alex Payne オライリージャパン 売り上げランキング: 69951 Amazon.co.jp で詳細を見る The Python Paradox is now the Scala Paradox なんですが、本の紹介に入る前に、とある記事の紹介をしたいと思います。 The Python Paradox is now the Scala Paradox — Martin Kleppmann‘s blog In his 2004 short essay The Python Paradox, PG argues (perhaps controversially) that a compan
前書き Scalaという言語をご存知ですか？ Javaと同じくコンパイルされるとclassファイルになり、実行時はJVM上で動作する、オブジェクト指向＋関数型のプログラミング言語です。 Scalaを開発したのはJavaのgenericsの設計を手がけたり、javacの開発をしていた経歴も持つMartin Odersky氏。 Scalaは後発の言語ということもあって、Javaを書いている時に感じる冗長さに対する様々な解が用意されています。 本記事では、ScalaとJavaのコードを比較しながら、JavaユーザがScalaに移った際に得られるメリットを提示していきます。 尚、序盤のサンプルコードはJavaユーザに伝わりやすいように、returnを明記したり、メソッドは必ず{ }で囲むなど、極力Javaっぽい記述をしています。 だいたいJavaと同じような書き方ができます ScalaはJavaの
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Fungoing Labs: Lift用Scala DSL"Rogue"を使ってMongoDBにアクセス（１）～概要編～
