Compiling a Lisp: Overture
Many thanks to Kartik Agaram and Leonard Schütz for proofreading these posts. In my last series, I wrote about building a Lisp interpreter. This time, we’re going to write a Lisp compiler. This series is an adaptation of Abdulaziz Ghuloum’s excellent paper An Incremental Approach to Compiler Construction, with several key differences: Our implementation is in C, instead of Scheme Our implementatio
はじめてのアセンブリ(Lisp編)
( Lisp Advent Calendar 2013 3日目の記事です ) FortranやLispが誕生して50年以上の月日が経過した現在では、 世の大半のプログラムがCやJavaやExcel VBAといった高級言語で作られています。 多くのプログラマにとっては、もはやアセンブリは直接書く必要のないものなのかもしれません。 しかし、(たとえあまり使うことがなくても)Lispを学ぶことで悟りを得られる(らしい)ように、 アセンブリを学ぶことで普段使っているOSやコンパイラやVMが一体何をしているのかを学ぶ手助けとなるのではないかと思います。 低レイヤーもカバーするプログラマを目指して、アセンブリ言語をアセンブラでアセンブルして実行してみましょう。 最初にアセンブラを用意しましょう。ここ(http://ccl.clozure.com/)からダウンロードできます。 現在の最新リリースバージョ
How to define new intrinsics in SBCL - Paul Khuong: some Lisp
This Stack Overflow post points out an obscure and undocumented weakness in Intel’s implementation of the POPCNT instruction: although the population count (number of bits equal to 1) is only a function of the source argument, hardware schedules it as though it also depended on the destination. GCC, clang and MSVC all fail to take this issue into account. Until a new patched version of my favourit
VOPで遊ぶ | κeenのHappy Hacκing Blog
(:meta ((:this “Lisp Advent Calendar 2014の3日目の記事”) (:prev (:author “tk_riple” :title “時の羅針盤＠blog: R7RSポータブルライブラリを書く際の落とし穴”)) (:next (:author “nobkz” :tite “Shenの基礎その1 基本的な型 - Qiita”)))) κeenです。さっきまでVOPで遊んでたので当初の予定を変更してVOPの話をします。 VOPとは何か SBCLやCMU CLで使われているネイティブコードを吐くための機構、要はインラインアセンブラです。 VOPとはどんなものか とりあえずコードをば。x86-64用です。 (in-package :cl-user) (defpackage vop-sample (:use :cl :sb-ext :sb-c)) (in-pac
逆引き Common Lisp クックブック:sequenceの最適化
なお、simple-vectorのように、fill-pointerなし、固定長、displacedでないベクタでありつつ、要素の型は指定したvectorを作成する場合は、simple-arrayのサブタイプを指定します。 ;; (unsigned-byte 8)を要素に持つベクタの型 (simple-array (unsigned-byte 8) (*)) など 型を指定した例 ;; 要素数 (defconstant 100_000_000 (expt 10 8)) vectorを指定 (fill-pointerあり、adjustable) (declaim (vector *big-vector-vector*)) (defvar *big-vector-vector* (make-array 100_000_000 :adjustable T :fill-pointer 100_000
Why Write Compilers in Scheme?
One of the questions Klint Finley asked me for the Wired article about Harlan was "Why Scheme?" I wasn't really satisfied with my answer, so I thought I'd answer it more completely here. Besides the fact that we were already experienced writing compilers in Scheme, Scheme has a lot of features that are very useful to compiler writers. We were already familiar with Scheme🔗 Indiana University has f
Why isn't there a good scheme/lisp on llvm?
There is Gambit Scheme, MIT Scheme, PLT Scheme, Chicken Scheme, Bigloo, Larceny, ...; then there are all the lisps. Yet, there's not (to my knowledge) a single popular scheme/lisp on LLVM, even though LLVM provides lots of nice things like: easier to generate code than x86 easy to make C FFI calls ... So why is it that there isn't a good scheme/lisp on LLVM?
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Google Search
Re: [Sbcl-devel] [Sbcl-commits] master: x86-64: Use POPCNT instruction for LOGCOUNT if the CPU supp | Steel Bank Common Lisp
GitHub - zjhmale/Ntha: The Ntha Programming Language
Google Search
Google
Hylas-Lisp - A JIT-compiled Lisp targeting LLVM | Hacker News
Google
https://qiita.com/guicho271828/items/07ba4ff11bff494dc03f
Disqus - #:g1: Common Lispで多方向分岐の最適化がされない場合にどうするか
naive vs proper code-walking
A 正規形 CEK マシン・ベースの仮想マシン - Tociyuki::Diary
Google Search
Andy Keep - Writing a Nanopass Compiler