About: Haskell

Property	Value
dbo:abstract	Haskell（ハスケル）は非正格な評価を特徴とする純粋関数型プログラミング言語である。名称は数学者であり論理学者であるハスケル・カリーに由来する。 (ja) Haskell（ハスケル）は非正格な評価を特徴とする純粋関数型プログラミング言語である。名称は数学者であり論理学者であるハスケル・カリーに由来する。 (ja)
dbo:wikiPageExternalLink	http://haskell.cs.yale.edu/wp-content/uploads/2011/03/HaskellVsAda-NSWC.pdf http://haskell.org/tutorial/ http://repetae.net/john/computer/jhc/ http://www.cs.uu.nl/~bastiaan/heeren-helium.pdf http://www.umiacs.umd.edu/~hal/docs/daume02yaht.pdf http://www.willamette.edu/~fruehr/haskell/evolution.html http://haskell.org/haskellwiki/Humor http://haskell.org/hawiki/ http://haskell.readscheme.org http://research.microsoft.com/~simonpj/papers/haskell-retrospective http://www.cs.york.ac.uk/fp/nhc98/ http://www.haskell.org/tutorial/haskell-98-tutorial.pdf http://www.haskell.org/~pairwise/intro/intro.html
dbo:wikiPageID	1141 (xsd:integer)
dbo:wikiPageLength	37327 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	91739220 (xsd:integer)
dbo:wikiPageWikiLink	dbpedia-ja:ガード_(プログラミング) dbpedia-ja:1985年 dbpedia-ja:1987年 dbpedia-ja:1990年 dbpedia-ja:1997年 dbpedia-ja:1999年 dbpedia-ja:2001年 dbpedia-ja:2002年 dbpedia-ja:2003年 dbpedia-ja:2004年 dbpedia-ja:2005年 dbpedia-ja:2006年 dbpedia-ja:Association_for_Computing_Machinery dbpedia-ja:Bluespec dbpedia-ja:Category:エポニム dbpedia-ja:Category:プログラミング言語 dbpedia-ja:Category:関数型言語 dbpedia-ja:Elm_(プログラミング言語) dbpedia-ja:Extensible_Markup_Language dbpedia-ja:Factor dbpedia-ja:Glasgow_Haskell_Compiler dbpedia-ja:Hydra dbpedia-ja:JavaScript_Object_Notation dbpedia-ja:Markdown dbpedia-ja:Pandoc dbpedia-ja:Portable_Document_Format dbpedia-ja:Raku dbpedia-ja:Webアプリケーションフレームワーク dbpedia-ja:X_Window_System dbpedia-ja:Xmonad dbpedia-ja:インタプリタ dbpedia-ja:ウィンドウマネージャ dbpedia-ja:エコー_(コンピュータ) dbpedia-ja:エラー dbpedia-ja:エラーメッセージ dbpedia-ja:オフサイドルール dbpedia-ja:オブジェクト指向 dbpedia-ja:オープンソース dbpedia-ja:カインド_(型理論) dbpedia-ja:カリー化 dbpedia-ja:グラスゴー大学 dbpedia-ja:グラディウス_(ゲーム) dbpedia-ja:コンパイラ dbpedia-ja:コンパイラコンパイラ dbpedia-ja:コンピュータ・アーキテクチャ dbpedia-ja:サイモン・ペイトン・ジョーンズ dbpedia-ja:サブルーチン dbpedia-ja:スート dbpedia-ja:ゼロ除算 dbpedia-ja:ソート dbpedia-ja:タプル dbpedia-ja:デファクトスタンダード dbpedia-ja:データ型 dbpedia-ja:トランプ dbpedia-ja:ネイピア数 dbpedia-ja:ハスケル・カリー dbpedia-ja:バージョン管理システム dbpedia-ja:パターンマッチング dbpedia-ja:パブリックドメイン dbpedia-ja:ファイル_(コンピュータ) dbpedia-ja:フラグ_(コンピュータ) dbpedia-ja:プログラミング言語 dbpedia-ja:ボディマス指数 dbpedia-ja:ポリモーフィズム dbpedia-ja:ポートランド_(オレゴン州) dbpedia-ja:マサチューセッツ工科大学 dbpedia-ja:メタプログラミング dbpedia-ja:モジュール dbpedia-ja:モナド_(プログラミング) dbpedia-ja:リスト_(抽象データ型) dbpedia-ja:リスト内包表記 dbpedia-ja:二分木 dbpedia-ja:代数的データ型 dbpedia-ja:例外処理 dbpedia-ja:依存型 dbpedia-ja:依存性の注入 dbpedia-ja:先行評価 dbpedia-ja:入出力 dbpedia-ja:円周率 dbpedia-ja:再帰 dbpedia-ja:副作用_(プログラム) dbpedia-ja:参照透過性 dbpedia-ja:圏論 dbpedia-ja:変数_(プログラミング) dbpedia-ja:定数 dbpedia-ja:定義 dbpedia-ja:引数 dbpedia-ja:投機的実行 dbpedia-ja:教科書 dbpedia-ja:数学 dbpedia-ja:数学者 dbpedia-ja:文字列 dbpedia-ja:正の数と負の数 dbpedia-ja:正規表現 dbpedia-ja:演算子 dbpedia-ja:演算子の優先順位 dbpedia-ja:無限 dbpedia-ja:第一級関数 dbpedia-ja:等号 dbpedia-ja:糖衣構文 dbpedia-ja:素数 dbpedia-ja:評価戦略 dbpedia-ja:逆ポーランド記法 dbpedia-ja:遅延評価 dbpedia-ja:配列 dbpedia-ja:階乗 dbpedia-ja:静的型付け dbpedia-ja:高階関数 dbpedia-ja:論理学者 dbpedia-ja:関数型言語 dbpedia-ja:オードリー・タン dbpedia-ja:コマンドライン dbpedia-ja:手続き型プログラミング言語 dbpedia-ja:ガーベジコレクション dbpedia-ja:PDF dbpedia-ja:グラフィカルユーザインターフェース dbpedia-ja:フィボナッチ数列 dbpedia-ja:言語バインディング dbpedia-ja:Atom_(ハードウェア記述言語) dbpedia-ja:パーサ dbpedia-ja:1,_2],_[5,_6],_[5,_9 dbpedia-ja:5,_9],_[1,_2],_[5,_6 dbpedia-ja:Fay dbpedia-ja:Hugs dbpedia-ja:Yhc
prop-ja:fetchwikidata	ALL (ja) ALL (ja)
prop-ja:implementations	GHC、Hugs、NHC、JHC、Yhc (ja) GHC、Hugs、NHC、JHC、Yhc (ja)
prop-ja:influenced	dbpedia-ja:Factor
prop-ja:name	Haskell (ja) Haskell (ja)
prop-ja:onlysourced	false (ja) false (ja)
prop-ja:typing	強い静的型付け (ja) 強い静的型付け (ja)
prop-ja:wikiPageUsesTemplate	template-ja:Computer-stub template-ja:Ill2 template-ja:Normdaten template-ja:Official_website template-ja:Reflist template-ja:仮リンク template-ja:脚注ヘルプ template-ja:要出典範囲 template-ja:Infobox_プログラミング言語 template-ja:プログラミング言語 template-ja:プログラミング言語一覧 template-ja:ConditionalURL
dct:subject	dbpedia-ja:Category:エポニム dbpedia-ja:Category:プログラミング言語 dbpedia-ja:Category:関数型言語
rdf:type	owl:Thing dbo:ProgrammingLanguage dbo:Language schema:Language wikidata:Q315 wikidata:Q9143
rdfs:comment	Haskell（ハスケル）は非正格な評価を特徴とする純粋関数型プログラミング言語である。名称は数学者であり論理学者であるハスケル・カリーに由来する。 (ja) Haskell（ハスケル）は非正格な評価を特徴とする純粋関数型プログラミング言語である。名称は数学者であり論理学者であるハスケル・カリーに由来する。 (ja)
rdfs:label	Haskell (ja) Haskell (ja)
owl:sameAs	freebase:Haskell
prov:wasDerivedFrom	wikipedia-ja:Haskell?oldid=91739220&ns=0
foaf:isPrimaryTopicOf	wikipedia-ja:Haskell
foaf:name	Haskell (ja) Haskell (ja)
is dbo:wikiPageWikiLink of	dbpedia-ja:Active_Scripting dbpedia-ja:WDDX dbpedia-ja:XML変換言語 dbpedia-ja:ガード_(プログラミング) dbpedia-ja:竹内関数 dbpedia-ja:0の0乗 dbpedia-ja:2-3_フィンガーツリー dbpedia-ja:Agda dbpedia-ja:AizuOnlineJudge dbpedia-ja:Bluespec dbpedia-ja:C-- dbpedia-ja:Catamorphism dbpedia-ja:Clojure dbpedia-ja:CoffeeScript dbpedia-ja:Constraint_Handling_Rules dbpedia-ja:CotEditor dbpedia-ja:Csound dbpedia-ja:Dwm_(ウィンドウマネージャ) dbpedia-ja:Eclipse_(統合開発環境) dbpedia-ja:Elm_(プログラミング言語) dbpedia-ja:Emacs dbpedia-ja:FP_(プログラミング言語) dbpedia-ja:FastCGI dbpedia-ja:Future_パターン dbpedia-ja:GHC dbpedia-ja:GNU_Multi-Precision_Library dbpedia-ja:GNU_Readline dbpedia-ja:GTK_(ツールキット) dbpedia-ja:Geany dbpedia-ja:Glasgow_Haskell_Compiler dbpedia-ja:Google_ソースコード検索 dbpedia-ja:Goto文 dbpedia-ja:Haxe dbpedia-ja:Hello_world dbpedia-ja:Hydra dbpedia-ja:IPython dbpedia-ja:ISWIM dbpedia-ja:IntelliJ_IDEA dbpedia-ja:JavaScript_Object_Notation dbpedia-ja:Jq_(プログラミング言語) dbpedia-ja:L4マイクロカーネルファミリー dbpedia-ja:LAPACK dbpedia-ja:Lempel-Ziv-Markov_chain-Algorithm dbpedia-ja:ML_(プログラミング言語) dbpedia-ja:Mathematica dbpedia-ja:MessagePack dbpedia-ja:Miranda dbpedia-ja:MongoDB dbpedia-ja:Music_Player_Daemon dbpedia-ja:Nested_sampling_algorithm dbpedia-ja:NetCDF dbpedia-ja:Notepad++ dbpedia-ja:OCaml dbpedia-ja:Objective-C dbpedia-ja:Option型 dbpedia-ja:Pandoc dbpedia-ja:Parsec dbpedia-ja:Pcap dbpedia-ja:Perl dbpedia-ja:Phabricator dbpedia-ja:Project_Jupyter dbpedia-ja:Protocol_Buffers dbpedia-ja:Pugs dbpedia-ja:PureScript dbpedia-ja:Python dbpedia-ja:QuickCheck dbpedia-ja:REPL dbpedia-ja:Raku dbpedia-ja:ReCAPTCHA dbpedia-ja:Redis dbpedia-ja:RocksDB dbpedia-ja:Rust_(プログラミング言語) dbpedia-ja:Scala dbpedia-ja:Software_in_the_Public_Interest dbpedia-ja:Swift_(プログラミング言語) dbpedia-ja:System_F dbpedia-ja:Travis_CI dbpedia-ja:Typedef dbpedia-ja:WebObjects dbpedia-ja:WebSocket dbpedia-ja:Web_Server_Gateway_Interface dbpedia-ja:While文 dbpedia-ja:XUnit dbpedia-ja:Xmonad dbpedia-ja:YAML dbpedia-ja:アトパーセク dbpedia-ja:オフサイドルール dbpedia-ja:カインド_(型理論) dbpedia-ja:カリー化 dbpedia-ja:カルダノ_(ブロックチェーン) dbpedia-ja:ガベージコレクション dbpedia-ja:クロージャ dbpedia-ja:クワイン_(プログラミング) dbpedia-ja:グッドスタインの定理 dbpedia-ja:グリーンスレッド dbpedia-ja:グロブ dbpedia-ja:ケース・センシティブ dbpedia-ja:コンパイラ最適化 dbpedia-ja:コンパイル型言語 dbpedia-ja:コンピュータプログラミングの概念・技法・モデル dbpedia-ja:コードゴルフ dbpedia-ja:サイモン・ペイトン・ジョーンズ dbpedia-ja:システム時刻 dbpedia-ja:シュルツ方式 dbpedia-ja:ジェネリックプログラミング dbpedia-ja:スタック_(曖昧さ回避) dbpedia-ja:ストリーム_(プログラミング) dbpedia-ja:セルフホスティング dbpedia-ja:ソフトウェアリポジトリ dbpedia-ja:ソフトウェア開発方法論 dbpedia-ja:タイル型ウィンドウマネージャ dbpedia-ja:タプル dbpedia-ja:テンプレートメタプログラミング dbpedia-ja:トランスコンパイラ dbpedia-ja:ドキュメンテーション文字列 dbpedia-ja:ハイフネーションアルゴリズム dbpedia-ja:ハスケル・カリー dbpedia-ja:ハッカソン dbpedia-ja:ハードウェア記述言語 dbpedia-ja:バージョン管理システムの一覧 dbpedia-ja:パターンマッチング dbpedia-ja:ブートストラップ問題 dbpedia-ja:ブーリアン型 dbpedia-ja:プログラミングパラダイム dbpedia-ja:プログラミング用語_(分野別) dbpedia-ja:プログラミング言語 dbpedia-ja:プログラミング言語の比較 dbpedia-ja:プログラミング言語一覧 dbpedia-ja:プログラミング言語年表 dbpedia-ja:ヘルダー平均 dbpedia-ja:ボックス化 dbpedia-ja:ボトム型 dbpedia-ja:ポリモーフィズム dbpedia-ja:マージソート dbpedia-ja:モナド_(プログラミング) dbpedia-ja:モノイド閉圏 dbpedia-ja:ユニットテスト・フレームワーク一覧 dbpedia-ja:ラムダ計算 dbpedia-ja:リスト内包表記 dbpedia-ja:レコード_(計算機科学) dbpedia-ja:不動点コンビネータ dbpedia-ja:並列計算 dbpedia-ja:並行計算 dbpedia-ja:代数的データ型 dbpedia-ja:再帰データ型 dbpedia-ja:再帰下降構文解析 dbpedia-ja:列挙型 dbpedia-ja:利用者定義演算子 dbpedia-ja:制御構造 dbpedia-ja:剰余演算 dbpedia-ja:単精度浮動小数点数 dbpedia-ja:参照透過性 dbpedia-ja:唐鳳 dbpedia-ja:型クラス dbpedia-ja:型システム dbpedia-ja:型付きラムダ計算 dbpedia-ja:型推論 dbpedia-ja:始代数 dbpedia-ja:字下げスタイル dbpedia-ja:宇宙船演算子 dbpedia-ja:宣言型プログラミング dbpedia-ja:左再帰 dbpedia-ja:帰納プログラミング dbpedia-ja:引数 dbpedia-ja:投機的実行 dbpedia-ja:数式処理システムの一覧 dbpedia-ja:演算子 dbpedia-ja:無名再帰 dbpedia-ja:無名関数 dbpedia-ja:空文字列 dbpedia-ja:第一級関数 dbpedia-ja:糖衣構文 dbpedia-ja:自動推論 dbpedia-ja:複素数型 dbpedia-ja:訃報_2015年4月 dbpedia-ja:評価戦略 dbpedia-ja:量子プログラミング言語 dbpedia-ja:関数型プログラミング dbpedia-ja:静的単一代入
is prop-ja:influenced of	dbpedia-ja:ML_(プログラミング言語)
is prop-ja:influencedBy of	dbpedia-ja:Clojure dbpedia-ja:CoffeeScript dbpedia-ja:Jq_(プログラミング言語) dbpedia-ja:Scala
is prop-ja:programmingLanguage of	dbpedia-ja:Pandoc
is prop-ja:プログラミング言語 of	dbpedia-ja:Xmonad
is prop-ja:影響を与えた言語 of	dbpedia-ja:FP_(プログラミング言語) dbpedia-ja:Miranda
is owl:sameAs of	dbpedia-wikidata:Haskell
is foaf:primaryTopic of	wikipedia-ja:Haskell