CodeZine編集部では、現場で活躍するデベロッパーをスターにするためのカンファレンス「Developers Summit」や、エンジニアの生きざまをブーストするためのイベント「Developers Boost」など、さまざまなカンファレンスを企画・運営しています。
,. -‐'''''""¨¨¨ヽ (.___,,,... -ァァフ| あ…ありのまま 今 起こった事を話すぜ! |i i| }! }} //| |l、{ j} /,,ィ//| 『F#でIOモナドっぽい何かを作ろうとしていたら、 i|:!ヾ、_ノ/ u {:}//ヘ いつのまにか、全然別モノのLazyモナドをつくっていた。』 |リ u' } ,ノ _,!V,ハ | /´fト、_{ル{,ィ'eラ , タ人 な… 何を言ってるのか わからねーと思うが /' ヾ|宀| {´,)⌒`/ |<ヽトiゝ おれも 何をされたのか わからなかった… ,゙ / )ヽ iLレ u' | | ヾlトハ〉 |/_/ ハ !ニ⊇ '/:} V:::::ヽ 頭がどうにかなりそうだった… // 二二二7'T''
F#(エフ シャープ)はマイクロソフトが開発した.NET向けのマルチパラダイムプログラミング言語である。Visual Studio 2010より標準開発言語として追加された。 概要[編集] 2002年からマイクロソフトリサーチのドン・サイム(英語版) (英: Don Syme) ら [2] によってOCamlをベースに開発が始められた。 OCamlから多くの要素を引き継いだ関数型とオブジェクト指向のマルチパラダイムである[3]。型安全であり[3]、型推論の機能をもつ[4]。ただし、オーバーロードをサポートしているため、OCamlのもつ型推論の完全性を失っている。C#やVisual Basic .NETなどの.NET言語と相互運用性があり[5]、.NETクラスライブラリの利用・開発が可能であり[6]、MonoおよびXamarinを利用したAndroidアプリケーション開発もサポートされている
TL;DR アドホック多相は型クラスじゃなくても実現できる。 Haskell, Rust, Scalaでは後付けで拡張できるけど、それはアドホック多相の本質ではない。 アドホック多相(Ad hoc polymorphism) ウィキペディアは辞書ではないのはわかっていますが、それでも 英語版WikipediaのAd hoc polymorphismのページを参考に挙げておきます。 ざっくりまとめると 型階層上は関連性のない複数の型の引数に適用できる、多相的な関数 引数の型に応じて、個別の(アドホックな)実装にディスパッチされる と、それだけのこと。 「引数の型によって別の実装にディスパッチされるって、それメソッドのオーバーロードと何が違うの」ってことなんですけど、特に違いはありません。同じです。とはいえ、プログラミング言語によって、実現方法や使い勝手は違います。そのあたりのことを、いくつか
はじめに このWebサイトはプログラミング言語F#(えふしゃーぷ)に関する入門サイトです。 このサイトは、プログラミングが初めての人でも読めることを目指して 出来るだけ背景知識を仮定しない内容を目指しています。 ただ、管理人は専門家ではないため、ある程度プログラミング経験がある方は 本サイトを見るよりもMSDNのMicrosoftのF#ドキュメントからたどれる情報などを 参考にしてください。 本サイトの内容はF#のバージョン6.0に準拠しています。 本サイトでの表記、シンタックス シンタックスとは構文のことで、コードを書く際のルールのことです。 F#には、 軽量構文、lightシンタックス(Lightweight Syntax)と 冗語構文(Normal Syntax)の二種類があります。 参考。こちらには両方の構文の違いがまとめられています。 軽量構文はF#のデフォルトです。 以前本サイ
F#をはじめてみたい人向け、2015年初頭現在の言語関連情報への参照をまとめてみます。 おおむね日本語です。 オンラインドキュメント F# 言語リファレンス 困ったときのMS公式。よく参照しています。 いきなり全部読もうとするとかなりヘビーなので、他の記事や書籍と合わせて徐々に読むのもいいと思います。 F# コア ライブラリ リファレンス Microsoft.FSharp.Collections名前空間以下、Array/List/Seqあたりはよく使う割にすぐ忘れるので、特に参照します。 入門系Webサイト・記事 F#で初めての関数型プログラミング - @IT bleisさんによる2012年の記事です。 F#の特徴を掴むにはちょうどよく、分量もさほど多くないので、ひとまず一通り眺めておくと良いと思います。 F#入門 よくまとまっている入門サイトです。 多少情報が古いところもありますが、現在
F# empowers everyone to write succinct, robust and performant code F# gives you simplicity and succinctness like Python with correctness, robustness and performance beyond C# or Java.
米Microsoftは11月4日、関数型言語「F#」をオープンソースにしたことを発表した。「F# PowerPack」プロジェクトページにてコンパイラやコアライブラリが入手できる。 F#は.NET向けの関数型プログラミング言語。Ocaml(Objective Caml)と互換性を持ち、すでにVisual Studioへの統合も行われている。 これまでF#は「Microsoft Research Shared Source Licence Agreement」ライセンスを採用しており、バイナリは専用サイトのfsharp.netにて無料でダウンロードできた。今回、2010年4月にリリースしたバージョン2.0のコンパイラとコアライブラリをApache License 2.0の下で公開する。同時に、F#のライブラリとツールを集めたF# PowerPackのライセンスも、Apache License
Microsoftが開発中の新言語「F#」の名前は、関数型プログラミング(Functional Programming)の頭文字「F」を取ったものだ。 F#(「Fシャープ」と読む)はMicrosoft Researchで生まれた関数型言語であり、同社では並列処理に取り組む開発者や、金融、科学技術、学術などの分野の開発者をターゲットとしてこれを製品化する予定だ。 10月にカナダのモントリオールで開催された「Object-Oriented Programming, Systems, Languages and Applications 2007」カンファレンスにおいて、Microsoftの言語部門の指導者であるジム・ハグニン氏、アンダース・ヘイルスバーグ氏およびエリック・メイジャー氏は、モントリオールに来る前に英国のケンブリッジに立ち寄り、F#プロジェクトの責任者を務めるMicrosoftの研
For managing a business systematically, one needs a proper system for managing everything. Saying this, that it can be managed manually is not right. As the workload, these days have increased a lot and it is not possible for one to manage everything especially the documentation manually. Be it the inventory management or the accounts management, there is a need of the ERP software for all. To kno
ま、F#が最高だって言いたいだけだけなんだけどね。 静的型付け言語 Pascal 昔はC言語なんて高くて買えなかったんだよ。 子供がお小遣いを貯めて買えるコンパイラーはTurboPascalしかなかった。 Pascalは文の区切りが ; とか . 場所によって変わるんだけども、Erlangもこんな感じだね。 昔のMacはPascalでプログラムを書いたんだゼェ。InsideMacはPascalで解説してあったんだゼェ。 C 高級なアセンブラ C++ 俺はboostを使い始める前にC++は使わなくなったので最近のことはわからん。 C++はstlとかスマートポインタを使うとメモリー管理とかをほとんど気にせず使えるようになる。 それでも常に死と隣り合わせの緊張感あるプログラミング。 よほどパフォーマンスが必要な物を書く時以外はもう触らないね。 Java すごく保守的な静的型付け言語。未だにlam
発表資料は slideshare にあげました。暇ができたらもうちょっと補足とか書きたいですね (書かないフラグ)。 ページ数は 273 ページと、ありえない枚数ですけど、内容としては 90 ページもないはず! C#(VB)プログラマのためのF#入門View more presentations from bleis tift. 発表終了時間を 10 分勘違いしていて、かなり早めに終わってしまった・・・ 発表時の Twitter の様子は デブサミ2011【17-D-7】C#(VB)プログラマのためのF#入門 bleis-tift 氏 - Togetter をどうぞ。 ・・・なんかおかしいのも混ざってますけど気にしない方向で!
2024-01-02 2023 年の振り返り 2024 年になってしまいましたが 2023 年の振り返りをしたいと思います。 プライベート 特筆すべきことはあんまりなかったです。(悲しい) 会社の人たちとマイクラしたりして遊んだり、技術書典に出したりと色々やれたのは楽しかったです。 マイクラをすると… 2023-06-04 Galaxy Tab S8 Ultraのキーボードで日本語でWeb検索が非常にしづらい 2022年の年末頃からGalaxy Tab S8 Ultraを買って使ってます。 スペックも満足でUS配列だけど純正キーボードもあり、ペンもついていてAndroidタブレットとしては非常にいい出来です。 何故か日本で売られるモデルにはSIMスロットがない点は非常に不満ですが…… #Android #Galaxy 2022-04-16 Surface Laptop Studio を買っ
F#でWPFを用いたGUIアプリ開発の場合,C#でWPFのGUIを作ってラッパーとし,F#はライブラリとしてC#側から呼び出す,というスタイルが多かったかと思われます.実際これは柔軟で易しいアプローチではありますが,それをするならばC#だけで作ってしまう,という方が多いでしょう. (私もF#とC#混ぜるぐらいならAll C#の方でいいかなと思います.) ですが,状況は変わり, Reed Copsey氏とDaniel Mohl氏の圧倒的な力により,F#のみでWPFアプリケーションを開発することが非常に簡単になりました!本記事ではそれを紹介します. 参考文献: http://bloggemdano.blogspot.jp/2014/11/evolution-of-f-empty-wpf-template.html 何を作るか? GUIでおなじみのテキストボックスとボタンを持ったアプリケーション
Do you want to understand what all the fuss about functional programming is about? This site will introduce you to F# and show you ways that F# can help in day-to-day development of mainstream commercial business software. On the way, I hope to open your mind to the joys of functional programming – it really is fun! If you have never heard of F#, it is a general purpose functional/hybrid programmi
すべての Microsoft 製品 Global Microsoft 365 Teams Copilot Windows Surface Xbox セール 法人向け サポート ソフトウェア Windows アプリ AI OneDrive Outlook Skype OneNote Microsoft Teams PC とデバイス Xbox を購入する アクセサリ VR & 複合現実 エンタメ Xbox Game Pass Ultimate Xbox Live Gold Xbox とゲーム PC ゲーム Windows ゲーム 映画とテレビ番組 法人向け Microsoft Cloud Microsoft Security Azure Dynamics 365 一般法人向け Microsoft 365 Microsoft Industry Microsoft Power Platform W
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ではない
3年前にこんな記事をあげました。 bleis-tift.hatenablog.com 3行でまとめると、 Power Assertはユニットテストのためにほしかったものではない 欲しいのは結果の差分 誰か作って! というエントリでした。 そしたら id:pocketberserker が作ってくれました! github.com PowerAssertより強そうな名前でいい感じです。 Power Assertは時代遅れ、今はMuscle Assertだ!的な話かな?— 裸のWPF/MVVMを書く男(マン) (@gab_km) 2016年6月1日 MuscleAssertの使い方 このライブラリは、PersimmonというF#用のテスティングフレームワークを拡張するライブラリとして作られています。 ただ、ざっくり概要をつかむだけであればどちらも知らなくても問題ありません。 このライブラリででき
この記事は C# Advent Calendar 2014 の 6 日目の記事です。LINQPad の基礎的な機能について解説します。 LINQPad をご存知の方はもしかしたら多いのかもしれず、あるいは少ないのかもしれませんが、このツール、LINQPad という名前ではありますが LINQ とはあまり関係ありません。名前で結構損をしてるのではないかと常々思ってしまうので、ちょっと残念な感じではあります。 もちろん LINQ のお勉強にも便利なのは間違いないのですが、お手軽な C# / F# / VB コードの実行環境として、また、.NET オブジェクトを見やすく出力することのできるツールとして、十分に便利なツールです。Visual Studio の C# Interactive もしばらく出てこなさそうですし、ちょっとしたコード パッドとしてだけでも十分有用ではないかと思います。 ですが
F#はMicrosoft発の関数型言語で、Visual Studio 2010に標準搭載されます。Visual Studio 2010 Beta 2も出たことだし、話題の?新言語を少し勉強してみることにします。F#の新規プロジェクト一覧にTutorialというのが用意されているので、これの中身を、C#と比較しながら見ていきたいと思います。追記:Microsoft Visual Studio 2010 First Look Beta 2日本語版も公開されました。 基本 ```fsharp open System let int1 = 1 let int2 = int1 + 3 ``` using System; var int1 = 1; var int2 = int1 + 3; ```</p> 名前空間の利用の設定と基本的な変数の代入方法。といったところでしょうか。そのまんまだし、別にC#
Microsoft Researchが囲碁ゲームを開発、Xbox Live Arcadeでの配信を行ったそうだ(本家/.)。この囲碁ゲーム「The Path of Go」はMicrosoft Research Cambridgeで開発された「先進的な」人工知能を搭載しているという。 また、このAIはF#で実装されているそうだ。Microsoft Researchのページにてこの研究に関するQ&Aが掲載されているが、あくまで「遊びで作ったわけではなく、研究として作った」ものらしい。価格は400マイクロソフトポイント(約600円)。
3月31日に、某社を退職することになりました。 本日が最終出社日で、来週から有給消化期間です。 忙しい人のための3行まとめ 現職は良い環境だと思う でも東京遠いから 移住する お前誰よ? 2013年11月中旬から、愛知県のとある会社で C# や F# を使った開発に携わっていました。 そういえば社会人になってから今月で丸2年。 退職理由 現職が良い環境だという感想は今でも変わりません。 ではなぜ退職という行動に至ったのかというと、「東京が遠いと感じた」ためです。 昨年のとあるタイミングからわりと東京へ足を運ぶ機会が増えました。 その際、宿探し、電車の時間調整、時間を潰す場所確保etc...がそろそろつらくなってきたな、と。 あとは 個人的に朝がつらい スーツを毎日着たい性分ではない という気持ちがないわけではなかったというやつです。 現職で得たもの? 色々ありますが、 F# を仕事で使った
F# is a succinct, expressive, and efficient functional and object-oriented language for Microsoft .NET that helps you write simple code to solve complex problems. These pages are the historical home of F# at Microsoft Research. For the latest information on F# today, see the links to the right. F# brings you type safe, succinct, efficient, and expressive functional programming language. This simpl
Test your C# code online with .NET Fiddle code editor.
We’re excited to release .NET 5.0 today and for you to start using it. It’s a major release — including C# 9 and F# 5 — with a broad set of new features and compelling improvements. It’s already in active use by teams at Microsoft and other companies, in production and for performance testing. Those teams are showing us great results that demonstrate performance gains and/or opportunities to reduc
Fable is a compiler that brings F# into the JavaScript ecosystem Functional programming and more Immutable by default. Powerful pattern matching. Lightweight syntax. Units of measure. Type providers. Enjoy. Type safety without the hassle Type inference provides robustness and correctness, but without the cost of additional code. Let the compiler catch bugs for you.
ずいぶんと長い間書いていなかった気がします…… さて、github で週末ちまちま書いていた MessagePack for CLI が、公式のリポジトリに取り込まれました。びっくりです。 MessagePack とは 相互運用可能で、コンパクトなバイナリ形式のオブジェクトシリアル化フォーマットまたはそのライブラリです。詳しくは 公式サイト なり、 @frsyuki さんのブログなどを参照してください。 今回はそれの .NET 用の実装を作った(ている)ということになります。 .NET 用の実装について .NET 用の実装は実は 3 代目だったりします。初代は @neuecc さんの blog のエントリで使用されているもの。わりとざっくりとした実装で、まだまだパフォーマンスチューニングの余地がある状態でした。 2 代目は NuGet で MessagePack for C# で出てくるも
.NET開発者中心 厳選ブログ記事 C#開発者のためのやさしい「再帰」再入門 ― F#開発者ならこう考える ―― 「いげ太の日記」より ―― いげ太 2011/05/25 「.NET開発者中心 厳選ブログ記事」シリーズでは、世界中にある膨大なブログ・コンテンツの中から、特にInsider.NET/.NET開発者中心の読者に有用だと考えられるブログ記事を編集部が発掘・厳選し、そのブログ記事を執筆したブロガーの許可の下、その全文を転載・翻訳しています。この活動により、.NET開発者のブログ文化の価値と質を高め、より一層の盛り上げに貢献することを目指しています。
Introduction F* (pronounced F star) is a general-purpose proof-oriented programming language, supporting both purely functional and effectful programming. It combines the expressive power of dependent types with proof automation based on SMT solving and tactic-based interactive theorem proving. F* programs compile, by default, to OCaml. Various fragments of F* can also be extracted to F#, to C or
はじめに C#プログラマのためのF#入門、第2回目は「関数型言語としてのF#」をテーマに、関数型言語特有の機能について紹介していきたいと思います。C#においてもC# 2.0以降、関数型プログラミングの概念が、匿名メソッド、ラムダ式、LINQなどで徐々に取り入れられていますので、まったく目新しいものばかりではないかもしれませんが、関数型言語の主役とも言える「関数」について、C#との比較も交えながら紹介したいと思います。 プロジェクトの作成 前回はfsi.exeを使用して、簡単な束縛や定義について解説しましたが、今回は、VS2010でF#コンパイラも使用してみましょう。まず、VS2010から[ファイル]-[新しいプロジェクト]-[Visual F#]-[F# Application]でプロジェクトを作成してみましょう。 #light F#のプロジェクトを作成する際に最初に考慮しなくてはならない
副作用を極力排除しようとするfunctionalな方向性の言語においては、GUIのような副作用の塊は扱えないという直観を持っている人も多いことでしょう。確かにfunctionalな言語でunit型を返す関数ばかり扱っていると、"普通に手続きを書いているのと何が違うの?嬉しくない!"という結論になるのは至極当然の事と思います。 でも、副作用を持つ部分と純粋関数の部分を切り分けて考えれば、意外とGUIの世界でもfunctionalなスタイルでプログラムが書けるのです。わかりやすい所でいうと、例えば、データベースを扱うプログラムも副作用の塊のように見えますよね?でも、SQL文を作成する部分は文字列を扱う純粋関数ですし、取得したデータがnullじゃないか、有効かどうかを判断しながら処理する部分もpureです。そうやってどんどん切り分けていくと、最終的にかなりpureになります。しかもpureになる
Not your computer? Use a private browsing window to sign in. Learn more about using Guest mode
「LINQ」はこの項目へ転送されています。アイドルグループについては「LinQ」を、その他の「リンク」については「リンク (曖昧さ回避)」をご覧ください。 この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "統合言語クエリ" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2024年2月) 統合言語クエリ (Language INtegrated Query; LINQ, リンクと発音する) とは、.NET Framework 3.5において、様々な種類のデータ集合に対して標準化された方法でデータを問い合わせること(クエリ)を可能にするために、言語に統合された機能のことである。開発ツールはV
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く