重複したフィールドラベル - あどけない話
Haskell 2010 では、同じファイルに重複したフィールドラベルを定義できない。たとえば、以下はエラーになる。 data Foo = Foo { same :: Int } data Bar = Bar { same :: Float } -- これはダメ この問題を解決する案は、OverloadedRecordFields と呼ばれ、苦難の歴史を持つ。実装があるにもかかわらず、 実装が一枚岩 コードの複雑になる割に利益が少ない などの理由により、GHC へはマージされずにいた。現在では、OverloadedRecordFieldsは、三つの拡張へと分割された： DuplicateRecordFields OverloadedLabels Magic type classes この中、1. と 2. が GHC 8.0 に入る。 DuplicateRecordFields Dupli
スレッドリーク - あどけない話
これはHaskellスペースリーク Advent Calendar 2015の14日目の記事です。 スレッドリークとは一般的に、終了させることを忘れたスレッドが残り続けることを言う。これは終了させ忘れたのが悪いという他ない。一方で、GHC では、スレッドを終了させたにもかかわらず、スレッドのメモリ領域がCGに回収されない事態が起こりうる。この記事は、この二番目のスレッドリークについて説明する。 ThreadId ThreadIdは、名前からしても、以下のように表示させても、Ordのインスタンスであるところからも、単なる番号のように思える。 > forkIO (return ()) >>= print ThreadId 88 しかし、ThreadIdのマニュアルを注意深く読むと、以下のようなことが書いてある。 GHCの実装では、ThreadIdは本質的にスレッドに対する参照である。 これは、
Running a startup on Haskell
Summary Bryan O'Sullivan presents a case study of a small startup that chose Haskell for its server-side code, outlining the advantages and disadvantages of using Haskell to quickly create a solid solution. Bio Bryan O'Sullivan is an Irish hacker, writer, and entrepreneur who lives in San Francisco. He has written books on leading-edge topics in distributed systems and functional programming, inc
継続モナドによるリソース管理 - Qiita
継続モナドって何に使うんだ問題に対する一つの例。 リソース管理の問題 プログラミングをやっていると必ずまとわり付いてくるのがリソース管理の問題です。ここで指すリソースというのは、ファイルのハンドルだとか、ソケットだとか、排他処理のためのロックだとか、グラフィックのハンドルだとかそういう話で、GCのない言語だとメモリの管理もこれに含まれるでしょうか。 言うまでもなく、リソースを確保した後はしかるべきタイミングで確実に解放してやる必要があります。しかし往々にして、現実のプログラムではリソースの解放漏れが発生してしまいます。単に解放するコードを書き忘れると言うのが一番単純でしょうもない理由ですが、それでも、C言語のようにリソース解放のための特別な仕組みを持たない言語では、これを徹底するのも結構骨の折れることだったりします。それはともかく、もう少し高尚な悩みとしては、例外との組み合わせで発生する解
Call C functions from Haskell without bindings - FP Complete
Because Haskell is a language of choice for many problem domains, and for scales ranging from one-off scripts to full scale web services, we are fortunate to by now have over 8,000 open source packages (and a few commercial ones besides) available to build from. But in practice, Haskell programming in the real world involves interacting with myriad legacy systems and libraries. Partially because t
モナドのすべて Haskell におけるモナドプログラミングの理論と実践に関する包括的ガイド
モナドのすべて Haskell におけるモナドプログラミングの理論と実践に関する包括的ガイド Version 1.1.0 このチュートリアルは、モナドの概念とその関数プログラミングにおける応用に ついて、初中級の Haskell プログラマにわかりやすく、利用価値があるような 解説をすることを旨としています。読者は Haskell になれていることを前提と しますが、モナドに関する経験は要求していません。このチュートリアルは、多 くの題材をカバーしています。後半のセクションでは、前半の題材をよく理解し ていることを前提とします。順をおって、モナドプログラミングを例示するため のサンプルコードがたくさん用意されています。一読で、すべての題材を吸収し ようというのはお勧めできません。 このチュートリアルは 3 つの部分で構成されています。最初の部分は、 関数プログラミングにおけるモナドの基本的
Lenses: compositional data access and manipulation. | SkillsCast
9th October 2013 in London There are 6 other SkillsCasts available from Haskell eXchange 2013 Please log in to watch this conference skillscast. Haskell lets you write beautiful, modular code. Rather than waffle generally, I’ll use this talk to look at a particular example, Edward Kmett’s lovely lens library. Lenses have been called “jQuery for data types”: they give you a way to poke around in th
Lens Tutorial - Introduction (part 1) - Jakub Arnold Blog
Programování jako zábavná hra! Děti, ale i dospělí se mohou naučit kódovat velice přístupnou formou, která bude všechny bavit! Foto: Pixabay Základy programování Programování se může zdát jako složitá věda, ale s dnešními dostupnými nástroji se tomuto řemeslu může naučit každý. Samozřejmě záleží, jaké k tomu má kdo dispozice a kolik času je ochoten učení věnovat. Už ale dávno neplatí, že je progra
Stackage Server
Stable Haskell package sets A distribution of compatible Haskell packages from Hackage that build together Stackage is a community project: how to add packages to Stackage stack makes using Stackage easy Latest releases per GHC version Stackage Nightly 2024-07-22 (ghc-9.8.2), a day ago LTS 22.30 for ghc-9.6.6, published 2 days ago LTS 22.27 for ghc-9.6.5, published 4 weeks ago LTS 22.20 for ghc-9.
The most inspiring green screen you will ever see
August 13, 2014, 10:22 pm April 22, 2017 android, apple, FRP, functional programming, functional reactive programming, game programming, games, haskell, ios, iphone, Open Source, reactive, yampa While Haskell, Idris and other Functional Programming (FP) languages enable writing elegant code, the road to production is, well, bumpy. Writing code for industrial environments has added costs that make
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
How Haskell is Changing my Brain
Yoneda Yay! Why Haskell? Haskell syntax looks different. But once you learn basic Haskell syntax, a huge world of implementations opens up to you. Many Haskell library functions exist in other languages too, for example in scalaz. Haskell for Learning We can understand abstractions and concepts (like Yoneda!) through Haskell. We can develop our learning skills themselves through Haskell. Haskell f
関数型言語を学ぶことは実務でどう役に立ったか - Rejasupoem
関数型LT大会で「実社会の問題を解決する関数型言語」というタイトルで発表しました。 というのも、会社で「すごいHaskellたのしく学ぼう！」の輪読会をしていて、最初こそ10人以上の人が参加していたのだけど、章が進むごとにどんどん人が離脱していって、主催者としてはなんとか完走したいという思いがあったので、調べたのですが、 ヒアリングから、この二つの線がクロスしたときに、人は離脱するという知見が得られました。 ということで、Haskellに対して実用性を見出したいと思いながら半年を過ごしたのですが、実用的 = 仕事で使うということであれば、今の現場でHaskellに移行するのは現実的ではありません。 でも、Haskellには関数型言語のエッセンスが詰まっていて学びが多かったと思っていて、直接的には使っていないけど、概念として役立つことがあると思ったので、それを伝えるために今回文章に起こしまし
What I Wish I Knew When Learning Haskell
What I Wish I Knew When Learning Haskell Version 2.5 Version This is the fifth major draft of this document since 2009. HTML Version Screen PDF Printable PDF EPUB Version Kindle Version Pull requests are always accepted for changes and additional content. This is a living document. The only way this document will stay up to date is through the kindness of readers like you and community patches and
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Learn you An Agda And Achieve Enlightenment
https://app.doxiq.com/d/rbczklzyvgczkfgh/Getting-it-Done-with-Haskell-pdf
GitHub - begriffs/haskell-vim-now: One-line Haskell Vim install
GitHub - system-f/fp-course: Functional Programming Course
GitHub - facebook/Haxl: A Haskell library that simplifies access to remote data, such as databases or web-based services.
TypeDirectedNameResolution – Haskell Prime