Reflection without Remorse Revealing a hidden sequence to speed up monadic reflection Atze van der Ploeg Centrum Wiskunde & Informatica ploeg@cwi.nl Oleg Kiselyov University of Tsukuba oleg@okmij.org Abstract A series of list appends or monadic binds for many monads per- forms algorithmically worse when left-associated. Continuation- passing style (CPS) is well-known to cure this severe dependence
元のGitHubリポジトリは次の通り。そのまま転載します。 https://github.com/higuma/bootstrap-3-note Bootstrap 3 学習ノート (2014-06-09 ... 18) Bootstrap 3の学習記録ノートです。 できるだけ手を抜かず隅々まできちんと調査し、コードはほぼ全て実際に試して確認しました。 元々公開を意図したものではありませんが、ここまで詳細に調べた資料はそうはないと思いますので最低限の体裁を整えて公開します。みなさんのお役に立てば幸いです。 なおHTML部分はほぼ全てjadeで記述しています。jadeを知らないと理解できないノートになってしまっていますが、生のHTMLではとてもこのスピードでは学習できません。どうかご了承下さい。 なお「ここは違うのでは」「こうした方がよいのでは」などという点がありましたらGitHubのiss
Your data tells a story. Tell it with R Markdown. Turn your analyses into high quality documents, reports, presentations and dashboards. R Markdown documents are fully reproducible. Use a productive notebook interface to weave together narrative text and code to produce elegantly formatted output. Use multiple languages including R, Python, and SQL. R Markdown supports dozens of static and dynamic
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
Last updated: February 24th, 2014 Based on scala/scala as of February 24th, 2014 TOC Goodies What's new in the new optimizer Test driving the new optimizer Getting Started Putting the new optimizer through its paces FAQ Comments, benchmarks, test cases, bug reports, are welcome 1 Goodies Branch GenRefactored99sZ at repo https://github.com/magarciaEPFL/scala.git improves three areas of scalac: opti
Gin Gonic The fastest full-featured web framework for Golang. Crystal clear. Performance and productivity can work together Gin is a web framework written in Golang. It features a martini-like API with much better performance, up to 40 times faster. If you need performance and good productivity, you will love Gin. Low Overhead Powerful API You can add global, per-group, and per-route middlewares,
Scala 2.12 will require Java 8. Here’s how we plan to make this transition as smooth as possible. Goals Minimize overhead of the transition for both users and library maintainers. Continue Java 6 support for a while longer (only in Scala 2.11). Track the Java platform evolution. How Upcoming 2.11.x releases will introduce the following experimental features (under a flag): Java 8-style closure com
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
Parametric HOAS with first-class modules
One of the first choice to make when starting the development of a compiler, or any program manipulating syntax with binders (e.g. programs with functions and variables), is how to represent these terms. Some specialized programming languages, like Beluga, have built-in facilities for this. But if you choose a general-purpose one, like OCaml, then you have plenty of choices: Named terms, De Bruijn
Determining whether if a function (or variable, or constant) is declared in C++11 As @mattn_jp pointed out on his blog entry, C/C++ allow use of redundant parenthesis in variable declaration. For example, both of the following statements conform to the language specification. int i = 3; // declares variable i, initialized to 3 int (j) = 4; // declares variable j, initialized to 4 By using this fea
Optimisation with Continuations
Summary: Continuations are confusing. Here we solve a simple problem (that is at the heart of the Shake build system) using continuations. Imagine we are given two IO a computations, and want to run them both to completion, returning the first a value as soon as it is produced (let's ignore exceptions). Writing that in Haskell isn't too hard: parallel :: IO a -> IO a -> IO a parallel t1 t2 = do on
なんか型クラスとか言うと型の怖いひとたちが怖い話をワイワイしてるイメージがありますよね。わたしはあります。「で、それって何がうれしいのよ」とか、そういう話はあまりされていないような印象がありますね（あくまで印象です）。その上 "Scala の implicit parameter は型クラスの一種" とか言われると「暗黙的な引数がなんで型クラスの一種なんや！！！意味がわからん！！！！」となります。わたしはなりました。 というわけでそのへんについて勉強したので書きます。 そもそも型クラスってなんや Haskellとかにあるやつですね。アドホック多相を実現するもの、らしいです。すごい、いきなり意味がわからない。 というわけで、まずは「アドホック多相ってなんなの」という話からして行きます。 さて、まずは「多相」から行きましょう。この文脈で言う多相とは、簡単に言えば「引数にいろんな型を取れる」とい
Part of C++ FQA Lite This page summarizes the major defects of the C++ programming language (listing all minor quirks would take eternity). To be fair, some of the items by themselves could be design choices, not bugs. For example, a programming language doesn't have to provide garbage collection. It's the combination of the things that makes them all problematic. For example, the lack of garbage
class: center, middle # 10 awesome features of Python that you can't use because you refuse to upgrade to Python 3 .footnote[[There is also a pdf version of these slides](http://asmeurer.github.io/python3-presentation/python3-presentation.pdf)] --- class: center, middle # 10 awesome features of Python that you can't use because you refuse to upgrade to Python 3 # or # Turning it up to 13! --- # Pr
先日、東京の会社から名古屋の会社に転職された@zakky_devさんの歓迎会がありました*1 。そこで、@zakky_devさんにCoqでリストの結合則を証明するチュートリアルをやってもらいました。 せっかくなので、そのときの台本を公開します。だいたい30分くらいの内容です。 Coqのインストール ぐぐりましょう。 Welcome ! | The Coq Proof Assistant Coq を始めよう Coqとは みなさん、自動化してる・してないなどの違いはあると思うんですが、プログラムを書いたらテストをすると思います。 ただテストはどうしても「こういう入力があったら、こういう出力がある」というのを並べていくことになるので、どうしても有限のパターンしか確認できません。 で、これで十分なこともあるんですが、中にはものすごい信頼性がいるプログラムで、有限のパターンの保証だけではたりない場合
I found myself within a forest dark, For the straightforward pathway had been lost… Edit: I have been kindly informed that there is, in fact, an official guide for uploading packages to PyPI, located here. I’m a research assistant in a Speech Informatics lab at the University of Minnesota. One of my tasks recently has been to take a Python script written by a former student, make it more flexible
情報オリンピックという中高生向けの競技プログラミングの大会があります。国内予選・選抜が3回あり、最後に世界大会があります。アルゴリズムの問題が出題されます。予選の毎年のパターンは問1, 2は問題文をコードに起すだけの問題で、問3はアルゴリズムの問題だったり、中学受験的な算数の問題だったりします。問4はいつも動的計画法の問題が出ます。競技プログラミングでは動的計画法が一番の入門であり、これがスタートラインです。これが解けないと始まりません。動的計画法の問題、機械的に解けるのかなと思い色々と考えたのですが、できそうなので、このブログ記事にまとめます。 動的計画法 動的計画法ですが、やはり一番しっかり書かれているのが、書籍「アルゴリズムイントロダクション」 http://www.amazon.co.jp/dp/476490408X です。動的計画法の章は熟読に値すると思います。「動的計画法」とい
Functional programming provides a fundamental basis for reasoning about our programs and building out principled abstractions. However, it is not enoug…
IntroErlang releases are a bit like magnets. Everyone who thinks about them shares the same thought: f**king releases, how do they work? Fortunately, since the years of Emakefiles, reltool and systools, the Erlang community has stood up and improved its tooling continuously. Rebar has been improving non-stop and keeps getting better for many functions. The newest generation, Rebar3, tries to provi
Mathematics is full of wonderful but "relatively unknown" or "poorly used" theorems. By "relatively unknown" and "poorly used", I mean they are presented and used in a much more limited scope than they could be, so the theorem may be well known, but only superficially, and its generality and scope can be very understated and underappreciated. One of my favorites of such theorems was discovered aro
This post is for Haskellers interested in nix (the package manager) and maybe even NixOS (a distribution built on nix). If you’re not interested then skip it, but I know many people are. It describes how I made the switch and some of my experiences since. I have put off this blog post for a long time, hoping to write it up once I have everything working just like I want it but I was finally motiva
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Notes on False Sharing
