You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
Haskell Optimization Handbook¶ by Jeffrey M. Young This book assumes you are using ghc 9.2.x or above and using the Linux operating system. If you are new then the best place to start is the How to use this book chapter. If you are returning then feel free to jump to the Table of Contents and best wishes. It is dangerous to go alone, please take this handbook and good luck! Sincerely, The Contribu
GRIN Compiler whole program optimizer for lazy and strict functional languages View on GitHub index2 Page Status: work in progress GRIN is a compiler backend and an intermediate language. The goal is to bring the benefits of whole program analysis and optimization for functional languages especially Haskell. The main benefits are: smaller executables (more accurate dead code elimination) faster pr
タイトルがふわっとしてるけど見れば多分わかる。 ghc-compiler-notes 経緯とか 注意: 作ったと書いてるが私の力ではなく主に水無さん(@mizunashi-mana)とわどさん(@waddlaw)のお力添えによるところが大きい。 GHCのソースコードにはNoteと称して有益な(GHCの内部実装等に関する)情報が書いてあることは有名だと思うけど、実際にそれはまとまったりはしてなかったので知る人ぞ知る、みたいな情報であった。こういう他のドキュメントには書いてないような貴重な情報が誰にも読まれることなく眠っているのはもったいないと常々感じていたのでそれを読めるようにしたかった。 このプロジェクトは最近GitLabに移った方のghc/ghcのソースコードに埋められているNotes部分を抜粋しそれを比較的読みやすい形で並べて整理したものである。 現在の仕様一覧(ざっくり) compi
Browse by time: December 2018 (1) November 2018 (1) October 2018 (1) September 2018 (1) May 2018 (1) April 2018 (1) March 2018 (1) November 2017 (1) August 2017 (2) July 2017 (1) January 2017 (1) September 2016 (1) July 2016 (1) June 2016 (1) May 2016 (1) October 2015 (1) September 2015 (1) August 2015 (1) July 2015 (3) June 2015 (2) May 2015 (1) April 2015 (1) March 2015 (3) February 2015 (4) Jan
非正格評価をデフォルトとするHaskellは、注意を怠るとしばしばスペースリークと呼ばれる非効率なメモリの使い方を引き起こす。幸いなことにGHCには多くの場合において有効なヒーププロファイラを備えているので、実際にスペースリークを特定するのはそれほど難しくない。 GHCのヒーププロファイラについて解説した文書としてはGHCの公式マニュアルがあるが、これだけで効果的に使うのは難しいのと、非公式のツールの使い方は紹介されていないので、それらを含めてまとめてみたい。 スペースリークの正格な定義があるのかはさておき、実際の使われ方としては、プログラマが意図しない非効率なメモリの使い方を指すと言ってよいと思う。一口にスペースリークと言っても様々な原因があり、これらを分類する試みとしては例えばSpace leak zooがある。いくつかの例はあとで触れることにして、まずはスペースリークの見つけ方につい
GHC(STG,Cmm,asm) illustrated for hardware persons Takenobu T. Rev. 0.05.0 exploring some mental models and implementations WIP “Any sufficiently advanced technology is indistinguishable from magic.” Arthur C. Clarke NOTE - This is not an official document by the ghc development team. - Please don't forget “semantics”. It's very important. - This is written for ghc 9.0. - Executable binary - Compil
Note: this document now lives here Introduction This document give an overview of the runtime system (RTS) support for GHC's STM implementation. We will focus on the case where fine grain locking is used (STM_FG_LOCKS). Some details about the implementation can be found in the papers "Composable Memory Transactions" and "Transactional memory with data invariants". Additional details can be found i
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
