書かなイカ?
ゆっくり言語とかコメントとか追加していってね!!!
参加者
- ここに参加表明するといいよ -- xhl? 2012-10-25 (木) 20:13:22
- ねこねこ -- nya? 2012-10-25 (木) 20:26:55
- ゆーん -- 椛川? 2012-10-25 (木) 20:51:01
- にゃー -- chun? 2012-11-04 (日) 22:29:17
言語一覧
まぁとりあえずお前ら好きな言語に対する愛でも書いとけ
名前書いとくと後でいいことがあります[要出典]
カテゴリわけは適当なので適当に整理してください
- C++
- 静的型付け、かわいい、変態さんたちがすごい勢いで言語拡張してる、disるとTLの親切な人たちが優しく教えてくれる。 (xhl)
関数型
- Haskell
- 静的型付け、変態さんたちがすごい勢いで言語拡張してる、disるとTLの親切な人たちが優しく教えてくれる。 (xhl)
- OCaml
- コンパイラ書くならOCaml! (xhl)
- Funnel
- SML#
- いまユーザーになれば、世界で10本の指に入るSML# expertになれます (chun)
LISP語族
- Scheme
- 教育用だけど使い勝手がいい。割となんでもできる。(椛川)
スクリプト言語系
- Perl
- 動的型付けの苦しみあるいは喜び。マジで何でもあるCPAN。 (xhl)
- Ruby
- Python
- JavaScript
- bash
- Makefile
並列言語系
- Fortran
- HPF
- CUDA
- NESL
- C*
- UPC
- X10
- Fortress
- brook
低レイヤー・中間言語
- 機械語
- アセンブリですらない素のバイナリいじるのタノシイヨ (xhl)
- アセンブリ
- まぁでも生産性考えるとこのあたりが低レベルプログラミングの落しどころですかね… (xhl)
- インラインアセンブリでTopCoderしてもいいのよ? (xhl)
- Java Bytecode
- バイトコード実行イイネ。bytecode instrumentationイイネ。JITイイネ。 (xhl)
論理型
- Prolog
- 論理しましょう
証明
- Coq
- 証明しましょう
ハードウェア設計
- Verilog
- HW実装タノシイヨ (xhl)
- BlueSpec
- HW記述言語の皮を被ったHaskell (chun)
マークアップ
- 原理主義的HTML/CSS
- recommendedの意味から始まるRFC/W3C勧告講釈。 (xhl)