conduitやpipesなどのストリーミングライブラリの実装は結構わかりにくい。Pipes to Conduitsという一連のエントリが分かりやすい解説なのだが、それでも序盤からFunctorやFreeモナドを駆使していてハードルが高めな印象を受ける。 理解するには自分で実装するのが一番の近道だろうから、このエントリでごく簡単なストリーミングライブラリを実装してみよう。ストリーミングライブラリではI/Oを扱うのが目的であるため、本来であればモナドを扱えるように実装しなければ意味がないのだが、ストリーミングの基本的な仕組みとしてはモナドは重要ではないので、ここでは純粋な値のみを扱うストリームを作成する。 ストリームを表す型 ここが一番重要かつわかりにくい部分だと思われる。今回の実装では、「入力」「出力」「結果」の3つの型をストリームで利用する。が、「出力」と「結果」の違いとはいったいなんな
I’m working on a Haskell project at the moment, I guess my first Haskell client work. It’s a lot of fun, and a little bit different from the more loosely typed languages I’ve used before. So, Haskell. Not as hard as you’d think to write something in it, though like with any language, I suspect it will take one a while to write it really well. Even as a beginner, it’s actually surprisingly easy to
Based on a short graduate course on typed lambda-calculus given at the Université Paris VII in the autumn term of 1986-7. Published by Cambridge University Press (Cambridge Tracts in Theoretical Computer Science, 7), ISBN 0 521 37181 3; first published 1989, reprinted with corrections 1990. Here is the story of how the translation came about: Jean-Yves had mentioned the notes to Paul at a conferen
Free Download: N/A 2017/8/11 初版 C92 東そ34b 数学寄席 浮世根問 by m0h1can とある新規事業開発の回顧録 by tarhashi REAL PROGRAMMER STORY V by m0h1can GameSeeker Vol. 5-4 『Playback Final Fantasy XI』 by mascalade シミュレーション業界焼肉座談会 Free Download: N/A 2015/12/31 初版 C89 東ム44a オンライン広告とオークション理論 by dekosuke From Prolog to AnsProlog by m0h1can Numerical Methods in Logic Programming by m0h1can GameSeeker Vol. 5-3 『Playback Final Fanta
I was asked to give two talks at the Boston Area Haskell User Group for this past Tuesday. The first was pitched at a more introductory level and the second was to go deeper into what I have been using monoids for lately. The first talk covers an introduction to the mathematical notion of a monoid, introduces some of the features of my Haskell monoids library on hackage, and starts to motivate the
Haskell is a great language for constructing code modularly from small but orthogonal building blocks. One of these small blocks is the monoid. Although monoids come from mathematics (algebra in particular) they are found everywhere in computing. You probably use one or two monoids implicitly with every line of code you write, whatever the language, but you might not know it yet. By making them ex
All About All About Monoids Monoids Edward Kmett Overview Overview Monoids (definition, examples) Reducers Generators Benefits of Monoidal Parsing ◦ Incremental Parsing (FingerTrees) ◦ Parallel Parsing (Associativity) ◦ Composing Parsers (Products, Layering) ◦ Compressive Parsing (LZ78, Bentley-McIlroy) Going Deeper (Seminearrings) What is a What is a Monoid Monoid? ? A Monoid is any a
ネタバレ注意：歌舞伎座.tech#2で使うスライド資料
江添亮 自由ソフトウェア主義者 C++ Evangelist C++標準化委員会の委員 ドワンゴ社員 C++11本を執筆した。 株式会社ドワンゴで働いている。 Mail:boostcpp@gmail.com Twitter:@EzoeRyou GitHub: https://github.com/EzoeRyou 江添亮のマストドン@EzoeRyou 筆者にブログのネタを提供するために、品物をアマゾンお気に入りリスト経由で送りたい場合： Amazon.co.jp: 江添亮: 江添のほしい物リスト 筆者にブログのネタを提供するために、直接に品物を送りたい場合、住所をメールで質問してください。 View my complete profile ► 2020 (31) ► December (2) ► November (2) ► September (2) ► August (4) ► Jul
ここ最近のインフラ系技術の流れがおもしろいなー、と思ったので、Puppet が出た辺りぐらいから、振り返って整理してみる。殴り書きなので、後から修正したり書き加えたりするかも。特に後半の方は、あまり考えが整理できてない。 最近のウェブ界隈での「インフラ」という用語の使われ方には、色々異論もあるようだけど、ここではごく最近使われるようになってきた、OS からミドルウェアといったソフトウェアレイヤーを指す言葉としてのインフラについて触れる。（英語圏でも同様の意味で使われているようなので、ある程度市民権を得たと言っても良さそうだし。） プロビジョニングレイヤー まず、前提知識としてプロビジョニングレイヤーと自分が勝手に呼んでるものについて整理。 Chef や Puppet は「プロビジョニングフレームワーク」とも呼ばれているが、以下の議論をより厳密にするために、Lee Thompson 氏による
Wenn Sie diese Seite sehen, wurden Sie umgeleitet, weil wir zur Zeit aus Sicherheitsgründen nicht aus allen Netzen Verbindungen zu den Diensten der Universität zulassen. Bitte nutzen Sie das Uni-VPN, um innerhalb eines vertrauenswürdigen Netzes auf den gewünschten Dienst zuzugreifen. Sollten Sie sich in einem Netzwerk innerhalb Deutschlands befinden, beantragen Sie die Freigabe Ihrer aktuellen IP-
タイトルをご覧の通り、GitHubがミュージックビデオを公開しました。曲名は「Better Together」。コラボレーションの素晴らしさを歌ったこの一曲は話題になる事間違いなしです。ビデオにはGitHubberも多数出演していますのでGitHub大好きな私たちにピッタリの一曲です。 追記 このミュージック・ビデオはGitHub Guidesという一連のビデオシリーズの購読を促すものです。以前紹介したようにGitHubは公式YouTubeチャンネルを開設し、動画コンテンツの周知に力をいれているようです。 歌詞 Better Together Song produced by Jeff Kite Sometimes your code looks perfect, Nothing to rearrange. Sometimes you fork, out a feature When yo
Recorded: 2013-10-20, Published: 2013-10-28 Simon Peyton Jones joins us to discuss recent developments in GHC, parallel programming, and computer science education. We start by discussing some upcoming changes to Cabal and the module system and then look at recent developments in parallelizing Haskell programs. Finally, Simon shares what he's been working on recently: a national curriculum of comp
OO の方面から、「静的型とか別に役に立つとは思えない、静的型の人は頭おかしい」 とか関数型の方面から、「静的型が役に立たないなんてはずない OO の人は頭おかしい」 とか良く聞こえてくるんですが、ダックタイピング心理学 とかいう真に頭おかしい意見を無視できるとすると（無視できない量あるんですが）、まあ私にはどっちもわからんでもない、という話です。 型をゴミ箱に捨てておいてから、後でゴミ箱を漁るなら、型なんかいらない オブジェクトの静的型システムを大雑把にいうとまず upcast と downcast があります。 upcast はオブジェクトの静的型をそれが属するクラスからそのスーパークラスにを変えちまうこと、downcast はその逆、オブジェクトの静的型をそれが属するクラスから子クラスに変えちまうことです。サブクラスの物はスーパークラスとしても通用するはずですから upcast は失
Note: This post is based on a presentation I just did at RuPy in Budapest. Instead of just posting my slides I thought it would be more useful if I wrote it down as a blog post while it’s still fresh in my mind. You can also watch the video recording of the presentation. FYI I’m planning to do a similar presentation at RubyConf, except I’ll remove the Python info, and instead compare how GC works
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Private Site