型クラスの歴史を軽くひも解く - Qiita
現在、型クラスは Haskell のみならず、様々な言語で実装されたり似たようなものが実装されている言語機能です。 そういった風潮にも拘わらず、型クラスはどうにも大仰に捉えられがちに感じます。勿論、Haskell でも当初の仕様に比べると、最新の仕様はややこしいし、GHC の拡張や他機能と組み合わせるともっとややこしいのは事実ですが。 ということで、型クラスとはそもそもどういう motivation で発明、導入されたのか、簡単に調べてみます。 Haskell の型クラスは 1992 年の Haskell 1.2 で導入されました。1.2 のレポートに以下のような記述があるので間違ってないはず（他の言語でより早く実装されてるかもしれないけどそこまで調べてると時間なくなるので見ないふりをする。）。 Haskell is a large and complex language. design
Stackで単体テストを書いて実行する - Haskell入門より - Qiita
このエントリは、 Haskell入門の執筆 の際に、 ページ数の都合で載せられなかった記事に加筆修正をしたものです。1.4節に載せる予定だった内容です。 このエントリの内容を試すには、 Stackをインストール し、 /tmp ディレクトリなどで以下のコマンドを実行してプロジェクトを作成してください。 初めての開発: 単体テストを書く 開発フローを体験するため、未実装だった単体テストを作ってみましょう。開発をするときにはREPLを使うのも便利ですが、ここでは --file-watch オプションを使います。--file-watch オプションを stack build へ指定すると、プログラムに変更があるかを監視し、変更があった場合は自動的にビルドをしてくれます。さらに、 build に--test オプションを渡すと stack test と同等の機能になります。このようにしてstack
Roll your Own Bitcoin Exchange in Haskell
A stock exchange is a complex beast, but much of it can be reduced to a single data structure: the Order Book. A Bitcoin exchange uses the same data structure when trading currency pairs of USD, BTC, or ETH. This article will show you how to: Design an order book that can handle limit orders and market orders Install automated sanity checks that run on every write to the order book, preventing hac
Fighting spam with Haskell
One of our weapons in the fight against spam, malware, and other abuse on Facebook is a system called Sigma. Its job is to proactively identify malicious actions on Facebook, such as spam, phishing attacks, posting links to malware, etc. Bad content detected by Sigma is removed automatically so that it doesn’t show up in your News Feed. We recently completed a two-year-long major redesign of Sigma
Haskellらしさって？「型」と「関数」の基本を解説！【第二言語としてのHaskell】 - エンジニアHub｜Webエンジニアのキャリアを考える！
Haskellらしさって？「型」と「関数」の基本を解説！【第二言語としてのHaskell】 第二言語としてHaskellを学ぶ道案内。開発環境の準備から、Haskellらしいプログラミングの考え方まで、Haskell-jpのigrepさんが丁寧に解説します。 こんにちは。Haskell-jpの山本悠滋です。 この記事では、すでにプログラミング経験のある方向けに、第二言語としてHaskellを学ぶ道案内をしていきます。 環境の準備や、自明なサンプルプログラムの紹介にとどまらず、Haskellらしいプログラミングの考え方も伝えていく予定です。 Haskellについて Haskellというと、「関数型」というキーワードが思い浮かぶ方も多いと思います。 確かにHaskellは、すべての関数がカリー化されており、それらを組み合わせてプログラムを書いていく関数プログラミングがしやすい言語です。 しかし
time.gif · HookRace Blog
This is an endless GIF that always shows the current time in UTC: Source Code (From reports it doesn’t seem to work on Safari, other browsers should be fine.) time.gif is written in Haskell and works by dynamically generating each frame of the GIF and slowly feeding them over the HTTP connection. There is no guarantee that this GIF shows a reasonable time and this is just for fun anyway, so better
FRPクライシス - モナドとわたしとコモナド
FRP(Functional Reactive Programming)は、リアクティブプログラミングと関数型プログラミングの性質を持つプログラミングパラダイムである。FRPは古典的FRPと矢矧のFRPに大別される。 古典的FRP 古典的(Classical)FRPは、非連続的な値の列Eventと、常に何らかの値を取るBehaviourの二種類の構造を導入したものである。 代表的な実装としてreactive-banana、euphoria、reflexなどが挙げられる。 Haskellにおいては、EventはIOを通じて非同期的に生成できる設計が多い。Eventはマップやフィルタリングができ、モノイドとして合成することもできる。なお、GenはFRPの構造を扱うのに要求されるモナドで、実装の都合上しばしば必要となる。Behaviourは現在の値を取り出せる他、HaskellならApplica
Iterators and Streams in Rust and Haskell - FP Complete
Streaming data is a problem domain I’ve played with a lot in Haskell. In Haskell, the closest we come to built-in streaming data support is laziness-by-default, which doesn’t fully capture streaming data. (I’m not going into those details today, but if you want to understand this better, there’s plenty of information in the conduit tutorial.) Real streaming data is handled at the library level in
超技術書典で同人誌『入門 LiquidHaskell』を頒布できませんでした - チェシャ猫の消滅定理
先日、ニコニコ超会議内で行われた「超技術書典」にて、LiquidHaskell の同人誌でサークル参加してきました。 lh101.dodgsonlabs.com 技術書典 2 ではそこそこの部数が出た ので Haskell 同人誌の需要はゼロではないと踏んでいたのですが、びっくりするぐらい売れません でした。とりあえず後に続く人が同じ轍を踏まないように、今回の様子について記録しておきます。 頒布物 頒布した同人誌は以下の 2 種類です。前者は技術書典 2 で頒布したものの増刷、後者は id:kazeula さんから委託を受けた新刊です。 入門 LiquidHaskell −篩型による静的コード解析− GHCJS 入門 −Haskell による JavaScript 開発− 持ち込んだ（冊子版の）部数と実際に売れた部数は以下の通りでした。 入門 LiquidHaskell : 持ち込み 12
日本Haskellユーザーグループ発足・Slackチーム開放のお知らせ - Haskell-jp
はじめまして。Haskell-jpこと日本Haskellユーザーグループです！ この度、日本におけるHaskellの普及を目指して、ユーザーグループを立ち上げることといたしました。 詳しいことは「日本Haskellユーザーグループについて」をご覧いただくとして、立ち上げにともない、3点発表です！ Link to hereその1 公式Slackチームの開放 Haskell-jp立ち上げ前、有志による議論に使用していたSlackチームを開放します！ 下記から登録してください！ https://haskell.jp/signin-slack.html 現時点の運用ルールは、以下のとおりです。 #questionsや#beginnersではHaskellに関する質問を募集します！ 質問に対する回答は、スレッド機能を使って回答しましょう。複数の質問を同時に投稿しやすくするための配慮です。 その他、「
Haskell から見た node.js - あどけない話
誤訳 以前、「サーバサイドJavaScriptのNode.js、最初はCやHaskellを検討し失敗。開発者ライアン・ダール氏へのインタビュー」という記事が twitter で話題になっていました。 ―― なぜJavaScriptを選んだのでしょう？ ダール氏 実は最初は違いました。最初はC、Lua、Haskellなどで失敗していました。そんなときV8（Chromeが採用しているJavaScriptエンジン）に気がついて、やろうとしていることに対してJavaScriptが完璧な言語だと突然ひらめいたのです。 ただでさえ、Haskell は遅いと誤解されているのに、このような悪意さえ感じらえる訳だと、さらに誤解が深まりそうです。原文にはこう書かれています。 Dahl: Originally I didn’t. I had several failed private projects doi
Scrap Your Boilerplate: Generic Programming in Haskell
Scrap Your Boilerplate: Generic Programming in Haskell by Lyle Kopnicky, presented at Portland Functional Programming Study Group January 2013 The problem Haskell's statically typed data structures make it hard to write code that works against many data types. The solution Scrap Your Boilerplate is one solution to that problem. It provides general functions for traversing hierarchical data structu
型クラスはインターフェースとどう違うのか | POSTD
(注：2017/02/27、いただいたフィードバックを元に翻訳を修正いたしました。) Haskellの型クラスは、Haskellを学び始めたばかりの多くの人にとっては難しい概念です。たいていの言語はこれを表すことが全くできませんし、それに近い概念も持っていません。多くのオブジェクト指向型の言語にとっては、利用可能なものの中では Interface が最も近い言語要素でしょう。Rubyの modules は似たような役割を持っています。しかし、この概念は両方とも、名前の多重定義と一種のポリモーフィズムをアドレスするので、型クラスが提供するパワーの一部を欠いています。 この記事は、型クラスに興味を持っている人向けです。Haskellや関数型プログラミングの予備知識は必要ありません。JavaやC言語のような静的な型付き言語に慣れていれば、役に立つでしょう。 型クラスについての概要/要約 型クラス
Lenses from Scratch - School of Haskell | School of Haskell
As of March 2020, School of Haskell has been switched to read-only mode. Lens gets a lot of flack for having crazy type signatures. This is a whirlwind derivation of the craziest of signatures from the ground up. It might be useful as a starting point for exploring more of the lens code and seeing "through" the sophisticated types. Getting and SettingAt the simplest, a Lens is a getter and a sette
Comonads in Haskell
Comonads are the category-theoretic dual of monads. While monads have been found to be a very useful design pattern for structuring programs in functional languages, such as Haskell, comonads have so far failed to gain much traction. In this talk we will look at what comonads are and how they are defined in Haskell, comparing them with the Haskell definition of monads. We will then look at some sp
Reflecting on Haskell in 2016
Reflecting on Haskell in 2016 Well, 2016 … that just happened. About the only thing I can put in perspective at closing of this year is progress and innovation in Haskell ecosystem. There was a lot inspiring work and progress that pushed the state of the art forward. This was a monumental year of Haskell in production. There were dozens of talks given about success stories with an unprecedented am
波打たせるものの正体(エクステンシブル・タングル) - モナドとわたしとコモナド
Haskell Advent Calendar 11日目 リアルワールドなHaskellerは、幾十ものフィールドを持つ大きなレコードをしばしば扱う羽目になる。モナディックにレコードを構築したい場合、RecordWildCards拡張を用いて以下のようにするのが定番だ。 import System.Random data Rec = Rec { foo :: String, bar :: Int, baz :: Double, qux :: Bool } makeRec = do foo <- getLine bar <- length <$> getLine baz <- readLn qux <- randomIO return Rec{..} しかし、<-の右辺が大きい、フィールドの数が多い、といったリアルワールドにありがちな事象が掛け算されれば、定義は巨大になってしまう。 そこで登
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
kyoto.gby
https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.92.958&rep=rep1&type=pdf
http://www.cs.tufts.edu/~nr/cs257/archive/john-hughes/quick.pdf
