doの乱用 - www.kotha.netの裏
メモ。 Haskell Reportによれば、(do a)という式の意味は(a)と同じなので、aがモナドな型を持っている必要はない。これを利用して、括弧を減らすためだけにdoを使うことができる。 import Data.Complex import Data.Monoid import Data.Text.Lazy.Builder import Data.Text.Lazy.Builder.RealFloat -- | 普通 complexInPolar :: Complex Double -> Builder complexInPolar x = fromString "(" <> realFloat (magnitude x) <> fromString ":" <> realFloat (phase x) <> fromString ")" -- | doの乱用 complexInP
GHCJS introduction – Concurrent Haskell in the browser | luites weblog
Note Some of the information here is outdated. Follow the installation instructions in the README. Using a virtual machine is no longer recommended and the ghcjs-build repository is no longer maintained. Updated examples can be found in the ghcjs-examples repository, or click the source link. The safety specifications in the JavaScript foreign function interface have been changed slightly, see GHC
すごい配列楽しく学ぼう
2. テーマについて 勉強会をやるらしい → 各 λ 人の好きな題材でいいらしい。 → じゃあ Haskell で何か話そう。 → でもすごい H 本出たし基本的なことはもう話題と して出尽してるよな…… → あれ？この本配列について書いてなくね？ → λ ＜ Haskell の配列も楽しく学ぼう！ 3. Haskell とは！ なんてことを話している時間はない。 とりあえず今後の話に関わることとしてこれぐらい。 型に厳しい（強い静的型付けである） キャストとかゆとりな事はしない 型が合ってないと絶対許してくれない 参照透明性が（基本的には）成り立つ IO ・破壊的変更の扱いがめんどい特殊 unsafe ほげほげの話はしない 「型クラス」がある 「型クラス」は共通の性質を持った型の集まり ある型クラスに関して polymorphic な関数とか書
Incoming: Ruby bridge - The language-puppet website.
I am working on a quick and dirty Ruby bridge library, that I hope will yield a huge performance gain with template interpolation in the language-puppet library. Right now, it is capable of: Initializing a Ruby interpreter from libruby Calling Ruby methods and functions Registering methods or functions that will be called from Ruby code Converting data between the two Worlds (right now the most co
Program imperatively using Haskell lenses
Haskell gets a lot of flack because it has no built-in support for state and mutation. Consequently, if we want to bake a stateful apple pie in Haskell we must first create a whole universe of stateful operations. However, this principled approach has paid off and now Haskell programmers enjoy more elegant, concise, and powerful imperative code than you can find even in self-described imperative l
Understanding Yoneda - School of Haskell | FP Complete
You don't need to know anything about category theory to use Haskell as a programming language. But if you want to understand the theory behind Haskell or contribute to its development, some familiarity with category theory is a prerequisite.Category theory is very easy at the beginning. I was able to explain what a category is to my 10-year old son. But the learning curve gets steeper and steeper
Freeモナドを超えた！？operationalモナドを使ってみよう - モナドとわたしとコモナド
限定版IOみたいなモナドを簡単に作れたら、コードが分離できるしテストもしやすくなるのになあ… 数か月前なら、 それ、Freeモナド*1でできるよ！ と返されるだろう。だが今は違う。Freeモナドよりも簡単にモナドを作れるモナド、Operationalモナドがあるのだ。 Freeモナドについて復習しよう。FreeモナドはFunctorを基にMonadを作れる構造であり、Functorで自分自身を包むことによってモナドの力を得ている*2。FunctorそのものはDeriveFunctor拡張を使って簡単に作れる。 {-# LANGUAGE DeriveFunctor #-} import Control.Monad.Free data CharIO a = PutCh Char a | GetCh (Char -> a) | LiftIO (IO a) deriving Functor put
apfelmus - The Operational Monad Tutorial
In this tutorial, I would like to present monads from the viewpoint of operational semantics and how it makes designing and implementing new monads a piece of cake. Examples include a monad for random number generation and a breadth-first implementation of monadic parser combinators. This article was first published in issue 15 of The Monad.Reader. Introduction Another monad tutorial? Oh my god, w
z3
Bindings for the Z3 4.x Theorem Prover (https://github.com/Z3Prover/z3). Z3.Base.C provides the raw foreign imports from Z3's C API. Z3.Base does the marshaling of values between Haskell and C, and transparently handles reference counting of Z3 objects for you. Z3.Monad provides a convenient monadic wrapper for the common usage scenario. Examples: https://github.com/IagoAbal/haskell-z3/tree/master
Free モナドは有効？ - Mizon Dev Diary | 2013-04-20
Free モナドは有効？ここ数日 Free モナドについて調べていて気になったことがあるので書く。Free モナド。興味深い名前のこのモナドはいくつかの興味深い特徴を持つ。現時点で自分が知っているのは次の3点。データ型 f を Functor のインスタンスにすると Free f が Monad のインスタンスになるFree f は mtl の型クラスをはじめとする多数の型クラスのインスタンスになる (地道にインスタンスを定義するのはめんどい)Free モナドのアクション Free f a は任意のモナド m のアクション m a に変換できるFree モナドを実用する観点でこれらの特徴を見ると、3点目の Free モナドを任意のモナドに変換できる特徴に注目したい。これは、Free モナドの各アクションをインターフェースと見立ててプログラミングをすると、インターフェースの実装コードをそのプ
Haskell beats C
2012年に PLDI 2013 に投稿され惜しくも reject されてしまった "Haskell beats C" とその実装の紹介です。（その後、ICFP 2013 に再投稿されました。）
ekmett勉強会 #ekmett_conf
Edward Kmett⏏️ @kmett Sadly, my boss's reaction to http://t.co/TuFx8aDkZf was to say "So, you're saying you're huge in Japan?" rather than fly me out there. 2013-03-30 14:21:03 Edward Kmett⏏️ @kmett @nebutalab Thanks. I can either Skype or Google Hangout, depending on what you guys use. The AD slides look great! =) 2013-03-31 10:44:37
Haskell の machines に入門してみた，というお話 - KrdLab's blog
はじめに io-streams パッケージがリリースされた折にふと「conduit，pipes，io-streams 以外の streaming data を扱うライブラリには何があるんだろうか？」と疑問に思いつぶやいてみたところ， machines がある ということを教えていただきました． 気になったので調べてみた，というのが今回の内容です． 基本的な使い方に始まり，何とか attoparsec を組み込むあたりまでは辿り着きました．なお，GHC 7.4.1 を使用しています． 見出し これは何？ 雰囲気 どう使うの？ 基本形 Source の作成 Process の作成 Transducer を組み込む 複数入力の取り扱い Parser を組み込む おわりに これは何？ 今回の対象は↓これ． machines-0.2.3.1 http://hackage.haskell.org/pa
モナド変換子の速さを測ってみる - モナドとわたしとコモナド
mtl(実装はtransformers)で提供されているモナド変換子のLazy版とStrict版で、どのくらいパフォーマンスの差が出るか調べてみた。また、私がCPS(継続渡しスタイル)で実装したものとも比較してみた。 比較方法 {-# LANGUAGE FlexibleContexts #-} import Control.Monad.Reader.Class import Control.Monad.Reader as R import Control.Monad.Reader.CPS as RC import Control.Monad.Writer.Lazy as WL import Control.Monad.Writer.Strict as WS import Control.Monad.Writer.CPS as WC import Data.Monoid import Con
The Comonad.Reader » Free Monads for Less (Part 1 of 3): Codensity
A couple of years back Janis Voigtländer wrote a nice paper on how one can use the codensity monad to improve the asymptotic complexity of algorithms using the free monads. He didn't use the name Codensity in the paper, but this is essentially the meaning of his type C. I just returned from running a workshop on domain-specific languages at McMaster University with the more than able assistance of
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Beautiful Concurrency - School of Haskell | School of Haskell
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/haskell-beats-C.pdf?from=https://research.microsoft.com/en-us/um/people/simonpj/papers/ndp/haskell-beats-C.pdf&type=exact
parsers
LinuxLinks
Overview
