F# Advent Calendar 2017の4日目の記事です。 NGK2017B昼の部でパーサーコンビネーターについてLTしてきたので、その内容について書きます。 ただし、内容は大幅に加筆修正しています。 PCさえあればいい。 from bleis tift 導入 世の中にはパースすべきものであふれています。 例えば、下記のようなものがあります。 ログ 設定ファイル ミニ言語(DSL) プログラミング言語 構造を持ったものはそこら中にあります。 これらを処理するためにどうすればいいでしょうか。 一つの方法として、正規表現を使うというものがあります。 しかし、(本来の)正規表現ではネストする文法などは扱えません。 拡張機能として、ネストする文法が扱えるようになっているような処理系もあります。 しかし、そもそもそんな複雑な正規表現には近寄りたくないですよね。 では、文字列操作関数を駆使して
navigation インタラクティブサービス: F# Interactiveの組み込み このチュートリアルでは、独自のアプリケーションに F# Interactiveを組み込む方法について紹介します。 F# Interactiveは対話式のスクリプティング環境で、 F#コードを高度に最適化されたILコードへとコンパイルしつつ、 それを即座に実行することができます。 F# Interactiveサービスを使用すると、独自のアプリケーションに F#の評価機能を追加できます。 注意: F# Interactiveは様々な方法で組み込むことができます。 最も簡単な方法は fsi.exe プロセスとの間で標準入出力経由でやりとりする方法です。 このチュートリアルではF# Interactiveの機能を.NET APIで 直接呼び出す方法について紹介します。 ただし入力用のコントロールを備えていない
当社は、JPX及びPTSのコロケーションに設置したサーバー上のプログラムによって、日々数千銘柄に及ぶ現物株式と金融派生商品を取引する、内国法人唯一の高速取引行為者（HST）*1です。なかでも、東京金融取引所、Cboe Japan、ODXにおいては、指定マーケットメイカー*2として継続的に売り買い両方の気配を提示することで、それらの市場の流動性と効率性を支える役割を担っています。 *1 高速取引行為者登録一覧 *2 取引所・PTSが注文執行能力と流動性供給能力の観点から指定するHFT業者。一つのベニューにつき通例5社程度が指定を受ける。 社是 高能率高賃金 K語廃止 進取果敢 社訓 【明るく】 我々は働く決意によって働く。明るさはマナーの第一でお金儲けの必須元素。 【楽しく】 睡眠とコミュニケーションは非効率のようにみえて、お金儲けの必須触媒。何より先ずはぐっすり眠ろう！ 【逞しく】 目標を
The official source of product insight from the Visual Studio Engineering Team .NETエンジニアリングチームは5月17日(米国時間)、「Releasing F# Language Documentation as Open-Source｜.NET Blog」において、プログラミング言語F#のドキュメントをオープンソースとして公開したと伝えた。ドキュメントはCreative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0)のもとで公開されている。 これまでMSDNのサイトで公開されていたドキュメントはURLからドキュメントの内容を推測することが困難だったが、今回のオープンソース化と合わせてURLの整理も実施され、URLからドキュメントの内容
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ではない
@igeta @7shi 関数型言語の本来は、演算子の多さにあるので、限定した記号の組み合わせだけでなく⊆とか∩とかを使いたいのです。 — 増田 智明 (@moonmile) 2014, 3月 12 公式ツイッターのメンション機能が「＠」から「ベルマーク」になったんだけど、こういう変更を見ると、つくづく「表意文字」のことが分かっていないなぁと思う。このあたりは日本人のほうが優位性があるんだが…という話はどこかでやりたい。 — 増田 智明 (@moonmile) 2014, 3月 12 を同時に実践しようと思って、F#のコンパイラを半日ほどいじってみました。 F# のコンパイラのソースコードは↓でダウンロードができます。 F# PowerPack with F# Compiler Source Drops – Source Code https://fsharppowerpack.codep
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#では「判別共用体」が提供されている。C／C++開発者であれば「共用体」という言葉になじみがあるだろうが、C#には共用体そのものが存在しないので、「判別共用体」という言葉だけでは、その内容をうまくイメージできない場合もあるかもしれない。そこで、簡単に補足説明しておこう。共用体とは、同じメモリ領域を複数の型が共有する構造を持つデータ型のことだ。つまり共用体では、複数の型のメンバを定義しておけば、その中の1つの型の値を代入できる。
ハワイにいる間、魔導書の書評以外にもちゃんとハワイらしいことしてきたという報告です(嘘 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# 知らない人が全然いないとかすごい勉強会でしたね。 現実(えくせる)と戦う話 from bleis tift Excel方眼紙、どうにかしたいものですね。 今回作った(作りかけ)コードは、GitHubに置いてあります。 ExcelHouganshi.TypeProvider 現実と戦うためのRealWorldsというorganizationを作ったので、「これも入れて！」というのがあれば考えます。 今のところ、みずぴーさんの作ったblockdiagcontrib-excelshapeもRealWorldsでホストしています。 飛ばしたところをちょっと補足つけて説明します。 TypeProviderのつくりかた 37枚目です。 TypeProviderは、 チュートリアル : 型プロバイダーの作成 (F#) をやれば作れるようになります。 このな
2016/07/16 1.0.9をリリースしました。 Webがブロックされないよう試行錯誤しています。とりあえずファイル構成を見直しました。 ただし逆に実行時にウィルス対策ソフトにブロックされる可能性もあります。 2016/04/05 1.0.8をリリースしました。 4/1メンテでの変更に対応しました。 2016/04/01 1.0.7をリリースしました。 配布先を変更しています。 2016/01/06 1.0.6をリリースしました。 新任務を選択するとクラッシュする問題を修正しました。 その他Windows 10でクラッシュする方はWindows Updateを実行しKB3133431をインストールしてください。 2015/12/26 1.0.5をリリースしました。 DMMトップページを開くとクラッシュする問題を修正しました。 2015/11/11 1.0.4をリリースしました（Ligh
Java 8を関数型っぽく使うためのおまじない - きしだのはてな Java 8を関数型っぽく使うためのおまじないをC#でやってみた - ぐるぐる～ Java も C# も大変ですね。 F# さんは、ラムダ式も関数型も最初から使えたので、似たようなことはすでにできます。 上記の記事のパクリなので、上記の記事をまずは読んでから読むことをおすすめします。 関数型(関数を表す型の方) F# では FSharpFunc という型があります。名前空間や型パラメータまで含めると、Microsoft.FSharp.Core.FSharpFunc<'T, 'U> です。 ただ、この型を直接使うことはありませんし、見ることもそうそうないです。 その代わりに、'T -> 'U という表記が使えます。「'T を受け取って 'U を返す関数」と読みます。 ちなみに、型パラメータの最初に「'」が付いているのが割と大
id:perlcodesample さんの 変数に型がないということの利点について考える - サンプルコードによるPerl入門 から。 ううむ。 けれども、型がないということは、本当に素晴らしいことです。 型がないことによって、たくさんの面倒から解放されるからです。 冒頭のこれが、「静的型付き言語にはメリットが(ほとんど)ない」と言っているように思えてしまいます。 コメントのやり取りを見ても、ある程度そう考えているように受け取れます。 勘違いなどが多く見られたので、補足というか、反論というか、そんな感じのことを書きます。 追記： ごく一部、このエントリを「動的型付き言語と静的型付き言語を比べて、静的型付き言語の方が素晴らしい言語である」ということを言うためのものだと勘違いしている人を見かけました。 このエントリは、そこについては言及していません。 あくまで、元記事で「動的型付き言語のメリッ
さて始まりました、F# Advent Calendar 2012 です。 今年は、「実用」がテーマと言うことで、F# で書いたコードを C# から使いたくなった時に気を付けるべきポイントなどをまとめました。 F# と C# で異なる名前を付ける F# では、module に定義する関数や変数の名前は、lowerCamel で付けるのが一般的です (List.map など)。 しかし .NET の世界では、これらの名前は基本的に PascalCase で付けることになっています。 CompiledName 属性を使うことで、この差を埋め、F# からは lowerCamel に、C# からは PascalCase に見える名前を付けることができるようになります。 (* F# *) module Util = [<CompiledName "ToStr">] let toStr x = spri
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く