線形型つきドメイン特化言語 (DSL) を Haskell上に実装する - keigoiの日記
線形λ計算というのは、「変数をちょうど一度だけ使わなければならない」という線形型をもったλ計算だ。これを Haskell で実装してみた。「ファイルが開かれたら必ず閉じる」という制約のような、線形型 (linear type) が必要な DSL の実装の参考になるかもしれない。 線形λ計算の実装は、既に Olegさんがやっている。それは変数参照をde Bruijn indexを使って書くようになっている。 一方、この実装は、よりHaskellに近い記法で書けるようになっている。 使用例 λ抽象の前に lam, 関数適用の前に app, 変数参照の前に var が必要である以外は Haskell と同じ記法で書ける。 Linear Lambda Calculus の頭文字をとって LLC モナドという名前にしてある。 LLCモナドの型は LLC t ii jj a となっていて、 t 型のタ
[Technical] Announcing psqueues
At Better, the engineering team is dedicated to building the best learning experience. This means our app should be fast, even when there are thousands of users accessing our system at the same time. Caching plays an important role here. While there are pre-made solutions available, such as memcached, custom in-memory caches can provide many benefits (e.g., avoiding repeated deserialization) if th
![[Technical] Announcing psqueues](https://cdn-ak-scissors.b.st-hatena.com/image/square/61380fe72f42500f856063c1b3cb48e3005415d8/height=288;version=1;width=512/https%3A%2F%2Fmiro.medium.com%2Fv2%2Fresize%3Afit%3A1000%2F1%2AOoGZbLq_SyV09H3DVj63vQ.png)
Announcing engine-io and socket-io for Haskell
I’ve just released three new libraries to Hackage: engine-io engine-io-snap socket-io Engine.IO Engine.IO is a new framework from Automattic, which provides an abstraction for real-time client/server communication over the web. You can establish communication channels with clients over XHR long-polling, which works even through proxies and aggressive traffic rewriting, and connections are upgraded
Haskellでwebsocketサーバを作る - Qiita
haskellでの、websocketのサーバの作り方です。 サーバとしてはwarpのみを使用しています。 確認したバージョンなどは以下。 ghc-7.6.3 warp-3.0.0.3 wai-3.0.0.2 websockets-0.8.2.5 wai-websockets-3.0.0 http-types-0.8.5 OS: windows8.1, lubuntu-14.04 とりあえず動かす サーバコード 解説っぽいものはほとんどソースコード中にコメントで記載しました。 websocketでクライアントから投げられたメッセージをそのまま返すようなアプリケーションです。 普段はmainは下から書いていくのですが、上から読めるように、上からmainを書いています。 あと、他にも初心者にわかりにくそうな書き方は少しだけ避けたつもり。 {-# LANGUAGE OverloadedStrin
Reichert Brothers - GHC Hacking
If you haven’t figured it out already, I am a Haskell fanatic. Haskell is a fantastic language that has continuously driven me to explore new programming concepts and improve my own skill. Quite naturally, I am intrigued by GHC – The Glasgow Haskell Compiler. GHC is an open-source native code compiler for Haskell. GHC is written in Haskell with the majority of the runtime system written in C and C
Announcing rest - A Haskell REST framework
By: Silk Engineering BlogJune 30th 2014We are excited to officially announce the open source release of our REST framework rest! rest is a set of packages used to write, document, and use RESTful applications. You write your API in Haskell using rest’s DSL. This API can then be run in different web frameworks like happstack, snap, or wai. Additionally, you can automatically generate documentation
Applicative Programming with Effects
Conor McBride and Ross Paterson. in Journal of Functional Programming 18:1 (2008), pages 1-13. Abstract In this paper, we introduce Applicative functors--an abstract characterisation of an applicative style of effectful programming, weaker than Monads and hence more widespread. Indeed, it is the ubiquity of this programming pattern that drew us to the abstraction. We retrace our steps in this pape
Haskell-rerational-recordでDB操作するのが楽しすぎる件〜その１〜 - Creatable a => a -> IO b
どーも、いつものちゅーんさんです。 一ヶ月くらい前に、もくもくHaskell会というハッカソンで日比野さん(@khibino)とご一緒したので、 日比野さんの開発したhaskell-rerational-record(以下HRR)というライブラリを（色々教わりまくりつつ）いじいじしていました。 お仕事のちゅーんさんはわりとゴリゴリSQLを書くわけですけど、あの、あれですよ、辛いんです。 もくもく会でも日比野さんと只管愚痴りまくってましたけど、SQLとかね、こんなもの人間の書くものじゃないです。 ね？ そんなわけで、Haskellを用いて如何に苦しまず楽しくRDBと戯れるか、というのが本日のお題です。 HRRの特徴 基本的にはSQLをモナディックに生成するためのライブラリで。 普通のアプリケーションで必要になるようなほとんどのクエリはこれだけで書く事ができます。 HRRには、ざっと次のような
米Facebook、Haskellライブラリの「Haxl」をオープンソースソフトウェアとして公開 | OSDN Magazine
米Facebookが関数型プログラミング言語「Haskell」向けのデータアクセスライブラリ「Haxl」を公開した。リモートにあるデータベースへのアクセスを簡素化できるというもので、修正BSDライセンスで提供されている。 Haskellは関数型プログラミング言語で、ほかの言語との統合性、並行性/並列性などを特徴とし、デバッガ、プロファイラ、リッチなライブラリなどを備える。 HaxlはHaskell用のデータアクセスライブラリで、これを利用してリモートにあるデータベースやWebベースのサービスにアクセスできる。アプリケーションのコードとデータソースの間のレイヤとして機能し、同一のデータソースに対して複数の要求のバッチ処理、複数のデータソースからのデータ要求、過去の要求のキャッシュ作成などを自動で行うことで、データをフェッチするためのコードが簡潔になるという。 FacebookはHaxlという
Arrow化pipeはFRPの夢を見るか？ - Qiita
askP = P.constructT P.kleisli0 $ do lift $ putStrLn "情報を入力して下さい" forever $ do lbl <- P.await lift $ putStr (lbl ++ ": ") ct <- lift $ getLine P.yield (lbl, ct) registerP = do r <- runKleisli (P.run askP) ["Zip code", "Address", "Name"] print r ほとんど間違い探しのレベルですね。真似して作ったので仕方ない。machinecell側にだけkleisliという見慣れない名前が見えますが、これは型合わせだと思って無視して頂いてOKです。 上のコードは、ちょっと変則的ですが、pipe系の汎用性をデモするために「データの中間加工時に副作用を起こす処理」を実装して
Spreadsheet-like programming in Haskell
What if I told you that a spreadsheet could be a library instead of an application? What would that even mean? How do we distill the logic behind spreadsheets into a reusable abstraction? My mvc-updates library answers this question by bringing spreadsheet-like programming to Haskell using an intuitive Applicative interface. The central abstraction is an Applicative Updatable value, which is just
HaskellのFusionがあれば速度と抽象化を両立できる - りんごがでている
データの分析をする際には配列やベクトルは欠かせないデータ構造です。 大体どの言語にも大体配列は用意されていて、そこにサンプルのデータ等を入れて統計量を計算したり関数に渡して回帰をしたりするわけです。 ベクトルという単位でデータの塊を扱うものの、実際のアルゴリズムではベクトル内の要素一つひとつを見ていって何か処理をしたり計算をすることが多いでしょう。 その際、命令型言語ではforループを陽に使って要素にアクセスすることになります。 簡単な例を見てみましょう。ベクトルv1とv2の内積を求める関数をC言語で書くと以下のようになります。 function dot(double* v1, double* v2, size_t n) { double s = 0.0; for (int i = 0; i < n; i++) { s += v1[i] * v2[i]; } return s; } 特に難
Reddit - Dive into anything
The Haskell programming language community. Daily news and info about all things Haskell related: practical stuff, theory, types, libraries, jobs, patches, releases, events and conferences and more...
Haste (Same Language, Multiple Platforms) and Tagless Final Style (Same Syntax, Multiple Interpretations)
I discuss Haste, which compiles Haskell code to Javascript to be run on the browser. I then cover Tagless Final Style, which is a technique for creating flexible and extensible DSLs.Read less
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
CiteSeerX
Reddit - Dive into anything
Succinct Data Structures
Reddit - Dive into anything
Loading...
ACM SIGPLAN Haskell Symposium 2014