User loginNavigation |
archivesJavascript InheritanceThis seems like a nice summary of various approaches, and provides an interesting prespective on prototype based languages in general and on Javascript in particular. Some of the libraries mentioned were discussed here before. It is tempting to compare this to various documents trying to show "how to add objects to Scheme/Haskell/etc." The solutions are rather similar... MyHDL(via Daily Python-URL)
MyHDL is an open-source package for using Python as a hardware description and verification language. A Verilog converter is also included. EE Times provides some background on MyHDL in this article. Rho calculusThe Rho-calculus is a calculus of pattern matching that embeds the lambda-calculus in a very simple manner, and also naturally accomodates a number of extensions of the lambda-calculus. It encodes the results of pattern matching in a manner that ensures confluence of the whole calculus. It was proposed by Horatiu Cirstea and Claude Kirchner in 1998, and Matching Power, a 2001 RTA paper, is maybe the nicest introduction to the calculus. Kirchner's research group maintains a list of papers. Postscript There was an LtU classic story on the rho-calculus as well... |
Browse archivesActive forum topics |
Recent comments
7 hours 24 min ago
18 hours 21 min ago
19 hours 36 min ago
19 hours 45 min ago
20 hours 44 min ago
21 hours 2 min ago
23 hours 30 min ago
1 day 57 min ago
1 day 2 hours ago
1 day 4 hours ago