Markdown Tutorial
Markdown is a way to write content for the web. It’s written in what people like to call “plaintext”, which is exactly the sort of text you’re used to writing and seeing. Plaintext is just the regular alphabet, with a few familiar symbols, like asterisks ( * ) and backticks ( ` ). Unlike cumbersome word processing applications, text written in Markdown can be easily shared between computers, mobil
Diagrams - About Diagrams
hilbert 0 = mempty hilbert n = hilbert' (n-1) # reflectY <> vrule 1 <> hilbert (n-1) <> hrule 1 <> hilbert (n-1) <> vrule (-1) <> hilbert' (n-1) # reflectX where hilbert' m = hilbert m # rotateBy (1/4) diagram :: Diagram B diagram = strokeT (hilbert 6) # lc silver # opacity 0.3 diagrams is a powerful, flexible, declarative domain-specific language for creating vector graphics, using the Haskell pr
Haskeleton: a Haskell project skeleton
Haskeleton: a Haskell project skeleton by Taylor Fausak on March 04, 2014 I’m new to Haskell. I’ve learned enough to feel comfortable writing programs in it. I can solve code katas like exercism.io, H-99, and Project Euler. Yet I don’t feel comfortable developing software with it. Writing idiomatic, maintainable and well-tested Haskell code remains a mystery to me. Cabal, the Haskell build tool, p
Real World Haskell
Welcome to Real World Haskell This is the online home of the book “Real World Haskell”. It is published by O'Reilly Media. The first edition was released in November 2008. We make the content freely available online. If you like it, please buy a copy. Buy online For your convenience, we have included links to the book through sellers in several countries. O'Reilly (USA, UK) Powell's Books (USA) Am
Learn You a Haskell for Great Good!
Hey yo! This is Learn You a Haskell, the funkiest way to learn Haskell, which is the best functional programming language around. You may have heard of it. This guide is meant for people who have programmed already, but have yet to try functional programming. The whole thing is completely free to read online, but it's also available in print and I encourage you to buy as many copies as you can aff
Tic Tac Type: Dependent Types with Idris
Functional programming provides a fundamental basis for reasoning about our programs and building out principled abstractions. However, it is not enough on its own and we also rely on other programming tools to aid in constructing programs correctly and efficiently. An advanced example of such a tool is dependent types; that is, types that depend on values. Dependent types can be used to provide s
２０１４年６月２４日 各 位 小田急電鉄株式会社 車両脱線事故のお詫びと原因調査途中経過のご報告について ２０１４年６月１９日（木）相模大野駅構内での車両脱線事故に伴い、大幅な
２０１４年６月２４日 各 位 小田急電鉄株式会社 車両脱線事故のお詫びと原因調査途中経過のご報告について ２０１４年６月１９日（木）相模大野駅構内での車両脱線事故に伴い、大幅なダイヤ の乱れや一部区間の運休等を発生させ、ご利用のお客さまをはじめ、沿線の皆さまなら びに関係する多くの皆さま方に、多大なるご迷惑とご心配をおかけいたしましたことを 深くお詫び申しあげます。安全を事業の根幹とすべき交通事業者として、従業員一同が 今回の事故を重く受け止め、安全の確保に向けて全社を挙げて取り組んでまいります。 事故後の調査で、今回の脱線は車庫線における乗り上がり脱線であったと推定してい ますが、現時点において乗り上がった原因の特定には至っておりません。現在、外部調 査機関の意見も踏まえ緊急対策を実施し、脱線事故が生じた車庫線は復旧しています。 今後、客観的かつ技術的な見地から同調査機関と協力し原因究
index
Workshop on Haskell And Rewriting Techniques (HART) 2013 update: HART 2014 Haskell is an advanced purely-functional programming language. Rewriting is the science of replacing equals by equals and thus a very powerful method for dealing with equations. There are strong connections between Haskell programming and rewriting. Therefore, we announce a new workshop, International Workshop on Haskell An
Paul Chiusano: A simple alternative to De Bruijn indexing, from ICFP 2013
[ fp ] There was a functional pearl at ICFP 2013 by Axelsson and Claessen that introduced a deceptively simple, useful technique for dealing with variable bindings in DSLs. Without any heavy machinery, it gives us HOAS-like syntax for constructing terms of the DSL, while retaining a simple first-order representation. The ‘library’ they developed is about 15 lines of code. When it was presented at
FARM - FARM 2014
Workshop on Functional Art, Music, Modeling and Design (FARM) September 6, 2014, co-located with ICFP 2014 in Gothenburg, Sweden About The ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) gathers together people who are harnessing functional techniques in the pursuit of creativity and expression. Functional Programming has emerged as a mainstream software de
Draft Promoting Functions to Type Families in Haskell Richard A. Eisenberg University of Pennsylvania eir@cis.upenn.edu Jan Stolarek Ł´od´z University of Technology jan.stolarek@p.lodz.pl Abstract Haskell, as implemented in the Glasgow Haskell Compile
Draft Promoting Functions to Type Families in Haskell Richard A. Eisenberg University of Pennsylvania eir@cis.upenn.edu Jan Stolarek Ł´od´z University of Technology jan.stolarek@p.lodz.pl Abstract Haskell, as implemented in the Glasgow Haskell Compiler (GHC), is enriched with many extensions that support type-level program- ming, such as promoted datatypes, kind polymorphism, and type families. Y
co.jp への TXT 追加の謎
2. 最初に • 実は、「co.jpにTXTリソースレコードが追加されたこと」については、 直接の理由はわかりませんでした • 「多分これだろうという理由」は、既にわかっています • ここでは、私がどのような道をたどり、どんな答えに行き着いたのか をまとめてみようと思います • なお、この資料は「私がRFC 5155をこのように解釈しました」という内容に なっていますので、内容の正確性はRFC 5155原本にてご確認ください 3. 一通のメール • あるとき、dnsops MLに一通のメールが流れました Subject: [DNSOPS dnsops 1339] Re: キャッシュポイズニング攻撃の危険性増加に関 する緊急の注意喚起の掲載について From: "T.Suzuki" <tss@e-ontap.com> To: dnsops@dnsops.jp Date: Tue, 15 Ap
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
タイピングの心理学
https://qiita.com/kenokabe/items/41189c45001321c9e283
GitHub - fujimura/hi: Generate scaffold for a Haskell project
Starting with Haskell - School of Haskell | School of Haskell
【連載】鉄道とIT
https://goto.ucsd.edu/~nvazou/real_world_liquid.pdf