Route 477 「M式」：最近知ったのだが、Lispの初期にはS式の他にM式という記法が考えられていたらしい。
■ [lisp] M式 最近知ったのだが、Lispの初期にはS式の他にM式という記法が考えられていたらしい。 http://en.wikipedia.org/wiki/M-expression 「コンピュータプログラムの世界において M式 (meta-expressions) は、 Lisp言語の一部として、S式の人間が読むことの出来る形態となることを目的に考えられた。 M式はLispの初期の論文において理論的な言語として使われていたが、実際に実装されることはなかった。 」 S式は人間が読むもんじゃないのかよｗとツッコミたくなりますね。 実行前にS式に変換するから「meta-expression」と名づけられた模様。 [1, 2, 3] (quote (1 2 3)) or '(1 2 3) car[X] (car X) car[append[[1,2,3], [4,5,6]]] (car
Lisperはプログラムに何を見るか - 八発白中
男子校に通う中学生の僕らにとって「家庭科」の授業は休憩時間のようなものだった。 僕の中学校には家庭科室というものがない。だから、いつもの教室で野菜の種類やそれに含まれる栄養素なんかを教わるというだけの、正直退屈な授業だった。話される内容はどれもただ暗記すればいいものなので、授業を聴かなくても定期試験前に教科書を読み通すだけで九〇点は取れる教科だった。 学校としても文科省の教育課程に沿うがためだけに時間割にねじ込んでいるに過ぎなかったと思う。特別教室がないことでも真面目にこの教科を取り扱う気がないことがわかるし、生徒の方でもその学校の態度を敏感に感じとっていた。 そんなやる気のない男子学生の前に立って話すのは教師にとって楽しいものではなかっただろう。僕らの先生は、落ち着いた雰囲気でどこかしたたかさのある、髪の長い女の先生だった。 その日も彼女はいつも通り、キノコに含まれる何々という栄養素が、
Make a Lisp で Lisp 処理系を学んでつくる (with Crystal) - はやくプログラムになりたい
インタプリタ式の言語処理系を書いたことが無かったので一度実装してみようと思って，この手のは Lisp が定番だということで，前々から気になっていた Make a Lisp (mal) に挑戦してみました． Make a Lisp (mal) とは Make a Lisp は色々な言語で mal という Lisp 方言を実装してみようというプロジェクトです． 30以上の言語での mal 処理系実装 11段階のステップに分けられた実装ガイド（全体の構成図付き） 各実装ステップごとのテストケース といったほしい情報が揃っており，言語処理系初心者でも Lisp 実装について簡単に学べる環境が整っています． 11段階の各ステップは以下の様な感じです． The REPL : 実装を始める準備（自分の言語を Makefile に登録して make 一発でテストを走らせられるようにする，関数のスケルトンの
Pixie Pi
Pixie is a Clojure-inspired lisp that has a quick startup time and nice FFI support that allows it to make use of existing C libraries, making it a nice option for working with the Raspberry Pi. Installing Pixie Meeting Dependencies From a base Raspbian install, Pixie’s dependencies (as of eb5886ff95) except for libuv-dev can be satisfied using aptitude sudo apt-get install libffi-dev libedit-dev
Island Life - 仕事でLispを使うこと(2)
About 南の島のプログラマ。 たまに役者。 Practical Schemeの主。 WiLiKi:Shiro 最近のエントリ 無限cxr高校受験Defense振り返ってみると2019年は色々学んで楽...覚えるより忘れる方が難しい(こともある)眼鏡のつると3DプリンタIris Klein Acting ClassSAG-AFTRA conservatory: Voice Acting創作活動って自分を晒け出さねばならないと...ループを使わずに1から100までMore... 最近のコメント shiro on 歳を取ると時間が速く過ぎるのは、新しいことに挑戦しないから? (2023/03/14)1357 on 歳を取ると時間が速く過ぎるのは、新しいことに挑戦しないから? (2023/03/01)ベアトリーチェ on ハイポハイポハイポのシューリンガン (2022/04/02)ベアトリーチ
Island Life - 仕事でLispを使うこと
About 南の島のプログラマ。 たまに役者。 Practical Schemeの主。 WiLiKi:Shiro 最近のエントリ 無限cxr高校受験Defense振り返ってみると2019年は色々学んで楽...覚えるより忘れる方が難しい(こともある)眼鏡のつると3DプリンタIris Klein Acting ClassSAG-AFTRA conservatory: Voice Acting創作活動って自分を晒け出さねばならないと...ループを使わずに1から100までMore... 最近のコメント shiro on 歳を取ると時間が速く過ぎるのは、新しいことに挑戦しないから? (2023/03/14)1357 on 歳を取ると時間が速く過ぎるのは、新しいことに挑戦しないから? (2023/03/01)ベアトリーチェ on ハイポハイポハイポのシューリンガン (2022/04/02)ベアトリーチ
Clack: glue for web apps
Clack is an abstraction layer for Common Lisp web applications that allows applications to run on different web servers. It provides composability through a middleware layer. Clack has evolved over time from an early stage of limited installation options and abandoned projects to the current age where it has reached version 1.0, is well tested and used as the foundation for many frameworks. The de
好きなCommon Lispで新しいWeb開発を～京大中退、22歳のサムライトCTOが取り組んだシステム再構築 - エンジニアtype | 転職type
転職・求人情報サイトのtype エンジニアtype スキル 好きなCommon Lispで新しいWeb開発を～京大中退、22歳のサムライトCTOが取り組んだシステム再構築 サムライト株式会社のCTO・河西智哉氏。Common Lispを用いたWebシステム構築に力を注いでいる 2013年9月設立のスタートアップで、ネイティブ広告やオウンドメディア関連事業を展開しているサムライトでは、22歳の若手エンジニアがCTOとして開発チームを率いている。昨年5月に入社し、約5カ月後にCTOに就任した河西智哉氏だ。 同社では、河西氏の意向でシステム構築の開発言語にあえてCommon Lispを採用。近い将来、Common Lispをメインとした開発体制をさらに整備してWeb開発の常識を変えたいという。 そんな彼は、京都大学在学中に趣味として学んでいたプログラミング技術を“実戦の場”で磨きをかけたいと考え
Lispの悟りが分かっちゃう新春ポエム - Qiita
こんにちは、悟っちゃったLisperです。 皆さんにLispの悟りとは何かを悟らせたいと悟ったので、今回はLispの悟りを解説したいと思います。 まず、Lispの悟りが良く口にされるようになったのは、エリック・レイモンド氏が無責任に適当なことを書いたからです。 ハッカーになろう (How To Become A Hacker） LISP は、それをモノにしたときのすばらしい悟り体験のために勉強しましょう。 この体験は、その後の人生でよりよいプログラマーとなる手助けとなるはずです。 たとえ、実際には LISP そのものをあまり使わなくても。 彼の言う悟りが結局なんのことなのかは不明ですが、悟りですので、理解できなくても良いのです。 ちなみに、今回述べることは、レイモンド氏の主張とも矛盾しないものです。 TL;TR Lispの悟りを感覚として理解するのは非常に簡単です。 貴方は、データ処理を頼
Lispの真実
Leon Bambrick / 青木靖 訳 2006年9月24日 日曜 ここにLispの真実が明らかにされ、いくつかの代替が提示される。 Lispを学ぶことはあなたの人生を変える。 あなたの脳はすごく大きくなり、そんなに大きくなるものだとは思わなかったほどになるだろう。 あなたは自分のアプリケーションをすべて、ほんの一握りのコードで書き換えるだろう。 社会はあなたを避けるようになる。あなたも社会を避けるようになる。 あなたは自分のまわりの物やまわりの人すべてに不満を感じるようになる。 Lispは非常にシンプルであり、ほんの数分で学ぶことができる。私はさっきバスを待っている間に学んだ。 Lispは非常にシンプルであり、どんな言語を使おうと数ページのコードで実装できる。しかしそんなことをすることはないだろう。ひとたびLispを学んだなら、あなたはLisp以外の言語で何かを書こうとは思わなくなる
about:jisp
It’s simpler and terser than JS, and has some additional powers. Its macro system lets you treat code as data and write functions that write code for you. Jisp’s extremely simple syntax protects against common JS pitfalls, and it abstracts away some legacy details, helping avoid errors and keep your code short. See Why Jisp for a gist of why you may want to use it. The current version of the jisp
Welcome to Common-Lisp.net!
Introduction Welcome to the amazing world of Common Lisp, the programmable programming language. This site is one among many gateways to Common Lisp. Its goal is to provide the Common Lisp community with development resources and to work as a starting point for new programmers. Latest Common-Lisp.net news 2022-02-08All project sites have moved from https://common-lisp.net/project/<project-name> to
Cより高速なCommon Lispコードを書く - 八発白中
Cで書くコードの方がCommon Lispで書くより速いって人がいたら、それは彼のCの技量が高すぎるってことだね。 “If you can't outperform C in CL, you're too good at C.” — Eric Naggum 最近、Common Lispの非同期Webサーバ「Wookie」を高速化する過程で、ボトルネックになっていたHTTPリクエストのパース部分を高速に処理するライブラリを書きました。 fast-http - A fast HTTP request/response parser for Common Lisp 既存のライブラリ「http-parse」よりも約10倍速く、Cのライブラリ「http-parser」より5%ほど高速です。 追記 (2014/10/26): 最適化をやり直し、現在は「http-parse」よりも約27倍速く、Cの「h
Parenscript
Introduction Parenscript is a translator from an extended subset of Common Lisp to JavaScript. Parenscript code can run almost identically on both the browser (as JavaScript) and server (as Common Lisp). Parenscript code is treated the same way as Common Lisp code, making the full power of Lisp macros available for JavaScript. This provides a web development environment that is unmatched in its ab
Prototype Verification System (PVS)
PVS is a mechanized environment for formal specification and verification. PVS consists of a specification language, a large number of predefined theories, a type checker, an interactive theorem prover that supports the use of several decision procedures and a symbolic model checker, various utilities including a code generator and a random tester, documentation, formalized libraries, and examples
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - gsp-lang/gsp: The gsp compiler.
GitHub - tuhdo/semantic-refactor: Semantic Refactor is a refactoring tool based on Semantic parser framework
Quickdocs
GitHub - LuxLang/lux: The Lux Programming Language
GitHub - ympbyc/Carrot: Purely functional lisp featuring: default currying, left-associative s-expression, lazy evaluation, static type system, and statically determined multimethods.
