栄光のグラスゴーHaskellコンパイルシステム利用の手引き バージョン7.2.1
栄光のグラスゴーHaskellコンパイルシステム利用の手引き バージョン7.2.1 The GHC Team 目次 The Glasgow Haskell Compiler License 1. 参考訳 1. GHCの紹介 1.1. GHCを入手する 1.2. メタ情報: ウェブサイト、メーリングリストなど 1.3. GHCのバグを報告する 1.4. GHCのバージョン番号付け規則 1.5. Release notes for version 7.2.1 1.5.1. Highlights 1.5.2. Language changes 1.5.3. Warnings 1.5.4. Dumps 1.5.5. Runtime system 1.5.6. Compiler 1.5.7. GHCi 1.5.8. ghc-pkg 1.5.9. hsc2hs 1.5.10. GHC API 1.5.
カリー化と部分適用の違いと誤用
kmizu @kmizu 正直に言うと、Groovy自体は別に好きでも嫌いでもないのだけど、カリー化してないのにcurryとかいうメソッド名付けてたり(標準で)、概念の無理解が目立つ部分があって、その辺がちょっと…という思いがあったり。 #scalajp #groovy
5 Free E-Books on Haskell
There's been a lot of love lately for Clojure (which Heroku now supports), Scala (used at Twitter among other places) and Erlang (used by Facebook among other places). But if you're interested in functional programming, don't forget about Haskell. Try Haskell Before checking out the books below, you can check out Try Haskell an interactive, browser based tutorial. This will give you an overview of
http://madscientist.jp/~ikegami/articles/PointFreeStyleWhatIsGoodFor.html
Pointfree スタイルで書こう Pointfree スタイルという Haskell のプログラミング手法を紹介します。 このエントリは Haskell Advent Calender jp 2010 のために書かれました / その他のAdvent Calender 去年のクリスマスはとうに過ぎてしまいましたが、どうかお許しください… 具体例 : 階乗計算 正の数字 n を与えられたときに 1 * 2 * 3 * ... * n を計算する関数 fact :: Integer -> Integer を考えます。 これは階乗(factorial)と呼ばれる計算です。 n が 0 や負だったときは fact n = 1 とします。 負の階乗は、数学的には 1 ではないのですが、ここでは許してください。 模範例は次のとおり: fact :: Integer -> Integer fact n
経験15年のOCaml ユーザーが Haskell を仕事で半年使ってみた - camlspotter’s blog
今の会社に移って半年経ちました。めでたく試用期間終了です。といっても別に試用期間中に密かに首を切られるような事をしたとか、逆に試用期間が終わったからと言ってこれで定年までのうのうと働ける、という訳ではありません。未来は全く判りません。まあとにかく、一つ区切りがやってきました。 金融を知らないQuantsの仕事 私の職業の肩書きには Quantitatitatitatitative という単語がくっついて超カッコよさそう。普通は Quant というと、金融工学や統計数理に詳しい夜もブイブイいわしている超イケメン20代を想像しますが、私は金融とか全然知らないアラフォーお父さんです。それでも Quant です。お願いですから、私に何を買ったらいいかとか、聞かないでください。金融商品とか買った事ないし。というか、逆に教えて欲しいです。 私のチームは、本当の Quant さん達が開発した、金融派生商
Lambda: the ultimate syntax-semantics interface
Spreadsheets and Matlab are popular because they let domain experts write down a problem in familiar terms and quickly play with potential solutions. Natural-language semanticists have a better tool. It displays truth conditions, infers types, simplifies terms, and computes yields. Its modularity facilities make it easy to try fragments out, scale them up, and abstract encoding details out of sema
Haskellでメモ化を行うもう一つの方法 - 純粋関数型雑記帳
はじめに Haskell で動的計画法を書くための3つの方針 - tosの日記 これを読んで、私もちょっと前にHaskellでメモ化をやる方法を考えていたことを思い出したので、書いてみることにします。 Haskellでのメモ化は、私のかなり昔の駄文(リアルにびっくりするほど駄文なのでご注意。メモ化の綴りも間違ってます)や、このあたりに日本語の文章があります。 これらのページでのメモ化実現方針は、1. 計算済み値を保持するテーブルをMapなどを用いて用意する 2. そのテーブルを副作用を用いて更新する、というものになっています。なるほど、これは手続き型言語との対比でとても直接的な実装です。しかし、テーブルを更新するために関数全体がモナドになってしまったりして、あまり使い勝手が良くなさそうです。モナドであることを悟らせないために、演算子をモナド化したり、あるいはモナドじゃなくするためにunsa
jQueryは本当にモナドだった - Pixel Pedals of Tomakomai
タイトルはかなり釣りです:-) まあ、間違えているかもしれないので内容の判断は自己責任で。 さて、元ネタはこちらなのですが、独自のモナド節を唱えていて非常に怪しい。と言うことで、怪しくならないように真面目に解説してみます。 ちなみに、このエントリでは数学のモナドではなくHaskellのMonad、つまりKleisli Tripleとして説明します。 元記事のどこが怪しいのか 元記事では「流れるインタフェース」がbindであるかのように書いていますが、ここが怪しいと感じます。「流れるインタフェース」は単なる関数合成(haskelでいうg . f)であり、クライスリ結合ではないと思います。後述するように、bindが提供するクライスリ結合は、違う型同士をくっつけられるという奇妙な性質を持つ合成です。 元となる圏 DOMエレメントとjQueryオブジェクトのみを含む任意の集合を対象(Object)
A Neighborhood of Infinity: The Categorification of the Naturals
A heavyweight looking title, but this post is really about nothing more than doing arithmetic. Peano Arithmetic I've seen many articles on type level arithmetic. They all seem to share the idea that the Haskell type system can be made to perform computations by treating types as symbols that can be manipulated according to rules. But every article I have seen seems to miss the important idea that
Curry’n’C Converter — Using Haskell with Objective-C in the Classic Cocoa Tutorial
Using the classic “Currency Converter” Objective-C tutorial application as an example I show how to implement the model layer of a Cocoa application in Haskell: I explain how to modify the standard Xcode project for building a mixed Haskell/Objective-C application. I create an Objective-C wrapper class for the Haskell model part that hides the Haskell implementation from the Objective-C controller
Explaining Haskell IO without Monads
This tutorial explains how to perform IO in Haskell, without attempting to give any understanding of monads. We start with the simplest example of IO, then build up to more complex examples. You can either read the tutorial to the end, or stop at the end of any section - each additional section will let you tackle new problems. We assume basic familiarity with Haskell, such as the material covered
プログラミングHaskellでHaskellをもう一度勉強する - 射撃しつつ前転 改
Programming in Haskellという本がおすすめらしい、という話は以前に読んだことがあって、買おうかどうか迷ったりしたこともあったのだが、先日日本語訳が出たので、そっちを買った。これは確かに良い本だと思ったので感想を書いておく。 その日本語訳というのが、プログラミングHaskell (Graham Hutton 著, 山本和彦 訳) である。 まず、とても薄い本である。付録まで入れても200ページちょっとしかない。だから、これを読んだからといってすぐにHaskellで実用的なプログラムが書けるようになるわけではない。本書がサポートするのはあくまでもHaskellでプログラムがある程度書けるようになる、というところまでで、実のところ、それは既存のHaskellの入門書でも十分に可能だ。そして、大学の先生が書いた本である（著者はノッティンガム大学の教授である）ので、なんというか、
llvm backend · Wiki · Glasgow Haskell Compiler / GHC · GitLab
The Glorious Glasgow Haskell Compiler.
Route 477
■ [ruby] gem-depcleanについて、とりとめもないこと RubyGemsをgentooのPortage風に管理するプラグイン、gem-depcleanをid:ursmさんが公開されています。 gem-depclean - ursmの日記 やりたいことは 依存元がなくなったgemの削除 必要なgem・versionだけ残すgem clean の2つですよね。 前者について これはRubyGemsの機能として含まれるべきでしょう。uninstallの時に、「それが必要としているが、他から必要とされていないgem」を 同時に消すオプションがあれば良いんですよね。 後者について 「gem clean railsしたら、昔書いたアプリで使ってたバージョンが消えて困った」とかの経験は僕もあります。 「このバージョンはまだ使ってます」フラグを立てることが出来たら良いのかも。(aptitu
Programming tidbits
Right shifting of positive integers leads to truncation: 9 >> 1 4 9 >> 2 2 Interestingly, right shift for negative integers also leads to truncation: -9 >> 1 -5 -9 >> 2 -3 If we combine the effects, we can get rounding up during right shift for positive integers: -(-9 >> 1) 5 -(-9 >> 2) 3 So here is a C function for rounding up while shifting: int rightShiftRoundUp(int x, int n){ return - ( -x >>
An implementation of Python in Haskell — Project Kenai
Haskell is best in class functional programming language. Python is one of the easiest programming languages in the world for people to get started with. HoPe is an implementation of Python in Haskell on the lines of Jython and IronPython. General announcements and random ramblings for this project will be maintained at my blog at "http://programming-tidbits.blogspot.com" . Tags:python, haskell,
Martijn’s Journal » Context Synonyms
Sometimes a function’s type class context grows so big that you would like to group the various type class constraints together and give it a sensible name, especially if that big context is used many times in your module. Consider for example the fold function from module Generics.MultiRec.FoldAlgK: fold :: (Fam phi, HFunctor phi (PF phi), Fold (PF phi)) => Algebra phi r -> phi ix -> ix -> r Cont
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Galois › Blog › Blog » Concurrent Orchestration in Haskell
astview
Cross-compiling Haskell to OMAP3 and iPhone platforms