VS Pro相当が無償化されたことだし、F#をやろう！ - ぐるぐる～
Pro相当のVisual Studioが無償になった！ とのことらしいですよ！ F#*1も入っており、拡張機能も使えるようです。 ということは、素敵拡張機能であるVFPTが使えるということですよ！ もし今回のことでF#を始めるという方は、是非VFPTを導入した環境でF#を触ることをお勧めします。 そして、ついでにF# Advent Calendar 2014に参加してみるというのもいいでしょう。 みんなでF#やりましょう！ F#！F#！ 追記: オープンソース開発してVisual Studio Community 2013を使おう！ Visual Studio Community 2013 - Visual Studio *1:Fortranではない
オレオレF#コンパイラを作って集合論の記号（∩とか∪とか）の演算子が使えるようにする | Moonmile Solutions Blog
@igeta @7shi 関数型言語の本来は、演算子の多さにあるので、限定した記号の組み合わせだけでなく⊆とか∩とかを使いたいのです。 — 増田 智明 (@moonmile) 2014, 3月 12 公式ツイッターのメンション機能が「＠」から「ベルマーク」になったんだけど、こういう変更を見ると、つくづく「表意文字」のことが分かっていないなぁと思う。このあたりは日本人のほうが優位性があるんだが…という話はどこかでやりたい。 — 増田 智明 (@moonmile) 2014, 3月 12 を同時に実践しようと思って、F#のコンパイラを半日ほどいじってみました。 F# のコンパイラのソースコードは↓でダウンロードができます。 F# PowerPack with F# Compiler Source Drops – Source Code https://fsharppowerpack.codep
2013-11-06
emacs に F# モードがあったのでメモ。 M-x package-install fsharp-mode init.el に以下を追加。 README は ココ にある。 %SystemRoo%\Microsoft.NET\Framework\v4.0.30319 は使用している .NET Framework の msbuild.exe の場所に変更すること。 ;; README では inferior-fsharp-program, fsharp-compiler を setq するよ ;; うにガイドされているが、そのように設定しても動作しない. PATH を通す ;; と、fsi, fsc, msbuild を自動認識する. ;; https://github.com/fsharp/fsharpbinding/issues/136 (mapc (lambda (path) (a
詳説コンピュテーション式 - ぐるぐる～
コンピュテーション式とは コンピュテーション式とは、機能を制限したマクロです。 ・・・では投げやりすぎるので、もうちょっとだけ説明を試みると、 「式変形によって言語の用意する構文の意味をカスタマイズできるようにする仕組み」です。 モナド用の構文として紹介されることもありますが、それはコンピュテーション式という仕組みの上でモナドを扱っているだけに過ぎません。 もっとも、コンピュテーション式はモナド用の構文として使うことが一番多いでしょうから、 モナド用の構文と理解しても問題はないでしょう。 また、このような状況を考えると、モナド以外のことにコンピュテーション式を使う場合は、 現状では「これはモナドではありません」という表明をドキュメントなりなんなりでしておくのが無難でしょう。 特に、let!とreturnを提供する場合でコンピュテーション式をモナドではない構文とする場合は、 うるさいくらいそ
F#言語の基礎文法（2/2） - ＠IT
* F#では「判別共用体」が提供されている。C／C++開発者であれば「共用体」という言葉になじみがあるだろうが、C#には共用体そのものが存在しないので、「判別共用体」という言葉だけでは、その内容をうまくイメージできない場合もあるかもしれない。そこで、簡単に補足説明しておこう。共用体とは、同じメモリ領域を複数の型が共有する構造を持つデータ型のことだ。つまり共用体では、複数の型のメンバを定義しておけば、その中の1つの型の値を代入できる。
Type Provider によるコンパイル時プログラミング - ぐるぐる～
ハワイにいる間、魔導書の書評以外にもちゃんとハワイらしいことしてきたという報告です(嘘 F# 3.0 で使えるようになる予定の Type Provider ですが、これをさっそく使ってみました。 今回のプログラムは Visual Studio 11 Developer Preview を使用していますので、実際に動かしてみたい人はインストールしてください。 Type Provider って？ まず、Type Provider って何なのよ、ということについてです。 Type Provider というのは、 コンパイル時に(プリプロセスとかではない・・・と思う) コード生成に頼らずに 型を生成する仕組み のことだと理解しています。 F# 3.0 Information Rich Programming(PDF) を見る限りの TypeProvider の一番の目的は、「コード生成によらない型
なごやまつりでF# Type Providerについて(?)話してきた - ぐるぐる～
してきました。 あれだけの人数が集まって、F# 知らない人が全然いないとかすごい勉強会でしたね。 現実(えくせる)と戦う話 from bleis tift Excel方眼紙、どうにかしたいものですね。 今回作った(作りかけ)コードは、GitHubに置いてあります。 ExcelHouganshi.TypeProvider 現実と戦うためのRealWorldsというorganizationを作ったので、「これも入れて！」というのがあれば考えます。 今のところ、みずぴーさんの作ったblockdiagcontrib-excelshapeもRealWorldsでホストしています。 飛ばしたところをちょっと補足つけて説明します。 TypeProviderのつくりかた 37枚目です。 TypeProviderは、 チュートリアル : 型プロバイダーの作成 (F#) をやれば作れるようになります。 このな
「変数に型がないということの利点について考える」の問題について考える - ぐるぐる～
id:perlcodesample さんの 変数に型がないということの利点について考える - サンプルコードによるPerl入門 から。 ううむ。 けれども、型がないということは、本当に素晴らしいことです。 型がないことによって、たくさんの面倒から解放されるからです。 冒頭のこれが、「静的型付き言語にはメリットが(ほとんど)ない」と言っているように思えてしまいます。 コメントのやり取りを見ても、ある程度そう考えているように受け取れます。 勘違いなどが多く見られたので、補足というか、反論というか、そんな感じのことを書きます。 追記： ごく一部、このエントリを「動的型付き言語と静的型付き言語を比べて、静的型付き言語の方が素晴らしい言語である」ということを言うためのものだと勘違いしている人を見かけました。 このエントリは、そこについては言及していません。 あくまで、元記事で「動的型付き言語のメリッ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
2012/08/26 Java基礎勉強会 at 名古屋 資料
F#入門 ～関数プログラミングとは何か～
Bitbucket | Git solution for teams using Jira
Async in C# and F#: Asynchronous gotchas in C# (Japanese translation)