crenlifのブックマーク / 2010年2月3日

crenlif id:crenlif

2010年2月3日のブックマーク (3件)

25.2. ttk — Tk themed widgets — Python v2.7a2 documentation
crenlif 2010/02/03
"The ttk module provides access to the Tk themed widget set, which has been introduced in Tk 8.5. If Python is not compiled against Tk 8.5 code may still use this module as long as Tile is installed. However, some features provided by the new Tk, like anti-aliased font rendering under X11, window tr
リンク
Google Code Archive - Long-term storage for Google Code Project Hosting.
Code Archive Skip to content Google About Google Privacy Terms
crenlif 2010/02/03
"This ttk wrapper provides classes to allow using the Tk themed widget set, as well some extensions, under Python. Ttk is based on a revised and enhanced version of TIP #48 (http://tip.tcl.tk/48) specified style engine. Its basic idea is to separate, to the extent possible, the code implementing a w
リンク
Type Theory Comes of Age – Communications of the ACM
Type systems are moving beyond the realm of data structure and into more complex domains like security and networking. Benjamin C. Pierce, University of Pennsylvania. When the philosopher Bertrand Russell invented type theory at the beginning of the 20th century, he could hardly have imagined that his solution to a simple logic paradox—defining the set of all sets not in themselves—would one day s
crenlif 2010/02/03
"The dream of unifying static and dynamic type systems has long fascinated researchers. Today, several computer scientists are probing the possibility of merging these approaches. Wadler is pursuing a promising line of research called blame calculus that attempts to incorporate both static and dynam

programming
リンク
- 2010年2月4日
- 2010年2月3日
- 2010年2月2日