MSDN ホームページThis browser is no longer supported. Upgrade to Microsoft Edge to take advantage of the latest features, security updates, and technical support.
Schemeのマクロ - Island Life
About 南の島のプログラマ。 たまに役者。 Practical Schemeの主。 WiLiKi:Shiro 最近のエントリ 無限cxr高校受験Defense振り返ってみると2019年は色々学んで楽...覚えるより忘れる方が難しい(こともある)眼鏡のつると3DプリンタIris Klein Acting ClassSAG-AFTRA conservatory: Voice Acting創作活動って自分を晒け出さねばならないと...ループを使わずに1から100までMore... 最近のコメント shiro on 歳を取ると時間が速く過ぎるのは、新しいことに挑戦しないから? (2023/03/14)1357 on 歳を取ると時間が速く過ぎるのは、新しいことに挑戦しないから? (2023/03/01)ベアトリーチェ on ハイポハイポハイポのシューリンガン (2022/04/02)ベアトリーチ
F# Programming - Wikibooks, open books for an open world
This section is suitable for complete beginners to F# and Functional Programming in general. Getting Set Up - Installing F# on Windows, Linux and Mac. Basic Concepts - A lightweight crash course in functional programming concepts. F# is a functional programming language. Not surprisingly, functions are a big part of the language, and mastering them is the first step to becoming an effective F# dev
連載：［完全版］究極のC#プログラミング - ＠IT
第2回 簡潔なコーディングのために （2017/7/26） ラムダ式で記述できるメンバの増加、throw式、out変数、タプルなど、C# 7には以前よりもコードを簡潔に記述できるような機能が導入されている 第1回 Visual Studio Codeデバッグの基礎知識 （2017/7/21） Node.jsプログラムをデバッグしながら、Visual Studio Codeに統合されているデバッグ機能の基本の「キ」をマスターしよう 第1回 明瞭なコーディングのために （2017/7/19） C# 7で追加された新機能の中から、「数値リテラル構文の改善」と「ローカル関数」を紹介する。これらは分かりやすいコードを記述するのに使える Presentation Translator （2017/7/18） Presentation TranslatorはPowerPoint用のアドイン。プレゼンテー
実践的なパターン: テストの容易性を高める設計
Easy Async Build Concurrent Apps From Simple F# Expressions Chance Coble This article is based on prerelease versions of the Visual Studio add-in for F# and related technologies. All information herein is subject to change. Contents The Problem of Traditional Notation Functional Programming Asynchronous Expressions Using let! and return! Primitives Create Your Own Primitives Primitives and Support
Y combinator. そして末尾再帰に取り付かれる - rayfillのプログラムネタ帳
不動点演算子といってラムダ計算やらコンビネータ理論やらのものらしいです。 ちゃんと調べてないのでよくわかってません(笑) ただ、これを使うと無名関数を再帰することができる、ということです。 で自分で実装して考えてみる。 まずは再帰のお供、fact関数。 (defun fact (n) (if (<= n 1) 1 (* n (fact (- n 1))))) 末尾再帰にもなっていませんがとりあえず実装。 ここから進めていきましょう。 この関数をlambda関数にした場合、何が使えなくて再帰できないのか？ そう、関数名fact、というか関数自身です。 んじゃどうすればいける？と考えると・・・ないものは無いんで外部から差し込むしかないよなーということになります。 つまり自分自身を引数として受け取って(なんか話が矛盾してきた！(笑))それをfuncallすれば再帰できるはず、ということで定義した
Monadic Parser Combinators using C# 3.0 - LukeH's WebLog - Site Home - MSDN Blogs
Benoit Mandelbrot I just read that earlier today, Benoît Mandelbrot passed away. Mandelbrot’s most famous... Author: Luke Hoban [MS] Date: 10/16/2010 Twitter OAuth in F# I have a few F# demos which use the Twitter APIs as simple examples of accessing online data... Author: Luke Hoban [MS] Date: 09/05/2010 F# Scaling from Explorative to .NET Component - F# Talk @ TechEd 2010 Last Thursday I gave an
Tutorial on Good Lisp Programming Style (日本語訳)
Lisp Users and Vendors Conference August 10, 1993 Tutorial on Good Lisp Programming Style Peter Norvig Sun Microsystems Labs Inc. Kent Pitman Harlequin, Inc. Portions copyright (c) 1992, 1993 Peter Norvig. Portions copyright (c) 1992, 1993 Kent M. Pitman. All Rights Reserved. アウトライン 1. 良いスタイルとは何か? 2. 組み込みの機能に関するヒント 3. ほぼ標準のツールに関するヒント 4. 抽象化の種類 5. 大規模なプログラミング 6. その他 1. 良いスタイルとは何か? 良いLispプログラミングスタイル
Haskell programming tips- 他人のHaskell日記 - haskell
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
combinator - Nobuhisa's diary
コンビネータとは自由変数を含まないλ項のことをいいますが、Yコンビネータ以外あまり取り上げられていない気がするのですが、これも100年に1度の金融危機の影響かとか、WBC楽しみですねだとか、そういえば今年雪祭り行けなかったんですよとか、最近携帯変えましたとか色々あるのですが、自分の練習もかねて、そんなコンビネータ達と戯れたいと思います。 沢山ある！ Y以外にも広く知られている（？）コンビネータはいっぱいあるようですが、その中からいくつか。 I ≡ λx.x K ≡ (λx.(λy.x)) //以下、簡単に λx y.x と書きます F ≡ λx y.y M ≡ λx.xx S ≡ λx y z.xz(yz) B ≡ λx y z.x(yz) C ≡ λx y z.xzy L ≡ λx y.x(yy) Y ≡ (λx.xx)(λx.xx) (SLL) （当てるアルファベットが違うのはたまに見
NYU
Women's basketball Wins NCAA Division III National Championship!
Haskell/More on datatypes - Wikibooks, open books for an open world
Enumerations[edit | edit source] One special case of the data declaration is the enumeration — a data type where none of the constructor functions have any arguments: data Month = January | February | March | April | May | June | July | August | September | October | November | December You can mix constructors that do and do not have arguments, but then the result is not called an enumeration. Th
Haskell のお勉強
Haskell は関数型プログラミング言語の”標準語”として、1990 年に 誕生 (Haskell 1.0) した比較的新しい言語です。 その後、1999 年に安定した言語定義 Haskell 98 が制定され、 徐々に知名度が高くなっています。 しかし、まとまった日本語の解説がほとんど無いので、 簡単な解説記事を書いてみました。 目次 Haskell とは プログラムを動かす 関数を定義する 型 入出力 Haskell で最小二乗法 自前の data と class Monad 探索 種々のデータ構造 Module 詰碁を解く
All About Monads モナドのすべて
モナドのすべて Haskell におけるモナドプログラミングの理論と実践に関する包括的ガイド Version 1.1.0 このチュートリアルは、モナドの概念とその関数プログラミングにおける応用に ついて、初中級の Haskell プログラマにわかりやすく、利用価値があるような 解説をすることを旨としています。読者は Haskell になれていることを前提と しますが、モナドに関する経験は要求していません。このチュートリアルは、多 くの題材をカバーしています。後半のセクションでは、前半の題材をよく理解し ていることを前提とします。順をおって、モナドプログラミングを例示するため のサンプルコードがたくさん用意されています。一読で、すべての題材を吸収し ようというのはお勧めできません。 このチュートリアルは 3 つの部分で構成されています。最初の部分は、 関数プログラミングにおけるモナドの基本的
未来言語Agda - 数学猫の生活と意見
最近Agdaを触る機会があったのだが、Agdaこそ未来のプログラミング言語ではないかという気がしてきた。ここでは行列の転置をする関数を定義することで、Agdaでのプログラミングがどんなものか紹介したい。その前に一言:Agdaは定理証明系として紹介されることが多い。これはAgdaにとって不幸なことだ。確かにAgdaの型システムは強力なので、例のカリーハワード同型により、型を命題、プログラムを証明とみなすことができる。ただし、私の印象ではAgda上は数学の証明をしやすいようにはそんなにはできていない。Agdaで証明するには、ある型をもつ定数なり関数を定義することになるわけだが、定義した関数がその型を持っているかことを型チェッカに説得するために、型チェッカの詳しい挙動について理解していなければならない。むしろ、Agdaは依存型をもつプログラミング言語と思った方がよいと思う。依存型とはなにかは例を
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Don Syme on F#, Microsoft’s functional programming language for .NET | Tim Anderson's IT Writing
Beyond Foundations of F# - Active Patterns
http://cl-www.msi.co.jp/solutions/knowledge/lisp-world/tutorial/scope-and-extent.pdf
Redirect
Haskell: 型システムの整理 (class, instance, data, type)