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
22 weeks 6 days ago
23 weeks 36 min ago
23 weeks 42 min ago
45 weeks 1 day ago
49 weeks 3 days ago
51 weeks 8 hours ago
51 weeks 8 hours ago
1 year 1 week ago
1 year 6 weeks ago
1 year 6 weeks ago