mnruのブックマーク / 2012年9月21日 - はてなブックマーク

mnru id:mnru

2012年9月21日のブックマーク (7件)

7.13. 型システムへのその他の拡張
Haskellの型シグネチャは暗黙に量化される。言語オプション-XExplicitForAllが使われている場合、これが正確にどういう意味なのかをforallキーワードを使って言うことができる。例えば、 g :: b -> b は、次のものを意味している。 g :: forall b. (b -> b) この二つは同じものとして扱われる。もちろん、forallはキーワードになる。型変数としてforallを使うことはもはやできないのである。 -XFlexibleContextsフラグを使うと、型シグネチャ中の型クラス制約が(class type-variable)または(class (type-variable type1 type2 ... typen))という形でなければならないという、Haskell 98の制限を撤廃する。-XFlexibleContextsが有効な場合、以下のような
mnru 2012/09/21
type

haskell
リンク
[groovy][android] groovy in Android SDK - uehaj's blog
Android SDKをインストールしてたら、groovy-all-1.7.0.jarを入れてるという表示が。たしかにlibの下にある。とTwitterでつぶやいたら、 @kimukou_26さんが発表されていたと教えてもらった。 http://www.slideshare.net/kimukou/layout-analyzergroovy レイアウトのチェックツールがGroovyで書かれてるんですね。資料を見ると、android-scriptingというのもあって、ただGroovyはターゲットではないらしい。参考になる。参考: Groovy on android by discobot
mnru 2012/09/21
android

groovy
リンク
JavaOneTokyoでGroovy+AndroidのLTしてきました。 #JavaOneJP - うさぎ組
JVM言語BoF Scala, JRuby, Groovyの3つの言語対決というテーマで2時間様々なセッションがおこなわれました。 LTによんでくださったJGGUGさんありがとうございます！ざっくりとした感想はつぎのかんじです。 Scala：静的できれいなコードがかける。短いコードになる。 Groovy：機能が豊富であり、Javaとの親和性もたかい。ビルドツールとしてもよい。 JRuby：Ruby自体のきれいさがある。CRubyのみの知識では難しいらしい。ベンチマーク結果： Java Groovy++(Groovy++というライブラリを使用) Scala(mutable実装) JRuby Scala(Immutable実装) Groovy 当日の予定としては次のような内容を話すつもりでした。「RSpec」「Specs2」はUnitTestよりもIntegrationTest向きです。
mnru 2012/09/21
groovy

android
リンク
ブラウザベースのコードエディタ「ACE 1.0」がリリース | OSDN Magazine
9月17日、JavaScriptで実装されWebブラウザ上で動作するコードエディタ「ACE 1.0」がリリースされた。開発のスタートから2年半を経ての正式版リリースとなり、ライセンスもMozillaのトリプルライセンス（MPL/LGPL/GPL）から修正BSDライセンスに変更されている。 ACEはJavaScriptで実装された、Webブラウザ上で動作するコードエディタ。「Sublime」や「Vim」、「TextMate」といったテキストエディタと同様の機能やパフォーマンスを持つという。単体で利用するだけでなく、ほかのWebページなどに埋め込むことも可能。当初はMozilla Labsで「Skywriter」（旧名称「Bespin」）というプロジェクトとして生まれたが、現在はWebブラウザ上で動作する統合開発環境「Cloud9 IDE」の主要コンポーネントとして、Cloud9 IDEおよび
mnru 2012/09/21
editor
リンク
http://collegegfx.com/18-useful-web-based-code-editors-for-developers/
mnru 2012/09/21
editor
リンク
Scalaとの比較 - ことりん - Programming Language Kotlin -
少なくともJavaと同じくらい速くコンパイルする。使いやすい表現力を維持することで、最大の競合相手であるScalaよりシンプルにする。 ScalaにあってKotlinにないもの暗黙の型変換、暗黙の引数など Scalaでは、暗黙的な処理があまりにも多く潜んでいるので、デバッガ無しではコードの振る舞いが非常に理解しにくいことがあります。 Kotlinでは拡張関数を利用して型を強化できます。オーバーライド可能な型メンバパス依存型存在型（Existential types）型投影は存在型の非常に特殊なケースです。 traitの初期化のための複雑なロジック詳しくはクラスと継承を参照してください。カスタムシンボル演算子詳しくは、演算子のオーバーロードを参照してください。ビルトインXML 詳しくは型安全なGroovy風のビルダーを参照してください。型消去詳しくはこちらです。 Ko
mnru 2012/09/21
kotlin
リンク
Windows 7 無線ワイファイ(Wi-Fi)アクセスポイント
Windows7内蔵無線でiPadやiPodをインターネット接続 Windows7主にノートパソコンに標準内蔵されている無線LAN（ワイヤレスネットワーク）を使いソフトウェアアクセスポイント動作させてiPod（iOS製品スマートフォンやタブレット）、それにAndroidスマートフォンやタブレットをインターネットに接続できるようにする手順の説明です。備考下位OSの場合はこちらWindows XP VISTA USB無線LANアクセスポイント設定を参照備考：IPアドレスを取得出来ない問題が多発しています。PS3やiPodやiPadもしくはAndroidをこちらの手順でワイファイ接続させる場合は、アクセスポイントとなるワイヤレスネットワークアダプタのIPv6プロトコルを無効化にしてください。 Windows7に内蔵されている無線LANアダプターを使って、iPhoneそれにiPodやiPadをイ
mnru 2012/09/21
リンク
- 2012年9月24日
- 2012年9月21日
- 2012年9月20日