GitHub - marick/Midje: Midje provides a migration path from clojure.test to a more flexible, readable, abstract, and gracious style of testing
To make tests more readable, Midje makes them look like examples in Clojure books. Here's how The Joy of Clojure uses syntax to explain Clojure: Here's the same fact about Clojure in Midje, expressed in a way that's just as readable but also machine-checkable: While Midje assumes you'll be building a test suite with lasting value, it allows you to do that while still using the repl in an idiomatic
非決定性チューリングマシン - Wikipedia
非決定性チューリング機械（ひけっていせいチューリングきかい、英: Non-deterministic Turing machine, NTM）は、理論計算機科学において、非決定性有限オートマトンのように働く制御機構を持つチューリング機械である。 通常の（決定性）チューリング機械（DTM）の遷移機構は、現在状態とテープ上のヘッドの現在位置にある記号によって次の3つの動作をする。(1)テープに記号を書き込む。(2)右または左にヘッドを移動させる。(3)新たな状態をとる。例えば、テープ上に X があって状態番号 3 であった場合、DTM は Y をテープに書き込み、ヘッドを右に移動させ、状態番号 5 に遷移する、といった具合である。 NTM が異なるのは、状態とテープ上の記号によって、すべきことがユニークに指定されないという点である。同じ状態と記号の組合せであっても、様々な動作をする可能性がある
決定的アルゴリズム - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "決定的アルゴリズム" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2022年3月) 決定的アルゴリズム（けっていてきアルゴリズム、英: deterministic algorithm）は、計算機科学におけるアルゴリズムの種類であり、その動作が予測可能なものをいう。入力を与えられたとき、決定的アルゴリズムは常に同じ経路で計算を行い、常に同じ結果を返す。決定的アルゴリズムは最も研究の進んでいるアルゴリズムであり、その多くは実際のコンピュータで効率的に実行できる実用性を備えている。決定性アルゴリズムと言うことも多い。 決定的アルゴリズムは
ATS-PL-SYS
What is ATS? ATS is a statically typed programming language that unifies implementation with formal specification. It is equipped with a highly expressive type system rooted in the framework Applied Type System, which gives the language its name. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS2 (ATS/Postiats) is written in ATS1 (ATS/Anai
PR：「エンジニアを楽に」 研究から生まれる新たな世界
「COMPANY」シリーズにより、大手企業向けERPパッケージ市場で、国内No.1のシェア（※）を持つワークスアプリケーションズ。同社は「テクノロジスペシャリスト」という職種での募集を行い、実際にプログラムを書かせるユニークな採用方法を実施。「尖った人材」を採用していることで注目を集めている。 ※市場占有率推移（パッケージ市場） 販売社数シェア/出典：富士キメラ総研 ソフトウェアビジネス新市場 2013年版 藤澤氏のプログラミングへの興味は小学校時代から。「ちょうどポケットモンスターがはやり始めたころ。いわゆるバグ技で遊んでいて、ゲームがどうやって実現されているか知りたくなった。初めて触れたプログラミング言語はアセンブラです。中学に入ると、実際にゲームを作ってみたくなり、最初にコンパイルしたのはC言語のプログラム。PC上ではなく、ゲームボーイで実行できるプログラムを作り、ゲームボーイのエミ
The Shen Group
Our mission is to bring the power of Shen technology to every major programming platform used by industry and deliver to programmers the great power of Shen. The word 'Shen' means 'highest spirit' in Chinese and indicates our goal is to transcend the divisions between computer languages. Since 2021 Shen has been based on the S series kernels. Features pattern matching, lambda calculus consistency,
『The Evolution of a Haskell Programmer』
See Iavor Diatchki’s page “The Evolution of a Programmer” for the “original” (though he is not the author), and also below for the story behind this version. (This page has been translated into the Serbo-Croatian language by Anja Skrba from Webhostinggeeks.com. Thanks, Anja, for all your hard work!) Freshman Haskell programmer fac n = if n == 0 then 1 else n * fac (n-1) Sophomore Haskell programme
Liveblogging CUFP 2013 « syslog
I'm here at the Commercial Users of Functional Programming workshop at ICFP 2013) with Heidi Howard, David Sheets and Leo White. Marius Eriksen and Michael Sperber are co-chairing this year. Functional programming is a hot topic these days, and this year's program reflects the maturing nature of the program. Record number of submissions, and we could easily have made this a multi-day program. Â
)
CPL (圏論プログラミング言語) - Wikipedia
CPL (正式名称：Categorical Programming Language) は圏論に基づいたデータ型の定義と計算モデルを持つ関数型プログラミング言語であり、1987年、萩野達也によって発案された。圏論の計算機科学に対する応用の黎明期に生まれた言語である。 元々定義されているデータ型が存在せず、何らかの関手の始双代数あるいは終双代数としてデータ型を定義する。プログラムあるいは関数[要曖昧さ回避]は射として、ポイントフリーの形式で記述する。関数の表し方としては射として表すものと冪対象として表すものの二通りがある。元々定義されている関数は恒等関数のみであり、元々定義されている制御構造は関数合成のみである。条件分岐や帰納法などはデータ型の定義に付随して定義される。
関数プログラミングのボトルネックとしてのRDBMS
プログラム開発は、多くの人々が目的達成のため、もがき苦闘するタールの沼である – Frederic P. Brroks, Jr., 人月の神話 モジュール性はプログラミング成功の鍵である – John Hughes, 関数プログラミングはなぜ重要か タールの沼の底から タールの沼と聞いて連想するのは大規模なSIである。業務アプリケーションやWebアプリケーションは規模が大きくなればなるほど、複雑さが増し収拾がつかなくっていく。そしてそのようなアプリケーションを大きな単位で上手くモジュール化し、さらには再利用することは不可能に近い。 その技術的な原因の一端、そして問題を解く鍵は、そのようなアプリケーションが常に携えているRDBMSの周辺にあり、さらに言えばおそらくRDBMSとアプリケーションロジックの組み合わせにあると考えている。 ここでは、アプリケーションロジックの実装に関数プログラミング
GNU Guix transactional package manager and distribution — GNU Guix
SummaryLiberating. Guix is a distribution of the GNU operating system developed by the GNU Project—which respects the freedom of computer users. Dependable. Guix supports transactional upgrades and roll-backs, unprivileged package management, and more. When used as a standalone distribution, Guix supports declarative system configuration for transparent and reproducible operating systems.Hackable.
なごやまつり #ngmatsuri
きょん＠アジャイルコーチ、システムアーキテクト @kyon_mm 明後日は【なごやまつり】だよ！なごやでおまつりだよ！LLまつりをパクったわけじゃないよ！ / なごやまつり http://t.co/zBrqbTLAR5 #ngmatsuri 2013-08-23 14:03:18
Koka - Microsoft Research
Koka is a strongly typed functional-style language with effect types and handlers. The core of Koka consists of a small set of well-studied language features, like first-class functions, a polymorphic type- and effect system, algebraic data types, and effect handlers. Each of these is composable and avoid the addition of “special” extensions by being as general as possible. Koka tracks the (side)
プロジェクト:数学/函数と関数 - Wikipedia
残念なことに、ウィキペディアではしばしば「函数」と「関数」を互いに書き換える編集合戦が発生しています。そのような争いをなるべく抑えることが、このページの目的です。複数の立場があることを御理解頂き、表記を変えることには慎重になってください。 「函数」が主に用いられていたのは、それほど古い話ではありません。解析学のバイブルともいわれる高木貞治の『解析概論』では「函数」表記です。この本は、1938年に初版が出版され、著者の逝去した翌年の1961年に現行第3版が出版されました。その序文によれば、著者の指示により数学用語を現行のものに改めた、とあります。それでもなお「函数」表記であり、当時は「函数」が主に用いられたと考えられます。 一方、1958年、当時の文部省の指導により、学術用語の統一をはかるため、学術用語集が編纂されました。なるべく当用漢字内におさめるように、との指導の下、例えば「収斂」は「収
The Implementation of Functional Programming Languages
Simon Peyton Jones Published by Prentice Hall Internaltional (UK) Ltd. | April 1987 Chapters also by: Philip Wadler, Programming Research Group, Oxford; Peter Hancock, Metier Management Systems, Ltd.; David Turner, University of Kent, Canterbury “The Implementation of Functional Languages” is a book about implementing functional programming languages using lazy graph reduction, and it divides into
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Facebookにログイン
SAFE Project
urbit.org
Jobs for Functional Programming - Functional Jobs
GitHub - Frege/frege: Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.
