An opinionated guide to Haskell in 2018
For me, this month marks the end of an era in my life: as of February 2018, I am no longer employed writing Haskell. It’s been a fascinating two years, and while I am excitedly looking forward to what I’ll be doing next, it’s likely I will continue to write Haskell in my spare time. I’ll probably even write it again professionally in the future. In the meantime, in the interest of both sharing wit
Beating C with 80 lines of Haskell: wc
Despite the click-bait title I hope you'll find this post generally illuminating, or at the very least a bit of fun! This article makes no claims that Haskell is "better" than C, nor does it make claims about the respective value of either language, or either implementation. It's simply an exploration into high-performance Haskell, with a few fun tricks and hacks along the way. You can find source
Haskell社内勉強会とHaskell学習ツールの紹介 | IIJ Engineers Blog
日本Haskellユーザーグループ（愛称 Haskell-jp）発起人の一人にして、Haskell-jpで一番のおしゃべり。 HaskellとWebAssemblyとプリキュアとポムポムプリンをこよなく愛する。 こんにちは。IIJ-IIの山本悠滋です。 今日はここ数ヶ月私と有志で行っている、Haskellの社内勉強会と、そこで使用している自作のHaskell入門ツールについて紹介します。 Haskellの社内勉強会について 「社内勉強会 失敗しながら学ぶHaskell入門タイム」と称して、私はこれまでに8ヶ月近くもの間、週1回Haskellの勉強会を開催してきました。 この手の勉強会は連続して参加することが前提となっているため、どうしても最初の回から少しずつ人数が減っていくという残念なことになりがちですが、どうにか私含め4～5人程度を維持してここまで30回、18個目の課題まで進めることが出
GitHub - dls/house: Haskell Operating System
hOp -- Sébastien Carlier and Jérémy Bobbio What is hOp ? ============= hOp is a micro-kernel based on the RTS of GHC, the Glasgow Haskell Compiler. It is meant to enable people to experiment with writing device drivers in Haskell. Currently, hOp is still very hackish, and IA32-specific. Contributions are welcome! The RTS of GHC is truly an amazing piece of software. By removing the system-specific
Haskell、Scala、ML、Scheme：あなたが次に学ぶ関数型言語 | POSTD
(編注：2016/7/27、頂いたフィードバックを元に記事を修正いたしました。) 学生たちから、次に学ぶ言語はどれがいいのかとよく聞かれます。IT業界で働きたい人にお薦めするのは、現在盛んに使われている言語です。C++、Java、C#はもちろん、Python、Ruby、PHP、Perlなども挙げられるでしょう。 一方、向学のためという人や、学術研究や起業に関心がある人にとって、次の言語を選ぶ基準となるのは、就職に有利かではなく言語の表現力でしょう。学術研究や起業活動を行うには、プログラマとしての能力を何倍にも高める必要があります。そして、（おそらく）確立されたコードベースを扱った経験はないでしょうから、手元にあるタスクにとって最適な言語を自由に選ぶことができます。 この記事では、勉強に適したHaskell、Scala、ML、Schemeという4つの言語を、私の好きな特徴や参考資料のリストと
Nix で Haskell IDE Engine をシュッと入れる - ryota-ka's blog
この記事は以下のページに移転しました． blog.ryota-ka.me みなさん，Haskell やってますか？普通に Haskell IDE Engine を入れようとするとビルドにメッチャ時間がかかって「地獄か？」という感じがするので，Nix でシュッと入れていきましょう． Nix のインストール Nix を入れていない人はいないと思うけど，念の為インストール手順です． 「Nixはこの会社以外で役に立つことはないけど、人生が豊かになるから勉強した方がいい」— ポアソン氏 (@hiroqn) June 28, 2019 $ curl https://nixos.org/nix/install | sh $ nix-channel --add https://nixos.org/channels/nixpkgs-unstable $ nix-channel --update Cachix
型クラスの原点 How to make ad-hoc polymorphism less ad hoc を読んだ話 - Qiita
オレオレ型クラスの話をやめろ。原典に当たれ。ということで、Haskell に型クラスの導入を提案した論文とされる Philip Wadler. How to make ad-hoc polymorphism less ad hoc を読んだのでそれをまとめる話です。 型クラス導入の目的 2 つの多相 多相にはアドホック多相、パラメトリック多相の 2 つの種類がある。 アドホック多相 アドホック多相は、ある関数が受け入れる型によって 型に応じた振る舞いをするような多相 。典型的なのは関数や演算子のオーバーロード。
Hacking on GHC Has Never Been Easier! - Vaibhav Sagar
At ZuriHac 2019 Matthew Pickering talked about tools for working on GHC. There’s an associated blog post which is also well worth reading. I wanted to focus on a small part of his presentation, which is about loading GHC into GHCi and using ghcid to automatically reload GHC on changes. This has been possible for almost a year now, as described in this blog post by Michael Sloan. It has since been
OCamlで48 Hour Schemeをやってみる その５ （第九、十章） - Arantium Maestum
Write Yourself a Scheme in 48 Hoursの最後の二章をやっていく。入出力と標準ライブラリ作成。 第九章：入出力 stdin, stdoutやファイルに対する入出力を実装する。 github.com 例によって「Haskellだとモナドが出現していろいろ型を頑張らないといけないけどOCamlだから・・・」という案件。 HaskellではIOモナド型のために新しいIOFunc式を用意したりしているが、OCamlだと普通に今まで通りPrimitiveFuncに放り込んでいける。 type expt = (* 省略 *) | PortIn of in_channel | PortOut of out_channel と入出力用のchannelをラップしたPortIn/PortOut式は用意する。あとはIoモジュールでそれを使う関数を定義し、primitives.mlで
Haskell/不動点と再帰 - Wikibooks
初めて fix 関数を目にしたときは、これはとても奇妙な関数に思えることだろう。しかしながら、再帰的な関数を定義可能にする組み込み要素として(型付き)ラムダ計算へとして導入するとき、主要な理論的根拠のひとつとして有用なものとなるのである。 議論に入る前に、fix の定義をしておこう。 fix :: (a -> a) -> a fix f = f (fix f) これは一見していかにも摩訶不思議に思える。どうみてもfix f は f (f (f (... ))) のような fの限りない適用のくり返しを生じるだろう。我らが盟友、遅延評価がこの問題の解決策になる。基本的には、この f の適用の連鎖は、もしfが遅延関数であれば(その時に限り)ある値へと収束する。いくつか例をみていこう。 Prelude> :m Control.Monad.Fix Prelude Control.Monad.Fix>
特級シリアライズライブラリ、winery 1.0解禁 - モナドとわたしとコモナド
fumieval.hatenablog.com あれから9ヶ月…wineryのバージョン1.0をついにリリースした。 前回までのあらすじ データの保存や通信に直列化は不可欠の概念である。 binaryなどの直列化ライブラリは、レコードのフィールド名などの情報が欠けており、構造が変わると互換性を持たせることができない。 一方、JSONやCBORなどのフォーマットで愚直にフィールド名などを残すと極めて冗長になり、時間・空間効率が悪い。 コード生成が前提のProtobufなどはHaskellの既存のデータ構造との相性がよくない。 そんな現状に殴り込みをかけたのがwineryだ。値を「スキーマ」と「データ」に分割して保存することによって、冗長性を避けつつ、メタデータを保持させることができる。wineryは最強のライブラリとなりうるか…？ 特徴と特長 JSON, MessagePack, CBORな
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ghc-compiler-notes — ghc-compiler-notes documentation
post-about-nix-and-haskell/2019-08-03-q-and-as-about-nix-for-haskellers.md at master · cdepillabout/post-about-nix-and-haskell
YAMAMOTO Yuji （HN: すがすがC言語） on Twitter: "@adacola レコードのフィールドを関数にしないようにする、という提案が策定されてます。 https://t.co/kFvt0FbScD が、普及はまだ当面先でしょうし、型の名前をprefixとしてつける、みたいな策で誤魔化すしかないのが現状ですね…😞"
Handy Haskell on Twitter: "cabal can be used as a #!-interpreter 😲 https://t.co/uiLDcSZfkY"
GitHub - nicksanford/htorrent: A work-in-progress BitTorrent client written in Haskell.
haskell: add a callStack2nix function by cdepillabout · Pull Request #61067 · NixOS/nixpkgs
cdepillabout on Twitter: "I wrote a blog post on easily re-running a #Haskell web app on file save when doing development by using ghcid: https://t.co/qjZa9KOTcH"
deech on Twitter: "The Haskell community's willingness to rip it apart is one of my favorite things about it. https://t.co/SRQGOvU1RN"
foldl vs. foldl'に終止符を打つ - Qiita
