式のメタファーを使うとプログラミングがもっと楽しくなる！ - Qiita
これは PROGLOVE Advent Calendar 2019 の7日目の記事です。 はじめに 式のメタファーを利用することで、複雑なものを単純なものの組み合わせで表現できるようになります。それにより、複雑なものを作るときの考え方が変わります。まずは単純なものから作り始めよう、という思考になるのです。もし式のメタファーを使わなければ、そもそもスタート地点がわからないので作り始めることすらできないかもしれません。そうでないにしても、無理に作って複雑になりすぎてしまい、手に負えなくなって途中で作るのを諦めてしまうかもしれません。 考え方が変わるだけではありません。式のメタファーを使うことで、自然と関心の分離の恩恵も得られます。関心の分離の利点は色々ありますが、式のメタファーにより得られる最も大きな利点は「集中したいことに集中できる」ことです。具体的な例については記事後半で説明します。 「式
Megaparsec tutorial from IH book (翻訳)
Posted on July 14, 2019 translated by Wataru Yamada authored by Mark Karpov Last Updated October 11, 2020 Great original post: Megaparsec tutorial from IH book この Megaparsec のチュートリアルは、元々は Intermediate Haskell という本の１つの章のために書かれました。 ここ一年で本が進展していないため、 他の著者は私がスタンドアロンのチュートリアルとしてテキストを公表し、 人々が少なくとも私たちの仕事のこの部分から恩恵を受けることができるようにする ことに同意しました。 ParsecT と Parsec モナド 文字 とバイナリストリーム モナディック構文とアプリカティブ構文 Eof による入力の強制消
FParsecでJSONパーサーを書いてみる話 - ぐるぐる～
F# Advent Calendar 2017の4日目の記事です。 NGK2017B昼の部でパーサーコンビネーターについてLTしてきたので、その内容について書きます。 ただし、内容は大幅に加筆修正しています。 PCさえあればいい。 from bleis tift 導入 世の中にはパースすべきものであふれています。 例えば、下記のようなものがあります。 ログ 設定ファイル ミニ言語(DSL) プログラミング言語 構造を持ったものはそこら中にあります。 これらを処理するためにどうすればいいでしょうか。 一つの方法として、正規表現を使うというものがあります。 しかし、(本来の)正規表現ではネストする文法などは扱えません。 拡張機能として、ネストする文法が扱えるようになっているような処理系もあります。 しかし、そもそもそんな複雑な正規表現には近寄りたくないですよね。 では、文字列操作関数を駆使して
Parsing the untyped λ-calculus with Parsec
The book Types and Programming Languages (briefly, TAPL) is a popular introduction to type systems and programming language theory. Starting with the untyped λ\lambdaλ-calculus, TAPL walks the reader through the construction of a simple expression-based language, focusing on type-checking and evaluation. One of the first exercises is an evaluator for the untyped λ\lambdaλ-calculus, in OCaml. I’ve
Parsing a functional language with Parsec | burz.io
Feval: Parsing a functional language with Parsec How to use Parsec to parse a functional programming language In the following we will discuss how to parse the grammar x ::= ( a | b | ... | z ) ( a | b | ... | z | A | B | ... | Z | 0 | 1 | ... | 9 | _ | ' )* v ::= x | True | False | 0 | 1 | -1 | 2 | -2 | ... | Function x -> e | [] | [v, v, ..., v] e ::= v | (e) | e && e | e "||" e | !e | e + e | e
Monadic Parsers: Implementing a micro Parsec
Omer Iqbal geek . lisper . full-stack dev . emacs padawan . coffee addict Twitter Facebook Github So I read somewhere that one could truly understand the beauty of monads by implementing monadic parsers. Given holidays and a lazy weekend, I decided to put that idea to the test. A large section of the remainder of this post is derived and inspired from this amazing paper by Graham Hutton and Eric M
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
Parsecライブラリでパーサをつくる - M12i.
ちょっとパーサー・コンビネータについて調べる機会があって、その流れで有名なHaskellのライブラリParsecについての紹介テキスト “Parsing expressions and statements”（Haskell.org） を読んでみました。以下に訳出。ただしかなり適当。ところで「左右ファクタリング」（left/right factoring）って何ですか?? ＊ ＊ ＊ 式と文をパースする ここではParsecライブラリを使って、式と文を持つちょっとした構文をパースしてみましょう。主な目的はmakeTokenParserとbuildExpressionParserという2つの関数を紹介することですが、これらは一般的な用途の多くをカバーしたものになっています。 （ParsecライブラリはHaskellプラットフォームに同梱されているほか、Parsec単体でも利用が可能です。）
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... So I've been reading too much papers and writing too little code. These are my first 300 lines of Haskell: http://lpaste.net/94976 Use execParse in GHCi to parse and run a program. Example> execParse
A Gentle Introduction to Parsec ¶ blog.barrucadu
It seems to me that there aren’t many step-by-step introductions to parsec, where you build up a parser as you go. This is especially the case for applicative parsec, which is a shame as applicative functors are nice. So, I wrote one. Today, we are going to learn how to use applicatives and parsec to parse a CSV file. We’ll start off with a very basic one where there can be no commas or escape cha
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Megaparsec 8
Traversing structured data with regular combinator parsers
GitHub - JakeWheat/intro_to_parsing: Introduction to parsing with Haskell and Parsec
http://blog.ezyang.com/2014/05/parsec-try-a-or-b-considered-harmful/
YBlog - Parsec Presentation
variadic.me
GitHub - joker1007/markdown2hatena: markdown記法をはてな記法に変換する
https://github.com/colah/colah-essays/blob/master/ParsecPatterns.md