Lambda the Ultimate

   

Home Feedback FAQ Getting Started Discussions Site operation discussions Recent Posts (new topic) Departments Courses Research Papers Design Docs Quotations Genealogical Diagrams Archives User login Username: Password: Create new account Request new password Navigation recent posts

Home » user account djb view track type  title author last post Story Sage: A Programming Language With Hybrid Type-Checking Qi by djb Paul Snively 2006-11-02 17:52 Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more) Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation

Browse archives « April 2024   Su Mo Tu We Th Fr Sa   1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30         Active forum topics Compiling high-level code to cryptography Haxl(-like "Monads") in terms of Delimited Continuations? programming languages with full-unicode syntax and identifiers are surprisingly hard to do well. A case study of concatenative v.s. applicative syntax design Using JavaScript-like syntax to program with Interaction Nets more New forum topics Compiling high-level code to cryptography Haxl(-like "Monads") in terms of Delimited Continuations? A case study of concatenative v.s. applicative syntax design Using JavaScript-like syntax to program with Interaction Nets Sorting the travelling salesman problem more Recent comments Video Presentation 15 weeks 4 hours ago Also published in ICFP 19 weeks 2 days ago About identifiers... 20 weeks 6 days ago Duplicate comment deleted. 20 weeks 6 days ago Also true for postfix 23 weeks 4 days ago That's all about the delimiters. 28 weeks 1 day ago How about prefix notation? 28 weeks 1 day ago without knowing all word arities, you can't read postfix code 28 weeks 4 days ago without knowing all word arities, you can't read postfix code 28 weeks 4 days ago Interesting 31 weeks 3 days ago

user error: The total number of locks exceeds the lock table size
query: INSERT INTO accesslog (title, path, url, hostname, uid, timestamp) values('djb', 'user/3063/track', '', '35.191.15.221', 0, 1714019993) in /home/ltu/www/includes/database.mysql.inc on line 66.