嵐達網

ECMAScript (ECMA-262) 的第五版在去年底（2009 年 12 月）正式成為繼 ECMAScript 3 之後的新標準。ECMAScript 其實就是網路上常見的 Javascript 經標準化之後的程式語言。在經歷 ECMAScript 4 的風風雨雨之後，ECMAScript 5 不像 ECMAScript 4 那麼激進，大部份的 ECMAScript 5th 的程式碼都可以用 ECAMScript 3 的 Interpreter 去執行。

不過 ECMAScript 還是加入了不少東西，例如：類似 Perl 的 use strict 模式。當我們為函式或者 global scope 加上 use strict directive，會關閉部分語義不清或者容易導致問題的語法，像是不再使用八進位數字字面(octal integer literal)、eval 函式的使用會更安全、不能再隨意改動 arguments object、不能再使用 with statement 等等。另外，ECMAScript 5 也加入了 Native 的 JSON 支援，Object 旳 property 加上了 attribute 機制(Writable/Enumerable/Configurable)。除此之外，ECMAScript 5 還改良了不少 Standard Library 的 API。

詳情可以參考 ECMA-262 的規格書，或者 ECMAScript 的網站：

• ECMAScript: the language of the web
• ECMAScript 5 specification

From: Lambda the Ultimate - HipHop: Facebook runs compiled PHP on its servers

在這之前，就有聽到 Facebook 有意願使用 C/C++ 重寫 Facebook Application，PHP 可以說是網頁語言裡面效率較好的程式語言，原因也蠻簡單的，因為發展時間較久，但是老實說 PHP 的 weak type + script language 特性還是無法跟 C/C++ 比，這樣子的專案出來，老實說不讓人驚訝。

有興趣的可以看看 !

原訊息: MIT News - Picture-driven computing

Project Sikulli 是由 Tom Yeh, Tsung-Hsiang Chang 及指導老師 Robert C. Miller 共同創作，我沒有看這篇論文，不過大概把圖看完了 XD

Picture-driven computing 指的是說，如果在一個 GUI 下，我們要怎麼樣更好好的控制這個介面，在一般的 command line 下，我們使用 argument 控制一個程式，用 pipe 的概念把程式串起來，但是在 Windows 底下，更廣乏的來說，在 GUI 下，這個方法是未必可行的。

也就是說，提出了一個用截圖的方法來控制整個程式，概念相當有趣，目前是以 Python 的延伸為一個套件，三個平台 (Windows , Mac OSX, Linux) 皆有支援。

btw, Tsung-Hsiang Chang 即是 vgod ，大家可以前往他的 vgod's blog - change the world 看一下，他也很詳盡的寫了有關 Sikiuli 的一些事，不過網站可能被人工 DDoS 掉了，要有點耐心 XD.

英國又有一個不錯的春季課程： Midlands Graduate School in the Foundations of Computing Science，為期一週、設計上是為博士班學生開設的密集課程，但也歡迎學者和有興趣的人士參加。

日期: 2010 年三月 28 日至四月一日。

課程:

• Invited Speaker
  • Lectures on Separation Logic Peter O'Hearn (Queen Mary, London)
• Introductory Courses
  • Category Theory   Graham Hutton (Nottingham)
  • Functional Programming   Henrik Nilsson (Nottingham)
  • Typed Lambda Calculi   Eike Ritter (Birmingham)
• Advanced Courses
  • Domain Theory and Denotational Semantics   Martín Escardó (Birmingham)
  • Game Semantics and Applications   Dan Ghica (Birmingham)
  • Formal Languages and Group Theory   Rick Thomas (Leicester)
  • Protocol Verification   Emilio Tuosto (Leicester)
  • Quantum Topos Theory   Steve Vickers (Birmingham)

今年三月，EPSRC 補助的泛型與索引程式設計計畫將在牛津大學開設五天的課程： Spring School on Generic and Indexed Programming，講者包括:

• Nate Foster (Princeton University): Bidirectional Programming
• Ralf Hinze (University of Oxford): Generic Programming with Adjunctions
• Oleg Kiselyov (Fleet Numerical Meteorology and Oceanography Center): Typed Tagless Interpreters
• Simon Peyton Jones (Microsoft Research Cambridge): Type Functions
• Jeremy Siek (University of Colorado at Boulder): Concepts in C++
• Stephanie Weirich (University of Pennsylvania): Generic Programming with Dependent Types

