Index of /jrb/goo
Index of /jrb/goo NameLast modifiedSizeDescription Parent Directory - goo-0_131-linux-bin.tar.gz2002-04-11 18:46 1.9M goo-0_131-linux-dev.tar.gz2002-04-11 18:29 1.2M goo-0_131-linux.tar.gz2002-04-11 13:31 1.2M goo-0_131-win32-bin.tar.gz2002-04-11 18:08 2.3M goo-0_131-win32-dev.tar.gz2002-04-11 18:08 2.8M goo-0_131-win32.tar.gz2002-04-11 13:31 2.8M goo-0_133-linux-bin.tar.gz2002-05-17 15:23 1.9M g
Idris: A Language for Type-Driven Development
Idris: A Language for Type-Driven Development Idris is a programming language designed to encourage Type-Driven Development. In type-driven development, types are tools for constructing programs. We treat the type as the plan for a program, and use the compiler and type checker as our assistant, guiding us to a complete program that satisfies the type. The more expressive the type is that we give
「値が無い」ということをどう表現するか、あるいはOption型について - Line 1: Error: Invalid Blog('by Esehara' )
はじめに 現在、「イケている」と呼ばれる関数型言語について、大抵の場合は「Option型」と呼ばれる型が実装されていたりします。具体的には、OCamlとScalaであり、HaskellにもMonadの一つとしてMaybe型というものがあります。 この「Option型」とは何か、といえば、要するに「値があるかどうかわからない型」という型であり、値として「値を持っていない」か、「値を持っている」という二つのパターンをとります。そして、「値を持っている」という状態のときだけその値に対してアクセスすることができます。 とはいえ、これだけだと何が嬉しいのかさっぱりわかりませんので、その辺りについて、少しだけメモしておきます。 「値が無い」ということを表現すること 素朴に考えて、「何らかの値が無い」ということを示すためには、二つの方法で表現することが出来ます。 値が無い場合は、None（Pythonで
Z
A tiny language called Z “The main idea seems clever, but also too clever” — reddit A tiny, strict, impure, curried, dynamically typed (although that may change), partially applied language with rather peculiar syntax. Markdown’s insight First, I want you to recall Markdown. You've seen it even if you haven't ever written any. And you'll know that there's a particular feature in the Markdown synta
GoLio
GoLio is a Lisp dialect implemented in OCaml. The syntax, semantics and library procedures are a subset of R5RS, with one important addition: a Go-like concurrency model. Yet another Lisp interpreter ... > (define (curry func arg1) (lambda (arg) (apply func arg1 (list arg)))) > (map (curry + 2) '(1 2 3 4)) (3 4 5 6) ;; just plain old s-expressions > (letrec ((even? (lambda (n) (if (= 0 n) #t (odd?
The Fay Programming Language — A Haskell subset
IntroductionFay is a small programming language which has the following properties:A strict syntactic and semantic subset of HaskellStatically typedLazyPure by defaultCompiles to JavaScriptHas fundamental data types (Double, String, etc.) based upon what JS can supportHas a trivial foreign function interface to JavaScriptBecause Fay is intended to be small and simple, it relies on GHC, the Haskell
Nightscout
Settings Units mg/dL mmol/L Date format 12 hours 24 hours Language Scale Render Basal Bolus Display Threshold Small Bolus Display Large Bolus Display Enable Alarms Urgent High Alarm High Alarm Low Alarm Urgent Low Alarm Stale Data: Warn mins Stale Data: Urgent mins Pump Battery Low Alarm Night Mode Enable Edit Mode Enable Show Raw BG Data Never Always When there is noise Custom Title Theme Default
『好きなプログラミング言語選手権』選挙投票結果 | ツイッター選挙 twisen.com
『好きなプログラミング言語選手権』選挙投票結果 | そこに100個くらいプログラミング言語があるじゃろ？
elixirはプログラマの万能薬になるか その3 - Fat Old Sun
前回はrubyなところを主に説明してきたので、いよいよ今回はLispな所であり、個人的に最もエキサイティングだと感じているメタプログラミングについて記述する。 メタプログラミング プログラムを書くプログラムを書く事をメタプログラミングと呼ぶ。Cのプリプロセッサや、yacc等のコード生成系もメタプログラムの範囲に含める場合があるようだが、Lispが最も有名であり、徹底されている。LispはプログラムがLispのS式で表現されているため、Lispの全能力使ってメタプログラミングが行える。それ故に、Lispは他の言語とは次元の違う強力さを持っている。プログラム言語がデータ構造として表現できる事(homoiconic)と、構文解析とコード生成の間にマクロの層があることがこの強力さの源になっている。 一方、elixirはというと、ruby風味のシンタックスであるにも関わらず、Lisp並のメタプログラ
The Julia Programming Language
Fast Julia was designed for high performance. Julia programs automatically compile to efficient native code via LLVM, and support multiple platforms. Dynamic Julia is dynamically typed, feels like a scripting language, and has good support for interactive use, but can also optionally be separately compiled. Reproducible Reproducible environments make it possible to recreate the same Julia environm
Why We Created Julia
14 February 2012 | Jeff Bezanson Stefan Karpinski Viral B. Shah Alan Edelman Jeff Bezanson Stefan Karpinski Viral B. Shah Alan Edelman In short, because we are greedy. We are power Matlab users. Some of us are Lisp hackers. Some are Pythonistas, others Rubyists, still others Perl hackers. There are those of us who used Mathematica before we could grow facial hair. There are those who still can't g
処理系に質問する方法
いろいろなプログラミング言語を利用していると、 同じような機能の関数の名前が言語間で異なることがしばしばあります。 ブラウザを立ち上げてドキュメントを探して、としても良いかもしれませんが、 ちょっとど忘れした名前を調べるだけならば、使っている処理系に問いあわせるだけで 目的を達成できそうです。 ということで、各処理系でのヘルプ機能を調べてみました。 Ruby Rubyのオブジェクトにはメソッドやメンバ変数の一覧を取得するメソッドが備わっています。 methods メソッドを返す public_methods publicなメソッドを返す private_methods privateなメソッドを返す protected_methods protectedなメソッドを返す instance_methods メソッドを返す included_modules インクルードしているモジュールを返す
Why I love Common Lisp and hate Java
“Common what?” is a common reply I get when I mention Common Lisp. Perhaps rightly so, since Common Lisp is not all that common these days. Developed in the sixties, it is one of the oldest programming languages out there. In its heydays it was used mostly for Artificial Intelligence research at MIT, Stanford, Carnegie Mellon and the like, and therefore has a lingering association with AI. People
Startupで採択すべきプログラミング言語 - 続きはwebで
「どの言語を使うか」という問題は、実は当座の生産性の話だけではなく、会社のカルチャーやその後の採用に大きな影響を与えます。ですがーエンジニアが代表であってもーこの問題を意識している人は意外に少ない、というのが正直な印象です。今回は言語毎の特徴を踏まえつつ、どの言語を採択すべきかを考えたいと思います。※Web系に限定しています。 前置き (競合相手のうち)一番安全なのはOracleの経験者を募集しているところだ。 そういうところを警戒する必要は全く無い。また、JavaやC++プログラマを募集しているところも安全だ。もしPerlやPythonプログラマを 募集していたら、ちょっと気を付けたほうがいい。その企業の、少なくとも技術部門は本物のハッカーがやっている可能性が高いからだ。もし私がLispハッカーの募集広告を目にしていたら、きっとかなり心配していただろう。[1] YCのPaul Graha
Growing a Language, by Guy Steele
Growing a Language, by Guy Steele - 53:30 - Oct 22, 1998 ACM OOPSLA conference - research.sun.com/jtech/pubs/98-oopsla-growing.ps () Rate: Guy Steele's keynote at the 1998 ACM OOPSLA conference on "Growing a Language" discusses the importance of and issues associated with designing a programming language that can be grown by its users. Download video - iPod/PSP | Embed video Download is starting
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
What's been the most influential programming language and why?
GitHub - cammckinnon/Parenthetic: A Lisp-style language whose programs consist entirely of parentheses.
http://ja.mygengo.com/
十大深夜看黄禁用免费app(中国)有限公司
Animvs, a new kind of Lisp