Haskell〇〇多すぎ問題 - LugendrePublic
初心者が入門書を読んでさぁ書くぞとなったときにつまずくところのうちの一つが，同じようなライブラリが多すぎ問題である． ということでそういうライブラリの話をしよう． 例によって例のごとく間違っていること書いてあるかもなので報告よろしく． モナド変換子 Haskellで実用的なプログラムを書く上で避けて通れないものの一つにモナド変換子がある．こいつはなにかというと，簡単に言えば，モナドを合成してでかいモナドを作るやつである．人間がおおよそ使うであろうモナド変換子はライブラリで提供しているので，それらを組み合わせてお望みのモナドを作ろうとするわけだが，そこに立ちはだかるのがtransformersとmtlである． transformersとmtl transformersはlift という下位のモナドのアクションをでかいモナドのアクションに持ち上げてくれるメソッドが定義されたMonadTrans
Haskellらしさって？「型」と「関数」の基本を解説！【第二言語としてのHaskell】 - エンジニアHub｜Webエンジニアのキャリアを考える！
Haskellらしさって？「型」と「関数」の基本を解説！【第二言語としてのHaskell】 第二言語としてHaskellを学ぶ道案内。開発環境の準備から、Haskellらしいプログラミングの考え方まで、Haskell-jpのigrepさんが丁寧に解説します。 こんにちは。Haskell-jpの山本悠滋です。 この記事では、すでにプログラミング経験のある方向けに、第二言語としてHaskellを学ぶ道案内をしていきます。 環境の準備や、自明なサンプルプログラムの紹介にとどまらず、Haskellらしいプログラミングの考え方も伝えていく予定です。 Haskellについて Haskellというと、「関数型」というキーワードが思い浮かぶ方も多いと思います。 確かにHaskellは、すべての関数がカリー化されており、それらを組み合わせてプログラムを書いていく関数プログラミングがしやすい言語です。 しかし
Reddit - Dive into anything
The Haskell programming language community. Daily news and info about all things Haskell related: practical stuff, theory, types, libraries, jobs, patches, releases, events and conferences and more...
State of the Haskell Ecosystem - February 2016 Edition
Six months ago I released the first "State of the Haskell Ecosystem", a collaborative wiki documenting the maturity of the Haskell language for various application domains: State of the Haskell Ecosystem The primary goals of this wiki are to: Advertise what areas the Haskell language and ecosystem excel at Warn newcomers about common pitfalls so they avoid unpleasant surprises Give new contributor
The Joy and Agony of Haskell in Production
The Joy and Agony of Haskell in Production There have been several good talks about using Haskell in industry lately, and several people asked me to write about my personal experiences. Although I can’t give specific details I will speak broadly about some things I’ve learned and experienced. The myths are true. Haskell code tends to be much more reliable, performant, easy to refactor, and easier
難しいのは見た目だけ！？Haskellのモナドの「たった2つのルール」を簡単に理解する！ - Qiita
この記事は Wantedly Advent Calendar 25日目の記事です。 最終日です！気合いが入りますね！！ Introduction 今回は Haskell のモナドの話をしたいと思います。 Haskell を学び始めた時、誰もが一度は経験するのが「モナドって何だ？」という疑問です。「Haskell モナド」で検索してみても、圏論を絡めた小難しい説明ばかりが出てきて、よく分からない事が往々にしてあります。 ところが、実は「Haskell におけるモナド」を理解する為に、圏論のモナドを理解する必要はありません。何故なら、「Haskell においてモナドである」為に必要なのは、「たった2つのルールを満たす事」だけだからです！ この記事では、「モナドとは何か」を簡単に説明したいと思います！！ Haskell におけるモナドとは？ Haskell におけるモナドとは、誤解を恐れずに言え
My First Two Weeks of Haskell at Wagon - Wagon
It’s no secret I’m into Haskell. Two years ago a friend introduced me to what I then affectionately called “moon language,” and it’s been a continuous experience of learning, cursing, and joy ever since. Loving the language is easy; finding a team who shares this functional programming passion and uses it to build their core product is more rare. That’s what I found at Wagon and I’d like to share
What I Wish I Knew When Learning Haskell
What I Wish I Knew When Learning Haskell Version 2.5 Version This is the fifth major draft of this document since 2009. HTML Version Screen PDF Printable PDF EPUB Version Kindle Version Pull requests are always accepted for changes and additional content. This is a living document. The only way this document will stay up to date is through the kindness of readers like you and community patches and
Spreadsheet-like programming in Haskell
What if I told you that a spreadsheet could be a library instead of an application? What would that even mean? How do we distill the logic behind spreadsheets into a reusable abstraction? My mvc-updates library answers this question by bringing spreadsheet-like programming to Haskell using an intuitive Applicative interface. The central abstraction is an Applicative Updatable value, which is just
foldlを直す - 純粋関数空間
http://www.well-typed.com/blog/90/ foldlに関するこの記事（英文）が面白かったので、勝手翻訳しました。 foldlなんとかなるといいですね。 foldlを直す foldl 関数は壊れている。壊れているとみんなが知っている。 四半世紀近く壊れたままだ。ついにこれを修正する時が来た！ 今日、私はPrelude.foldlをData.List.foldl'として知られる実装で再定義することを提案する。 foldlは壊れている！ 既にご存知だとは思うが、念のため… Haskellerが必ずfoldlではなく、foldrやfoldl'を使うように勧めてくることにお気づきだろうか？ 例えばReal World Haskellでは次のように言っている。 `foldl`のサンクの挙動のため、実アプリではこの関数を使わないようにするのが望ましい。 特に問題がない場合でも
Haskellで見る双子素数, いとこ素数, セクシー素数 - プログラムモグモグ
素数, primes. 数学者を魅了してやまない数たち. その中でも, 特徴のある素数たちがいます. 双子素数, 三つ子素数, 四つ子素数, いとこ素数, セクシー素数,.... 何がセクシーなんでしょうか? 気になります!!! 順番に計算しつつ見ていきましょう. 今回もHaskellのprimesパッケージ*1を用いてみます. 自分で実装するのより高速であろうことを期待して. Prelude> :m Data.Numbers.Primes Prelude Data.Numbers.Primes> 素数の数 素数は, 無限個あります. もしそうでなければ, これほどの魅力はなかったことでしょう. 素数が無限個あることの証明は, あのユークリッドの証明が有名ですが, 次のような証明もあります. リーマンゼータ関数は, となっています. ところでは無理数でです. 仮に素数が有限個しかなければは
第43回 criterionでプログラムの性能を測定する
プログラムの性能を測定するにはどうすればよいでしょうか？ すぐに思いつくのは，プログラムの実行時間を測定することです。しかし，現在のコンピュータの環境では，プログラムの実行が常に一定の速度で行われる保証はありません。また，Haskellではすべての値が遅延評価されるという事情もあります。 そこで，今回はHaskellプログラムの性能を測定するために用意されているベンチマーク・フレームワークである「criterionパッケージ」について説明します。 ベンチマーク・フレームワークを使うべき理由 プログラムの性能を測定する手軽な方法は，timeやtimeit.exeを使ってプログラムの実行時間を計ることです。しかし，OSの上では様々なプロセスが動作しており，それによってプログラムの実行時間にばらつきが生じます。ほかにも，実行時間にばらつきを生じさせる要因は数多く存在します。ばらつきを生じさせるす
Conal Elliott » Is Haskell a purely functional language?
Inspirations & experiments, mainly about denotative/functional programming in Haskell There is a lot of confusion about the meaning of “functional” and “declarative” as descriptions of programming languages and paradigms. For instance, Haskell is sometimes advertised as a “purely functional programming language” and other times as “the world’s finest imperative programming language”. I added some
Runtime Typecasting.
Several people asked me to write something linkable about my recent name and gender change, so here's an initial sketch. All four names (original/new * Chinese/English) are listed on the Wikipedia page about me. The new names had replaced original ones in my passport and national ID card (yes, .tw does have such things), so legal documents -- including copyright notices -- need to carry the new na
Haskellで遊ぶ: Netsphere Laboratories
(2005.7.18 新規作成, 2009.1 更新。) 関数型プログラミングのための言語 Haskell について。 [2022-09] 処理系が GHC --The Glasgow Haskell Compiler-- だけになってしまってずいぶん経つ。仕様も Haskell 2010 language 以降、纏められなくなってしまった。見通しはあまり明るくない。 Haskell とは (2008.11.7 この節を追加。) 関数型プログラミング 例えばC言語でもオブジェクト指向プログラミングができます (gtk+など) が、プログラミング言語の支援があったほうが自然にプログラミングできます。 Haskell あるいはほかの関数型プログラミング言語 (Clean, O'Caml, Scala, Erlang など）は、関数型プログラミングがしやすいようなプログラミング言語です。程度問題
プログラム・プロムナード
会誌「情報処理」連載の「プログラム・プロムナード」（2002年4月〜2005年3月掲載）と「Haskellプログラミング」（2005年4月〜2006年3月掲載）はどなたでもご覧になれます。ファイルはすべてPDF形式です。 「Haskellプログラミング」に掲載されたプログラムは http://www.sampou.org/haskell/ipsj/ から取ることができます.
Home - TIOBE
Let op! Internet Explorer wordt niet meer ondersteund. Hierdoor kan de website mogelijk niet goed functioneren, gebruik een alternatieve browser om optimaal gebruik te maken van deze website. Klik hier om een alternatieve browser te downloaden. When software quality is more than a code checker Software quality does not arise from simply running a code checker: it requires strategy, oversight, and
本物のプログラマはHaskellを使う：ITpro
筆者 shelarcy Haskellは，関数型プログラミングというジャンルに属する言語です。Haskellや関数型プログラミングを題材に物事を見ていくことで，今まで思いもよらなかったような未知の世界を知ることができるでしょう。 プログラミング言語を学ぶという行為には， 言語の基本的な文法や考え方を理解する 言語の文化圏で広く使われている考え方に親しんでその言語らしい書き方を習得する 単に言語を使ってできること以上の知恵を学ぶ の3段階があります。この連載では，三つ目の段階を目標に，Haskellプログラミングの世界を一つひとつ丁寧に紹介していきます。 更新は毎月第1水曜日（1月のみ第2水曜日）
Why Functional Programming Matters
John Hughes This paper dates from 1984, and circulated as a Chalmers memo for many years. Slightly revised versions appeared in 1989 and 1990 in the Computer Journal and the Year of Programming. This version is based on the original Chalmers memo nroff source, lightly edited for LaTeX and to bring it closer to the published versions. Please excuse the slightly old-fashioned type-setting, and the
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Monadius - a scientist's toy box