詳情請參閱公式網頁。

詳見公式網頁。

4 PhD positions in Formalization of Mathematics in Type Theory

We are looking for students with a strong interest in functional programming and mathematics for two projects in formalization of mathematics in type theory. Among the theme of research are: constructive representation of algebraic numbers (in particular applied to computations on algebraic curves), homological algebra, category theory in type theory, as well as metatheory of types systems.

Three positions are funded by an ERC Advanced Grant from the European Union. One position is within a Strep Open, 7th framework, which involves, as other sites, INRIA, INRIA-microsoft, Nijmegen and La Roja.

The monthly salary is around 2350 euros.

For more informations see http://www.gu.se/omuniversitetet/ledigaanstallningar

• 活動時間:2010.01.22 14.00 ~ 17.00
• 活動地點:中央研究院 資訊科學研究所 101室

報名及其他詳情見活動網頁。

講師簡介

張文鈿 (ihower) ，目前從事 Ruby 和 Ruby on Rails 軟體開發及教育訓練工作。2006 年開始接觸 Ruby on Rails，從此愛上 Ruby 這個極具豐富樂趣及高生產力的程式語言。ihower 同時也是 Ruby Taiwan 社群主力成員，不定期在台北主辦 Ruby Tuesday 技術分享聚會。

• 主要專長：Ruby 程式設計和 Ruby on Rails 網站應用程式開發。
• 連絡方式： ihower@gmail.com 。
• 部 落 格：http://ihower.tw。

課程簡介

本活動分為三個階段，採社群技術分享的方式進行。第一階段由講師和大家分享分散式 Ruby 和 Ruby on Rails 程式設計，以及如何使用 REST 設計 SOA 架構；第二階段的 Q & A 討論分享，則開放給參與活動的朋友提出在 Ruby 或 Ruby on Rails 程式設計上所遇到的問題，或者技術面的分享。第三階段六十分鐘的 Code Review，則是 OpenFoundry 技術團隊與講師討論 OpenFoundry 主網站在開發上所遇到的一些困難。秉持著開放源碼精神，本階段也很歡迎有興趣的朋友一同加入。詳細的內容時間描述與報名資訊如下：

• 對象：中央研究院內的 Ruby 和 Ruby on Rails 程式設計高手，或者對其有興趣的人。院外人士也歡迎參加！
• 人數：32 人。
• 平台：請自行攜帶 Notebook 。
• 費用：全程免費。

1960 年一月 1 日至 16 日，歐洲與美國的計算科學家在巴黎開會制定了影響深遠的程式語言 Algol 60。本月 14 日，英國電腦學會高等編程組與電腦保育學會將舉辦一日討論會：50 years of Advanced Programming – an Anniversary Seminar on Algol 60，紀念 ALGOL 60 報告 50 週年。議程如下

• Mike Woodger interviewed by Brian Wichmann
• Brian Randell on "Early compilers"
• Cliff Jones with a contribution from Tony Hoare
• Richard Bornat on Peter Landin's early work
• Cliff Jones with a contribution from Luca Cardelli
• David Holdsworth speaking on revivifying the KDF9 compiler
• Peter Onion speaking on practical aspects of using the Elliott 803 compiler

會期主席為 John Florentin and David Hartley。靠近倫敦的朋友可以去看看！

轉自 Lambda the Ultimate - ParaSail, a new language oriented toward parallelism and verification

官方 blog

一個新的針對平行的程式語言，不過有趣的是尚未實作出來。該語言希望平行是能夠自動被產生的。

存在 interface 與 class 兩種 module ，而 class 必需是 implement interface，而 type 的部分看的不是很懂，可能得花時間看一下他的 blog 的實際例子。

原文來自於 Lambda the Ultimate - Functional Pearl: Implicit Configurations —or, Type Classes Reflect the Values of Types，本文

Oleg Kiselyov and Chung-chieh Shan 在這篇文章中，嘗試的去解決 The configuration problems. 而其定義是

The configurations problem is to propagate run-time preferences throughout a program, allowing multiple concurrent configuration sets to coexist safely under statically guaranteed separation.

這個問題在 software system 相當的常見，但是在 Haskell 中，只要善加使用語言本身的特性，即可解決，就可以在 run-time 中知道較多的事做出對於 program 較好的設定，似乎看起來是要解決這樣子的問題。

我似乎都對這種題目不甚擅長，只能說盡量的解讀與猜測了。