Refactoring is about `improving the design of existing code' and as such, it has been practised as long as programs have been written. The term refactoring specifically refers to a common activity in programming and software maintenance: changing the structure of a program without changing its semantics. Often, refactoring precedes a program modification or extension, bringing the program into a f
New Liskell Site Liskell has a new home. Please go to http://liskell.org. Liskell - the language Liskell is a new syntax frontend for Haskell. Next to its syntax in the form of symbolic expressions — which is also known as Lisp — Liskell also features an extended meta-programming facility. Its aim is to get the best of both worlds: being pure and functional with type inference in the tradition of
■ [web] googleで「○○から××」を検索すると経路検索になる 非常に便利。 google:京都から大阪 google:鹿児島から稚内 google:地球からイスカンダル あれ、イスカンダルまでの経路は検索できないのか(できても困るが) ■ [tDiary] スパムうぜー 仕方がないのでとりあえずgmail.comを弾いてみる。 「この日の日記を隠す」にしたのに、その日付へのコメントスパムが止まない。どうなってるんだ。 あと本文に"Drugs sucks"が含まれるのも弾くようにした。俺に言われても困る。 ■ [haskell] Liskell - clemens.endorphin.org Lispの皮をかぶったHaskell、らしい。 Haskell … 副作用なし+型推論(+遅延評価)によって安全なプログラミングが可能 Lisp … マクロによって柔軟なメタプログラミングが
Warning: This page is outdated. If you can help update it, please do! A developers' guide to creating a new Haskell project or program, and working in the Haskell developer ecosystem. Note: for learning the Haskell language itself we recommend these resources. Recommended tools Almost all new Haskell projects use the following tools. Each is intrinsically useful, but using a set of common tools al
If you are not automatically redirected use this link to the current home page of Curry.
Haskellというプログラミング言語を知っていますか? 全く聞いたことがないという人が多いかもしれません。そういう名前の言語があるのは知っているけど,どんな言語かは知らないという人もいるかもしれませんね。でも最近では,一部の先進的なソフトウエア開発者の間で,一種のブームと言えるほど熱狂的に受け入れられています。 なぜならば,Haskellは様々な優れた特徴を持っているからです。最初に,他の言語にはあまり見られない際だった特長を一つだけ紹介してみましょう。「遅延評価(lazy evaluation,怠惰評価ともいう)」です。 遅延評価とは,与えられた値を必要になるまで評価(計算)しないということです。この性質により,不必要な計算が行われる無駄をなくすことができます。また,「潜在的に無限の大きさを持つデータ構造」といった通常のプログラミング言語では扱いの難しいものを直接扱えるため,より直接的
プログラミングそのものは、あまり好きではない。 当然、実用的な内容はない。 2005年4月以降どうなるか不明。 Lispの(S式以外の)特徴(未完成) Scheme、Common Lisp、Emacs Lispの比較(未完成) 内容のわりに長い。 自己出力プログラムと自己参照プログラム 計算できない問題・関数について 停止問題とかbusy beaver関数の事など。 Schemeでラムダ計算 不動点オペレータについて 再帰的定義に使うYオペレータとかの事。 継続の説明(前置き) 継続の使用法 Schemeでの継続の使用。 SchemeとActor理論 CPS(Continuation Passing Style)について 「SchemeとActor理論」と同じ内容なので、 どうするか考え中。 CPSで多値(とか) values、call-with-valuesがあるから、 無理してS
The libraries are divided into several packages. The available packages are: base This package contains the Prelude and its support libraries, and a large collection of useful libraries ranging from data structures to parsing combinators and debugging utilities. Cabal The Haskell Cabal is the Common Architecture for Building Applications and Libraries. It is a framework which defines a common inte
$Id: index.html,v 1.9 2006/06/01 16:35:13 aamine Exp $ [ 正誤表 | 書誌情報 | 詳細目次 ] [ SBCr | Amazon ] リスト処理・文字列処理の基礎からモナド、パーサコンビネータまで。 ふつうのプログラマに贈る関数型言語入門。 サポート情報 正誤表 GHC 6.4.2 のダウンロード [www.haskell.org] LazyLines のダウンロードとインストール サンプルコード (オンライン) サンプルコードのダウンロード (.zip) サンプルコードのダウンロード (.tar.gz) リファレンスマニュアル検索ツール href 質問や間違いの指摘などはメールで aamine AT loveruby.net (AT は @ に置き換え) までお願いします。 書誌情報 書名
以前,抽象データ型とオブジェクト指向の関係 * について知るため,Object-Oriented Programming Versus Abstract Data Types (PDF 21 頁) を読んだりもしたのですが,そもそもプログラミング言語における型や多義性 (ポリモルフィズム) って何なんだろう ? という素朴な疑問がわいてきました. * What is ‘‘Object-Oriented Programming’’? (1991 revised version) (PDF 21 頁) や C++ の設計と進化 も参考になります. というわけで,ヒビルテさんのところで紹介されていた,A short article for the Encyclopedia of Artificial Intelligence: Second Edition ``Logic, Higher-ord
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く