You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
タグ
- すべて
- .NET (60)
- 2ch (150)
- 3D (56)
- API (301)
- AR (61)
- Ad (326)
- AdventCalendar (30)
- Agda (49)
- AngularJS (128)
- Ansible (69)
- Arrow (42)
- Atom (32)
- Azure (31)
- Backbone (98)
- Bitcoin (87)
- Blog (99)
- Bluetooth (40)
- Bookmarklet (33)
- C (193)
- C++ (267)
- CDN (28)
- CG (30)
- CGI (38)
- CI (36)
- CMS (41)
- CPAN (639)
- CPU (52)
- CSS (396)
- CentOS (65)
- Chef (60)
- Chrome (248)
- ChromeOS (40)
- CoffeeScript (235)
- Coq (134)
- CouchApp (38)
- CouchDB (291)
- Couchbase (43)
- DB (161)
- DBI (79)
- DJ (371)
- DNS (85)
- DOM (32)
- DSL (77)
- DSP (232)
- DeNA (53)
- Docker (275)
- EC (336)
- EC2 (98)
- ECMAScript (51)
- Emacs (124)
- Erlang (235)
- Excel (46)
- FACT (66)
- FFI (43)
- FPGA (48)
- Firefox (249)
- GC (65)
- GHC (171)
- GPU (55)
- GUI (97)
- Gearman (40)
- Geolocation (72)
- Git (306)
- Gmail (59)
- Go (212)
- GoogleAnalytics (71)
- GoogleAppEngine (82)
- GraphDB (53)
- HP (39)
- HTML (92)
- HTML5 (309)
- HTTP (331)
- Hadoop (57)
- Hardware (59)
- Homebrew (32)
- IDE (109)
- IE (87)
- IRC (28)
- Instagram (43)
- IntelliJ (59)
- JSON (149)
- JSX (30)
- JVM (85)
- Java (591)
- Jenkins (67)
- KORG (38)
- KVS (80)
- Kinect (72)
- LINE (38)
- LLVM (81)
- Lens (40)
- Like (36)
- Lint (32)
- Linux (358)
- Log (115)
- Lua (42)
- MVC (57)
- Mac (683)
- MapReduce (51)
- Mobile (507)
- MongoDB (128)
- MovableType (45)
- Network (239)
- Node.js (1683)
- OAuth (83)
- OCaml (192)
- OOP (67)
- ObjectiveC (187)
- Oculus (28)
- OpenID (118)
- OpenSocial (29)
- P2P (42)
- PDF (147)
- PHP (417)
- Pd (32)
- Perl (1369)
- Plack (49)
- R (57)
- REST (90)
- RSS (49)
- RTB (36)
- Rails (293)
- ReactiveProgramming (58)
- Redis (155)
- Redmine (30)
- Riak (37)
- Ruby (954)
- RubyMotion (79)
- Rust (40)
- S3 (57)
- SBM (31)
- SEO (99)
- SNS (236)
- SPDY (34)
- SQL (89)
- SSD (53)
- SSL (95)
- STM (29)
- SVG (34)
- Safari (29)
- Scala (549)
- Selenium (36)
- Software (287)
- SoundCloud (66)
- Subversion (59)
- Surface (59)
- TV (78)
- Template (134)
- Test (583)
- Thread (45)
- Tips (258)
- Traktor (47)
- TypeScript (30)
- Tシャツ (44)
- UI (637)
- URL (31)
- US (35)
- Unity (40)
- V8 (89)
- VMware (72)
- VPS (53)
- Vagrant (106)
- Vim (378)
- VisualStudio (53)
- WANT (173)
- Web (144)
- WebGL (38)
- WebServices (1569)
- WebSocket (162)
- Wi-Fi (66)
- Wikileaks (63)
- WindowManager (32)
- Windows10 (50)
- Windows8 (58)
- WindowsMobile (98)
- WordPress (43)
- XML (53)
- XSS (40)
- Xcode (51)
- Xen (34)
- Yesod (89)
- ZFS (40)
- academic (62)
- actor (36)
- addon (47)
- adobe (83)
- ajax (94)
- akka (38)
- algorithm (129)
- amazon (341)
- analytics (57)
- android (530)
- apache (122)
- app-store (40)
- apple (184)
- applicative (35)
- architecture (69)
- arduino (81)
- art (168)
- au (29)
- audio (177)
- aws (115)
- backup (99)
- bandcamp (131)
- bar (48)
- benchmark (118)
- binary (35)
- book (261)
- browser (134)
- business (310)
- cabal (65)
- cache (45)
- cafe (197)
- cakephp (71)
- calendar (73)
- camera (102)
- canvas (76)
- catalyst (154)
- category-theory (70)
- chat (35)
- china (39)
- clojure (253)
- clojurescript (30)
- cloud (148)
- coding-style (57)
- coffee (40)
- community (72)
- compiler (156)
- composition (32)
- concurrent (260)
- conduit (31)
- config (39)
- continuation (33)
- cookie (72)
- cookpad (58)
- cron (29)
- crypto (46)
- csharp (31)
- cui (80)
- curation (32)
- daemon (30)
- data-mining (72)
- datetime (43)
- debug (265)
- deploy (80)
- design (691)
- diff (35)
- display (58)
- distributed (71)
- docomo (50)
- document (142)
- dropbox (82)
- drum (51)
- ePub (88)
- ec-cube (48)
- eclipse (93)
- economics (54)
- editor (146)
- effector (42)
- electronic (1038)
- english (128)
- error (40)
- event (252)
- evernote (99)
- exception (42)
- express (48)
- extension (78)
- facebook (312)
- fashion (365)
- file (35)
- flash (239)
- fluentd (91)
- font (87)
- football (76)
- form (56)
- framework (433)
- fsharp (65)
- functional (214)
- gadget (183)
- gallery (56)
- game (377)
- generator (45)
- girl (59)
- github (203)
- google (540)
- googlemaps (40)
- graph (81)
- greasemonkey (29)
- gree (48)
- guitar (71)
- gundam (39)
- hacker (51)
- handcraft (73)
- haskell (2223)
- hatena (63)
- headphone (46)
- health (217)
- heroku (110)
- hiphop (229)
- hosting (70)
- iCloud (30)
- iOS (502)
- iPad (438)
- iPhone (787)
- iTunes (135)
- infra (351)
- internet (198)
- interview (393)
- iteratee (45)
- jQuery (444)
- javascript (2565)
- kernel (34)
- keyboard (109)
- kindle (139)
- lambda (38)
- language (210)
- latex (67)
- lifehack (54)
- lisp (104)
- livedoor (32)
- logic (45)
- lxc (36)
- macbook (84)
- machine-learning (103)
- magazine (53)
- mail (147)
- maps (53)
- markdown (106)
- marketing (116)
- math (216)
- media (86)
- memcached (56)
- memory (30)
- message-pack (48)
- message-queue (44)
- metrics (30)
- microsoft (136)
- midi (65)
- mixi (112)
- mock (31)
- module (131)
- monad (166)
- monitoring (147)
- moose (41)
- movie (110)
- mp3 (302)
- music (3771)
- myspace (51)
- mysql (192)
- neta (222)
- news (35)
- nginx (146)
- notebook (55)
- notification (31)
- npm (54)
- office (38)
- opensource (85)
- parallel (80)
- parsec (44)
- parser (124)
- pattern-matching (46)
- paypal (39)
- photoshop (51)
- physics (29)
- plagger (44)
- playframework (71)
- politics (189)
- postgresql (161)
- presentation (80)
- privacy (184)
- profiling (53)
- programming (319)
- protocol (31)
- proxy (42)
- python (251)
- quickcheck (57)
- rack (29)
- recipe (145)
- regex (64)
- reggae (36)
- repl (36)
- reverse-proxy (37)
- review (334)
- robot (104)
- rock (547)
- salesforce (59)
- sampler (49)
- sbt (49)
- scan (33)
- scheme (81)
- science (87)
- scrape (37)
- security (456)
- sensor (32)
- share (153)
- shell (216)
- sinatra (67)
- sketch (30)
- skype (41)
- socket.io (107)
- softbank (43)
- sony (72)
- speaker (33)
- sports (109)
- ssh (73)
- startup (39)
- statistics (52)
- storage (199)
- streaming (50)
- supercollider (93)
- synth (148)
- tablet (148)
- terminal (71)
- theorem-prover (34)
- thinkpad (59)
- titanium (71)
- tokyo (35)
- travel (141)
- tumblr (116)
- tuning (190)
- tutorial (490)
- twitter (529)
- type-system (61)
- ubuntu (43)
- uupaa (32)
- validation (64)
- vehicle (47)
- video (342)
- visualization (165)
- webkit (71)
- wiki (69)
- windows (275)
- xmonad (34)
- yahoo (90)
- youtube (408)
- zeromq (45)
- zsh (36)
- これはひどい (34)
- これは欲しい (46)
- さくらインターネット (42)
- アニメ (52)
- オフィス (136)
- カレー (82)
- システム開発 (34)
- ニコニコ動画 (51)
- フレームワーク (37)
- プラグイン (32)
- プロジェクト管理 (156)
- ライブラリ (43)
- ラーメン (96)
- 三軒茶屋 (42)
- 不動産 (83)
- 中目黒 (214)
- 中華 (61)
- 事例 (273)
- 人生 (46)
- 仕事観 (67)
- 代官山 (34)
- 写真 (187)
- 出版 (49)
- 労働 (36)
- 動物 (29)
- 動画配信 (33)
- 医療 (47)
- 原発 (48)
- 呑み屋 (148)
- 図書館 (47)
- 地震 (39)
- 宇宙 (50)
- 建築 (31)
- 後で (35)
- 恵比寿 (101)
- 戦争 (42)
- 教育 (221)
- 文化 (30)
- 文字コード (107)
- 文房具 (32)
- 新宿 (36)
- 新聞 (51)
- 日本 (41)
- 検索 (187)
- 楽天 (41)
- 歴史 (213)
- 池尻大橋 (48)
- 決済 (123)
- 法律 (88)
- 渋谷 (197)
- 漫画 (156)
- 生活 (110)
- 生物 (52)
- 画像 (114)
- 画像処理 (83)
- 画像認識 (32)
- 社会 (176)
- 税金 (31)
- 素材 (101)
- 経営 (179)
- 肉 (110)
- 自然言語処理 (40)
- 自転車 (33)
- 著作権 (222)
- 設計 (48)
- 認証 (81)
- 起業 (189)
- 金融 (32)
- 雇用 (101)
- 電子書籍 (499)
- 音楽配信 (228)
- 食 (1294)
- music (3771)
- javascript (2565)
- haskell (2223)
- Node.js (1683)
- WebServices (1569)
- Perl (1369)
- 食 (1294)
- electronic (1038)
- Ruby (954)
- iPhone (787)
Ermineに関するnsyeeのブックマーク (3)
-
nsyee 2013/07/18
- Ermine
- haskell
- language
リンク -
ermine language
Rúnar @runarorama MHF has quietly made available the source for Ermine, a programming language that I worked on for nearly 3 years https://t.co/g5Y28iUNX0 2013-07-16 04:05:24
-
ermine-0.6: Ermine
This is a port of the compiler for the Ermine functional programming language from Scala. _,-/"---, ;""""""""""; _`;; "" <@`---v ; ::::: :: "' _` ;; " _.../ ;" ;; ;;; '",-`:: ;;,'"""" ;" ;;;;. ;; ;;; ::` ____ ,/ / ;; ;;;______;;; ;;; ::,` / __/_____ _ ( )__ __ /;; _;; ;;; ; ; / _//`__/ ' \/ /`_ \/ -) | :/ / ,;' ;_ "")/ /___/_/ /_/_/_/_/_//_/\__/ 0.6 ; ; / /"""= \;;\\""= Copyright (C) 2010-14 McGra
-
1
公式Twitter
- @HatenaBookmark
リリース、障害情報などのサービスのお知らせ
- @hatebu
最新の人気エントリーの配信
処理を実行中です
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
設定を変更しましたx