oreilly.com
New! O’Reilly announces launch of the AI Academy. Read now Introducing the AI Academy Help your entire org put GenAI to work Every employee today needs to know how to prompt GenAI, use it to enhance critical thinking and productivity, and more. With the AI Academy they can. For less. O’Reilly AI-powered Answers just got even smarter O’Reilly Answers instantly generates information teams can trust,
Indexed Monadの世界 - モナドとわたしとコモナド
もっと、モナドの力を引き出したくはないか？ え？アクションの前後で型を変えたい？いやいやいや、モナドは自己関手の圏上の単なるモノイドだよ、そんなことができ…る…！？えっ、できるの…マジで…？ できる。そう、Haskellならね。 {-# LANGUAGE QuasiQuotes #-} import Control.Monad.Indexed.State import Control.Monad.Indexed import Language.Haskell.IndexedDo hoge :: IxState Int [Int] () hoge = [ido|do imodify (*10) imodify show imodify reverse imodify (++"123") imodify $ map fromEnum |] *ghci> runIxState hoge 42 (
E. Kmettさんに圏論学習の教材を聞いてみた - taketoncheir.log
先週末、ekmett勉強会なる会が開かれました。 （発起人の@tanakhさん、ありがとうございます！） ekmett勉強会 (partake) ekmettとは、HaskellやScalaにて重要なlibrary群を、ありえないスピードで作り上げていくEdward Kmmetさんのことです。 ekmett (github) 勉強会にはekmettさんがビデオチャットで参加されていて、会の最後は質問大会となりました。 その中で、私が 「Kmettさんの抽象力の源泉はどこにあるのか？」 と尋ねたところ（@nushioさん、通訳ありがとうございます！） 「（意訳すると）圏論」 とのお答えでした。 @taketon_ Exactly. =) Category theory is just a great source of generalized tools that people have b
Persistent :: Yesod Web Framework Book- Version 1.6
selectList is the most commonly used, so we will cover it specifically. Understanding the others should be trivial after that. selectList takes two arguments: a list of Filters, and a list of SelectOpts. The former is what limits your results based on characteristics; it allows for equals, less than, is member of, and such. SelectOpts provides for three different features: sorting, limiting output
栄光のグラスゴーHaskellコンパイルシステム利用の手引き バージョン7.8.2
栄光のグラスゴーHaskellコンパイルシステム利用の手引き バージョン7.8.2 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.8.1 1.5.1. Highlights 1.5.2. Full details 1.5.2.1. Language 1.5.2.2. Compiler 1.5.2.3. GHCi 1.5.2.4. Template Haskell 1.5.2.5. Runtime system 1.5.2.6. Build system 1.5.3. Lib
Orphan instances - maoeのブログ
Haskellのorphan instanceが何者なのか、その意味するところをちゃんと理解してなかったので調べてみた。 orphan instancesとは何？ 型クラスの定義ともデータ型の定義とも異なるモジュールで定義されたインスタンス宣言のこと 例: T.hsで定義されたデータ型Tについて、モジュールM.hsでinstance Show Tとインスタンス宣言されていたら、それはorphan instance。 このインスタンス宣言は、型クラスShowともデータ型Tとも異なるモジュールで宣言されているから。 orphan instancesはいいもん？わるもん？ ケースバイケース 前提: Haskell 98では重複した*1インスタンス宣言を扱えない。 利点: ケースによってインスタンス宣言を差し替えられるように、複数のインスタンスを定義したい場合は、別モジュールに定義する（つまりor
Web/Frameworks - HaskellWiki
Content from Web should be merged here. Below is a list of known to be active Haskell web frameworks. Rather than one framework to rule them all, Haskell provides several options. You can view the Web/Deploy page to get an idea of how you might deploy an application written in some of these frameworks. See also: there are also many inactive web frameworks to draw inspiration from IHP: Integrated H
Snap: A Haskell Web Framework: Home
What is Snap? Snap is a simple web development framework for unix systems, written in the Haskell programming language. Snap has a high level of test coverage and is well-documented. Features include: A fast HTTP server library A sensible and clean monad for web programming An HTML-based templating system for generating pages Snaplets Snap includes an optional system for building reusable pieces w
モナドトランスフォーマー・ステップ・バイ・ステップ(Monad Transformers Step By Step) - りんごがでている
著者のMartin Grabmüller氏に許可をいただきましたので、 Haskellモナドトランスフォーマーのチュートリアルを翻訳したものを公開します。 タイポや誤訳、プログラムのミス等ありましたら、 Twitter宛@bicycle1885かコメント欄までご連絡頂けるとありがたいです。 元のテキストやプログラムは以下のリンクから得られます。 Monad Transformers Step by Step [2012/12/19] 誤りを多数訂正しました。id:qtamakiさん、ありがとうございます。 [2014/6/19] 誤りを2点訂正しました。id:daimatzさん、id:hitotakuchanさん、ありがとうございます。 Monad Transformers Step by Step Martin Grabmüller Oct 16 2006 概要(Abstract) この
Data.Aeson が便利すぎる件 - melpon日記 - HaskellもC++もまともに扱えないへたれのページ
JSON を扱うライブラリで一番簡単に見つかるのは Text.JSON ですが、しばらく使ってると、あまりの使いにくさに発狂しそうでした。 ということで他のを探した結果、Data.Aeson というのがかなりよさげだったので、これを使うことにしました。 しばらく使ってみた感じかなり良かったので、いくつか代表的な使い方を書いてみます。 インストール aeson ではなく、aeson-native を入れて下さい。 cabal install aeson-native import それぞれのコードは、これらの import （と LANGUAGE プラグマ）が先頭にあると思ってください。 {-# LANGUAGE OverloadedStrings #-} import Control.Applicative (Applicative,pure,(<$>),(<*>)) import Con
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
可変長引数をHaskellで。 - ここにタイトルを入力|
Haskellでも可変長引数はできる。らしい。 まぁ、型が死ぬので絶対オススメしないが。 ということで、printfのソースをリスペクトしつつ、色々試してみた。 とりあえず、考え方としては、 hoge 1 2 3があったとき、hogeは一つ引数をとる"a -> b"と仮定する。 すると、 (hoge :: a -> b) 1 2 3 (hoge 1 :: b) 2 3と引数を一つ"喰べる"ことができる。 で、このbという型がまた、同様に"a -> b"と等しくなれば、 (hoge 1 :: b) 2 3 (hoge 1 :: a -> b) 2 3 (hoge 1 2 :: b) 3 (hoge 1 2 :: a -> b) 3 (hoge 1 2 3 :: b)と"喰べ"続けることができて、最後にbが残ると。 もちろん、"b = a -> b"は成り立たないし、無理矢理作っても、"the
Haskellers
This is a parked page for haskellers.com and packdeps.haskellers.com. These sites were previously hosted by FP Complete, and are looking for a new home. If anyone is interested in picking these up, feel free to reach out to Michael Snoyman.
Introducing The Monads
Introducing The Monads Aditya Siram 20 September 2010 Aditya Siram () Introducing The Monads 20 September 2010 1 / 48 Outline 1 Overview 2 Monad Basics 3 Introducing The Monads Aditya Siram () Introducing The Monads 20 September 2010 2 / 48 Goals A monad primer (explain the common interface to all monads) A tour of the important monads and how to use them to get stu� done. Uses a cookbook approach
mighty.gby (Haskell で実装した 高速 Web サーバ Mighttpd について)
1 Haskell Web Mighttpd 2012.11.14 2 Mighttpd Haskell 3 Mighttpd Haskell Web 4 Mighttpd 5 Ping Pong 12 Linux 3.2.0 weighttp -n 100000 -c 1000 -t 3 -k http://127.0.0.1:8000/ index.html 151 6 WAI Web Application Interface type Application = Request -> ResourceT IO Response 7 Haskell 8 Haskell 9 10 11 12 13 1 1 14 15 Haskell Timeout timeout :: Int -> IO a -> IO (Maybe a) recv :: Socket -> Int -> IO St
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Simon Peyton-Jones - Microsoft Research
モナドがいっぱい！
Preferred way to do locales in the Haskell Platform
Google Code Archive - Long-term storage for Google Code Project Hosting.
MagicPoint presentation foils