Programming Language Egison
Egison - プログラミング言語→ English Version Egisonとは？ Egisonは強力なパターンマッチ機能をもつ関数型言語です． Egisonを使うと，純粋に帰納的には表せないデータ，例えば，集合や，多重集合， また環や群といった代数構造などのパターンマッチを直感的に表現することができます． Egisonのその他に以下のような特徴があります． 遅延評価 インストールの方法 EgisonはHaskellを使って実装されています． EgisonはHackageのパッケージとして配布されています． Egisonをインストールするには，GHCと Cabal-installがインストールされている必要があります． Haskell Platformをインストールすれば， その両方が自動でインストールされます． Hasekll Platformをインストールしたら，コマ
プログラミング言語を作る
このページの目的は、「独自のプログラミング言語を作る」ことです。 「プログラミング言語を作る」というのは、 やったことのない方からすれば、ずいぶん無謀な目標に見えるのかもしれません。 でも、いくつかの基礎知識さえ修得すれば、技術的には、 実はそんなに難しいものでもありません。 だったら、ひとつぐらい作ってみたいと思いませんか? なにしろプログラミング言語を作るなんて、 いかにもかっこ良さげじゃないですか。 私は作ってみたいと思いました。だから作ります。 プログラミング言語なんてもう山ほどあるのに、 今さら新しい言語なんて付け足して何をしたいんだよ! などというツッコミは入れてはいけません。 「なぜプログラミング言語なんか作るんですか?」 と聞かれたら、その答は そこにyaccがあるからだ。 で充分だろうと私は思います(yaccが何かは後述します)。 というわけで―― ただ私なんぞが新言語を
Island Life - マイナー言語でお仕事
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)ベアトリーチ
ちょっと草植えときますね型言語 Grass
_, ._ （ ・ω・） んも〜 ○=｛=｝〇, |:::::::::＼, ', ´ ､､､､し ､､､((（.＠）ｗｖｗｗＷＷｗｖｗｗＷｗｗｖｗｗｗｗＷＷＷｗｗＷｗ ｗＷＷＷＷＷＷｗｗｗｗＷｗｗｖｗＷＷｗＷｗｗｖｗＷＷＷ 作ってみたｗｗｗｗｗ とりあえず公開ｗｗｗｗｗｗｗっうぇ 日本語版はてきとーです．きっと英語版のほうが詳しいです． 実装 インタプリタ Interpreter written in Standard ML (accept US-ASCII only) by UENO Katsuhiro Interpreter written in Ruby by UENO Katsuhiro Interpreter written in ニコスクリプト Interpreter written in Prolog by zick Interpreter written in Java b
ホワット・ア・ワンダフル・ワールド 高級言語もまた，ライブラリなのだ
「良い言語だけど，ライブラリが揃ってないから，まだ使えない」 こういう感想は，新しい言語が出現するたびに，過去に何度も何度もつぶやかれてきた． 高級言語の価値が，プログラムの短さだとしたら，最も良い言語というのは，最もライブラリが揃っている言語，ということになる． Arcからの挑戦 どうしてそうするかって? なぜなら、プログラムを短くするために高級言語はあるからだ。 プログラミング言語のパワーは、それで書かれるプログラムの長さに反比例する。 100%確実にそうだとまでは言わないが、マジでそんな感じだ。 もし誰かがこういったとしよう。馬鹿げたことだと思わないかな。 「そのプログラム、君の言語だとコードは10行で、俺の言語だと50行だけど、俺の言語はパワフルだぜ」 こう思わざるをえない: じゃあ、あんたの言うパワーってなんなのよ? しかし，最初からライブラリが揃っている言語というものは存在しな
いろんな言語に手を出す理由 - 日記を書く [・w・] はやみずさん
LL魂の後に、id:scinfaxiに「どうして色々な言語を勉強するのか」というようなことを聞かれて、「色々な考え方を知るため」みたいなことを言った気がするけど、これについても今思うことを書いておく。 多数の言語を学ぶ目的としては、考え方を学ぶこと、そして自分が対処できる問題領域を広げることがある。 プログラミング言語には、それぞれ異なる思想があり、背景がある。"自然な"考え方や、プログラムの書き方は言語が変われば当然変わる。新しい言語を学ぶ中で、例えば関数型プログラミングだったり、アスペクト指向だったり、色々な概念が出てくる。そういう自分が知らない世界を見るのが楽しいし、理解できるともっと楽しい。次のターゲットはFortressとかDにあるtraitを使ったプログラミングかな。 プログラミング言語を"使える"ってことは、その言語で"自然な"考え方ができるようになるってことだと思う。そう考
![いろんな言語に手を出す理由 - 日記を書く [・w・] はやみずさん](https://cdn-ak-scissors.b.st-hatena.com/image/square/cb426fd829af12b6f9915d2c4d44661654fe3e0b/height=288;version=1;width=512/https%3A%2F%2Fogimage.blog.st-hatena.com%2F17680117127128184977%2F17680117127128209427%2F1557447735)
あなたが学ぶべき10の現代実用プログラミング言語：CodeZine
はじめに Webベースのアプリケーションや、Webベースで機能するサービス、加えてJavaや.NETのような物理的なシステムを抽象化するプラットフォームの台頭によって、現在のアプリケーション開発は環境によってアプローチが大きく異なり、それに伴って様々なプログラミング言語が使われるようになっています。 ネイティブの実行ファイルを対象としたアプリケーション開発であれば、古くから使われているC言語やC++言語が今でも主流です。しかしながら、Webアプリケーション開発ではPerlやPHP、Ruby、Pythonなどの組み込み可能なスクリプト言語が人気です。Ajaxを代表としたブラウザ内で動作するクライアントベースのWebアプリケーションであればJavaScriptが駆使されることになります。 仮想システムを対象としたアプリケーション開発には、仮想システム専用の言語が使われます。Javaアプリケーシ
ホワット・ア・ワンダフル・ワールド Ruby や Rails が遅くなるのには理由がある
という主張ならば，全く正しいと思います． やむにやまれず:2007年07月20日 Rubyは遅いから使えるのです (1) Ruby が遅いから Rails が遅いというのは間違い． C で書いても，汎用フレームワークを目指そうとすれば，かならずオーバヘッドが積み重なって遅くなる． むしろ，下手なプログラマが書いたら，Ruby よりも遅くなる． というか Ruby は，Rails を書くための，C のフレームワークとさえ言える． (2) 言語の効率よりも，開発効率の方が，昨今の Web アプリケーションを取り巻く潮流からしてはるかに重要 あと，一般的に，開発効率は処理効率に直結する． プロトタイプは，効率度外視で作ることが多い． 最適化は，ある程度完成度が上がってきてからの話だから． 作りこめば作りこむほど処理効率は上がっていくのが普通． ゆえに 「言語の速度 joel のメタメタメタ… フ
CoqでHello, world!（改） - にわとり小屋でのプログラミング
Coqで "Hello, world!" を標準出力させるのはちょっと難しい。 なぜならCoqはプログラミング言語ではなく、システム開発の支援をするツールであり、扱う言語は純粋関数型言語だからだ。 純粋でない部分（外部に標準出力する部分）のために、今回は16行ほどのOCamlの力を借りて実装した。 具体的には次の２つのファイルを作った。 helloworld.v main.ml (16行のOCamlコード) ちなみにCoqでは、文字は8bitのascii型、文字列はasciiのリストみたいな感じで定義されている。 (* Coqのスタンダードライブラリより *) Inductive ascii : Set := Ascii (_ _ _ _ _ _ _ _ : bool). Inductive string : Set := | EmptyString : string | String :
Matzにっき(2007-06-08) 404 Blog Not Found:好きを仕事にするな、仕事を好きにしてしまえ
<< 2007/06/ 1 1. [Ruby] 楽天技術研究所フェロー就任の影響 2. [知財] 私的録音録画小委員会、CD売上減と私的複製の関係めぐり議論は平行線 3. [Ruby] 川o・-・）＜2nd life - Ruby で debug する7つの方法 4. [Ruby] Rails vs Django: a non biased yet useless comparison 5. [OSS] Dave Gilbert's Weblog : The Badness of JFree 6. [OSS] Trust, But Verify - O'Reilly ONLamp Blog 7. [言語] Scala Actors -- A Short Tutorial 8. [Ruby] taw's blog: Why RLisp will not support Ruby class
LL/イライラさせられること - Ura5han Wiki
Perl ポインタのようなもの Cではその設計思想からポインタを明示的に使う理由があるが，スクリプトのような疑似コードに実体とリファレンスと明確に分けたせいか，却って煩雑な言語になってしまった感じがする． 型の判別 リストからスカラへ変換する際にそれがもしリストのリファレンスだったりした場合正しい手順で必要な値を抜き出すまでプログラマ側で考えてやらなくてはならないのは億劫．記号文字の扱いもかなり荒いため可読性も悪くなりがち． PHP 拡大解釈する関数 想定した動作と違った時によくある問題で，どんな型がこようとも「文字列操作の関数だから文字列として評価」してしまうのは戸惑うことがある． 文字化け 特に日本語を扱う処理では入力がcp932(sjis)であっても，スクリプト側では既にeuc-jpにされていたりする．サーバのオーナーであれば設定を変えるだけだが，レンタルサーバで安く済ませたい場合
Unlambda
Your Functional Programming Language Nightmares Come True. 関数型言語の悪夢がやってくる Unlambdaについて 公式サイト: http://www.eleves.ens.fr:8080/home/madore/programs/unlambda/ Unlambdaは、obfuscated programming languages (混乱させるプログラム言語、といったところでしょうか) の一種として開発された言語です。 しかしただそれだけではなく、純粋関数型言語というもう一つの特徴も持っています。 そのためオブジェクトは関数しかなく、数値や文字列などというものは(組み込みでは)存在しません。 しかしこの極限的な状況でのプログラムには、実に楽しいものがあります。 このページでは、そんなUnlambdaのプログラミングの解説を行い
バベル案内
Steve Yegge / 青木靖 訳 2004年9月 これは駆け足の言語案内だ — Amazon Developers Journalのために今月書いていたのだが、どうもこれを見苦しくないようにする方法を見つけられなかった･･･。 ひとつには、私はどうも粗野で口汚くなりがちで、オフィシャルな趣のあるAmazonの出版物に載せるのは不適切に思えた。それでかわりに誰も読まない自分のブログに押し込めてしまうことにした。読んでるのはあなたくらいのものだよ。どうも! もうひとつ言うと、これは本当に書きかけのものであり、そこかしこの断片を集めたものでしかない。全然磨き上げられていない。これもブログエントリにする理由になっている。ブログなら別に良質である必要も完全である必要もない。単に私が今日考えたことというだけのものだ。ではお楽しみを! この駆け足の案内では、C、C++、Lisp、Java、Perl
OCaml と awk の文法を視覚化する：Rainy Day Codings：So-net blog
Nick Siegerさんという人が Ruby, Java, JavaScript の文法を yacc ファイルを元に視覚化するということをやっていて [1] 、そのやり方を真似して awk 版と OCaml 版を作ってみた。 まずは awk の文法。これは the one true awk [2] の awkgram.y を元にやってみた。大きく見るにはブラウザの機能で画像の単独表示をしてみてください。 上記3言語と比べてもかなりコンパクトにまとまっててなかなかキュートです。 そして OCaml の文法。これは OCaml ソースコードの parser.mly を使った。 多分 implementation から始まる .ml の文法と interface から始まる .mli の文法があるのだが、前者のみ。 これは…。全然追えない。 [1] http://blog.nicksieger
There's more than one language to cook your problems : 404 Blog Not Found
2006年11月21日13:30 カテゴリ書評/画評/品評Lightweight Languages There's more than one language to cook your problems 今書いている本の資料として両書とも購入したのだけど、よせばいいのに二つとも一気読みしてしまった。 Python Cookbook (2nd Ed.) Ruby Cookbook コンデンスミルクを二缶いっきのみしたような感じ。うぐぐ... Perl Cookbook (English) Christiansen / Torkington [邦訳: Perlクックブック] 見てすぐわかるとおり、"Python Cookbook"も"Ruby Cookbook"も、大好評だった"Perl Cookbook"(404 Blog Not Found:perl - "Hello, world!"
言語をめぐる論争 - The Joel on Software Translation Project
Joel Spolsky / 青木靖 訳 2006年9月1日 金曜 旧知の友人がメールで質問をしてきた。 「Webサーバ上に構築するエンタープライズアプリケーションを作るためのテクノロジーについて、基本的な疑問がある。君の考えを聞きたい･･･」 「君だったら、.NETとJ2EEで、どちらを選ぶ?」 「Webサーバは何を使うべきだろう(Apache、IIS、その他)? その理由は?」 「どのWeb開発言語がいいだろう(ASP.NET、Ruby、Ruby on Rails、Java、Python、その他)? その理由は?」 「君の会社では何を使っているの? その理由は?」 ああ、素晴らしい質問だ。答えるのが不可能で、しかも簡単に答えられる! すまない、なぞなぞみたいな言い方はやめよう。しばらく前のことだが、私は「プログラミングにおけるロード・パーマストン問題」という文章を書いた。.NETとかJ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Dart programming language
ooc » The ooc programming language
らいおんの隠れ家 - ポール・グレアム 「プログラミング言語が解決するもの」
プログラミング言語川柳:Geekなぺーじ