Lambda the Ultimate Weblog Topics
Last Updated 07/17/2012

Posts By: YSharp

  Date    Post    Topic  
07/12/2012To play around withLanguage Implementation 101
07/17/2012On the CLR, for one, thereLanguage Implementation 101
07/06/2012I'm not sure ... if you'reWhy languages and not systems?
07/06/2012Your wish for putting atImmediate mode GUIs
07/06/2012One thing that would beImmediate mode GUIs
07/13/2012Better late than never in this crazy world of codeImmediate mode GUIs
07/14/2012Interesting remark which IImmediate mode GUIs
07/05/2012Thanks for sharing. Great exchangeErik Meijer started a discussion on Domain Specific Languages
06/27/2012Announcement: Compiler/PLT discussion group in BerlinAnnouncement: Compiler/PLT discussion group in Berlin
06/28/2012Thorough andMechanized λ<sub>JS</sub>
06/28/2012Thank you for theseMechanized λ<sub>JS</sub>
06/26/2012And yet, seems like thisLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
06/26/2012Actually we should speak ofLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
06/26/2012Well, ok, up to some extentLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
06/26/2012I would argue that all thoseLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
06/27/2012I've re-read moreLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
06/27/2012Ah, a wisdom comment ofLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
06/27/2012Lol ! Did I give you theLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
06/27/2012A little creativity goes aLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
06/27/2012Fair and actually correct inLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
06/27/2012Less is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.Less is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
06/29/2012Your percentage guess soundsLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
06/29/2012I'd summarize by stating theLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
07/01/2012Going to full automaticLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
07/01/2012Funny. I was about to askLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
06/26/2012Sorry to hear that from yourACM A.M. Turing Centenary Celebration
06/25/2012Hyper-efficient at what?ACM A.M. Turing Centenary Celebration
06/23/2012Evolved Turing neural networks - Unorganized machines and the brainEvolved Turing neural networks - Unorganized machines and the brain
06/24/2012I, too, have someEvolved Turing neural networks - Unorganized machines and the brain
06/24/2012Thanks for the feedback.IEvolved Turing neural networks - Unorganized machines and the brain
06/19/2012On this sort of topics, INull, bottom, etc.?
06/21/2012Makes sense.This dimensionNull, bottom, etc.?
06/25/2012Nice.Null, bottom, etc.?
06/18/2012This might helpNull, bottom, etc.?
06/18/2012Or is it?Doesn't seem so.Null, bottom, etc.?
06/18/2012Since you ask for it, here'sNull, bottom, etc.?
06/19/2012I think we can concludeNull, bottom, etc.?
06/19/2012Obviously :)Null, bottom, etc.?
06/22/2012(Man, you were more rightNull, bottom, etc.?
06/21/2012I am more familiar with theNull, bottom, etc.?
06/21/2012I read a Haskell wiki pageNull, bottom, etc.?
06/19/2012it is often morally correctNull, bottom, etc.?
06/21/2012You keep concluding thatNull, bottom, etc.?
06/19/2012This makes perfect sense toNull, bottom, etc.?
06/19/2012On the other hand, I'm notNull, bottom, etc.?
06/19/2012Btw, Void and Bottom are notNull, bottom, etc.?
06/20/2012Ah, thanks for theNull, bottom, etc.?
06/19/2012but I wouldn't want to liveNull, bottom, etc.?
06/19/2012Okay, thanks for theNull, bottom, etc.?
06/18/2012I loved Meyer's early worksNull, bottom, etc.?
06/19/2012I think it's good exampleNull, bottom, etc.?
07/01/2012Interesting and promisingValidating LR(1) parsers
07/01/2012[deleted]Validating LR(1) parsers
06/20/2012As a user you don't see whatFraming: The implementation side
06/20/2012I was in fact thinking thatFraming: The implementation side
06/14/2012Yes, and in the hope it'sWhy are exceptions not described as 'purely functional'?
06/21/2012Excellent points in yourWhy are exceptions not described as 'purely functional'?
06/14/2012Looking for more info on precise typesLooking for more info on precise types
06/14/2012Are you implying it seems toLooking for more info on precise types
06/14/2012Thanks for the feedback,Looking for more info on precise types
06/15/2012Right.I'm no HaskellType classes in a dynamic language
06/17/2012I think you are confusingType classes in a dynamic language
06/17/2012Whether it is valid (or not)Type classes in a dynamic language
06/17/2012BTW. I am actually not theType classes in a dynamic language
06/12/2012Funny coincidence,Google Blockly Lets You Hack With No Keyboard
06/10/2012JavaScript in the browser : (yet another) bigint calculator toy languageJavaScript in the browser : (yet another) bigint calculator toy language
06/21/2012(Updated with companion linkJavaScript in the browser : (yet another) bigint calculator toy language
07/03/2012I was a bit surprised (*) toJavaScript in the browser : (yet another) bigint calculator toy language
06/09/2012[...]while I look at theWhy Do Some Programming Languages Live and Others Die?
06/13/2012I think the problematic andWhy Do Some Programming Languages Live and Others Die?
06/11/2012Interesting paper and nicelyWhy Do Some Programming Languages Live and Others Die?
06/06/2012I've always found the pointGraphical languages of the Russian space program
06/06/2012Yeah, there is a sort ofGraphical languages of the Russian space program
06/08/2012Hmm... Maybe I'm justGraphical languages of the Russian space program
06/08/2012It's a solid point, [...]Graphical languages of the Russian space program
06/06/2012You make a number of veryGraphical languages of the Russian space program
06/06/2012as if they attribute magicalGraphical languages of the Russian space program
06/06/2012Synth programming language conceptSynth programming language concept
06/01/2012Woa. This Logitext is reallyInteractive Tutorial of the Sequent Calculus
06/01/2012Yeah, if it were not toWat
06/06/2012It seems that the case ofWat
06/08/2012Hehe, now this was funny.Wat
06/09/2012All fair points. Back to theWat
06/09/2012Coming from a non-dynamicWat
06/09/2012I think you're right, thatWat
06/07/2012Good points,Wat
06/01/2012I agree. I had the samePythonect (A New Programming Language) Call for Syntax! All feedback and comments are appreciated!
06/03/2012Well, while I, too, don'tLanguages with 'unique' programs
05/28/2012One could even continueLanguages with 'unique' programs
05/28/2012So, that seemingly took itLanguages with 'unique' programs
06/22/2012Well, beyond a certainQuantitative comparison of unit testing vs. static typing?
06/22/2012Formal methods, and evenQuantitative comparison of unit testing vs. static typing?
08/09/2011Xtatic? (was prettyCandle - a new script language that unifies XML technologies
08/07/2011Thank you for the links,Programming and Scaling
08/08/2011But this raises aProgramming and Scaling
08/02/2011Dynamic Language Embedding with Homogeneous Tool SupportDynamic Language Embedding with Homogeneous Tool Support
08/01/2011Just to be clear:Implementor's guide/tutorial to delimited continuations?
07/14/2011Before watching the video IThe Last Language?
07/14/2011I've watched the videoThe Last Language?
07/14/2011Makes sense to me. But don'tThe Last Language?
07/14/2011Thank you for fixing myThe Last Language?
07/14/2011Well, of course we haveThe Last Language?
07/15/2011The lesson: eliminatingThe Last Language?
07/15/2011Ha! So well putThe Last Language?
07/10/2011Since for this kind ofStructural Typing in .NET through Type-Parameters
07/10/2011I believe it would be veryStructural Typing in .NET through Type-Parameters
07/13/2011Interesting. Might be a niceStructural Typing in .NET through Type-Parameters
07/08/2011Very appealingKnockout JS
07/20/2011Even now, we have a MIMEKnockout JS
07/28/2011I thought that JavascriptKnockout JS
06/03/2011Hyperlink can't beJoe Duffy on Concurrency, Parallelism
06/03/2011Good questionSpecification and Verification: The Spec# Experience
05/31/2011You make good points,Rob Pike: Public Static Void
05/21/2011Definitely. Progress broughtJavascript x86 interpreter runs Linux in a browser.
05/24/2011If one agrees with notEnso: William Cook's new programming model
04/20/2011Very interestingCompiler framework, insight?
06/29/2012Who told you God has onlyBob Harper of CMU is blogging about programming languages and introductory CS education
06/29/2012Almost missed that.OO isBob Harper of CMU is blogging about programming languages and introductory CS education
06/30/2012I definitely privilegeBob Harper of CMU is blogging about programming languages and introductory CS education
03/09/2011Dan Vanderboom's Archetype languageDan Vanderboom's Archetype language
12/21/2010AFAIC, +1. I have noyacc death revisited
12/03/2010EmbarrassedEmbarrassed
12/03/2010Sadly, I don't have Coq orEmbarrassed
12/03/2010Just for the record, I'mEmbarrassed
12/04/2010Thanks for sharing yourEmbarrassed
12/06/2010Just thought I shouldEmbarrassed
12/07/2010Well, I've reached the pointEmbarrassed
11/29/2010I can only agree with thisYacc is dead
11/29/2010Yacc is deadYacc is dead
12/21/2010Thank you for thisYacc is dead
11/29/2010I took the time to readYacc is dead
11/29/2010Yes, if there was only oneYacc is dead
11/29/2010I've read that post of yoursTolerant vs. Demanding Software
11/28/2010I found the "in a nutshell"What makes a good book on a language?
11/27/2010Very nice :)The Triumph of Types: Principia Mathematica's Impact on Computer Science
11/28/2010Just sharingWhat is computation? Concurrency versus Turing's Model
11/22/2010(Other useful links)Clojure's Solutions to the Expression Problem
11/19/2010Tangentially, tooClojure's Solutions to the Expression Problem
11/27/2010I'd bet on the sameClojure's Solutions to the Expression Problem
11/10/2010+1 on thisLambda the Ultimate seems an Overstatement (not)
11/05/2010I confess I looked for a April 1st somewhere, tooyet another paradigm
11/06/2010Well, yes, I surely agreeyet another paradigm
11/10/2010Indeed, we "pretty much" arewhen does debugability break down?
11/04/2010Still more interesting than today's average, IMHO (re: tuples)A Self-Checking Type System
11/05/2010Thanks for theA Self-Checking Type System
11/05/2010If you want mutability,A Self-Checking Type System
11/02/2010+1 from me, too, as I doA Self-Checking Type System
11/03/2010Is it purely untyped/dynamicA Self-Checking Type System
11/03/2010I understood these methodsA Self-Checking Type System
11/03/2010The blog post is short onA Self-Checking Type System
11/04/2010This is also my intuitionA Self-Checking Type System
11/03/2010Also, I surely agree withA Self-Checking Type System
11/03/2010Well, provided all you needA Self-Checking Type System
11/03/2010If you don't mind...A Self-Checking Type System
11/03/2010By the way, I know, kind ofA Self-Checking Type System
11/05/2010Yes, to have studied/used itA Self-Checking Type System
11/05/2010I agree with this adviceA Self-Checking Type System
11/04/2010This is what triggered myA Self-Checking Type System
10/27/2010Yes, amusingThe Myths of Object-Orientation
10/27/2010Indeed, on the mythsThe Myths of Object-Orientation
10/22/2010(Other experience report)Looking for pointers: mixfix error recovery
10/22/2010If it helps, and if byanother new language, Chomsky hierarchy Type-0
10/22/2010Well, not only I can believeanother new language, Chomsky hierarchy Type-0
10/22/2010Well, It seems a trivialanother new language, Chomsky hierarchy Type-0
10/12/2010Well, then I'd say theThe barrier to take-up of language innovation
10/13/2010Pfft. How come you don'tThe barrier to take-up of language innovation
10/13/2010Yes, I largely second this.The barrier to take-up of language innovation
10/12/2010OOP has at least oneThe barrier to take-up of language innovation
10/13/2010[...]but also include preThe barrier to take-up of language innovation
10/13/2010I mostly second this, andThe barrier to take-up of language innovation
10/13/2010+1, Agreed. I doubtThe barrier to take-up of language innovation
10/08/2010Haskell implementation in JavascriptHaskell implementation in Javascript
10/10/2010I'd agree with thisHaskell implementation in Javascript
10/09/2010You've pointed it outA functional-programming view of time
10/09/2010This being said... I mustA functional-programming view of time
10/08/2010By the way...Design Principles Behind Smalltalk
10/12/2010Ha, interesting ongoingDesign Principles Behind Smalltalk
10/13/2010Thanks for sharing yourDesign Principles Behind Smalltalk
10/13/2010[...]The difficulty isDesign Principles Behind Smalltalk
10/13/2010Oh yes, one final note aboutDesign Principles Behind Smalltalk
10/06/2010Yes,Fexprs as the basis of Lisp function application; or, $vau: the ultimate abstraction
10/08/2010but PEGs can have explosiveFexprs as the basis of Lisp function application; or, $vau: the ultimate abstraction
10/09/2010Ha, thank you againFexprs as the basis of Lisp function application; or, $vau: the ultimate abstraction
10/08/2010Thank youFexprs as the basis of Lisp function application; or, $vau: the ultimate abstraction
10/01/2010I'm (almost) afraid the future was yesterday actually...Software Development with Code Maps
10/01/2010Sorry for the confusionSoftware Development with Code Maps
10/01/2010Well, you can...Software Development with Code Maps
10/01/2010There might be a sixth approach, thoughWorking around limitations of whole-program monomorphization
09/19/2010An attempt to make languages first class citizens, starting with the syntaxAn attempt to make languages first class citizens, starting with the syntax
09/24/2010Available on Google CodeAn attempt to make languages first class citizens, starting with the syntax
08/04/2011An attempt to make languages first class citizens, starting with the syntaxAn attempt to make languages first class citizens, starting with the syntax
08/08/2011Now somewhat moreAn attempt to make languages first class citizens, starting with the syntax
06/01/2012Quick update:made a simple browser sandboxAn attempt to make languages first class citizens, starting with the syntax
11/29/2010LOLNew Dataflow Programming Language
09/21/2010I couldn't agree moreComputational equivalent of incompleteness theorems?
11/10/2010FWIWGenerative Grammar-based Computation
11/11/2010But anyway: this being said,Generative Grammar-based Computation
11/11/2010Constraint programmingGenerative Grammar-based Computation
11/11/2010Thank you for the explanationGenerative Grammar-based Computation
11/11/2010I can understand thisGenerative Grammar-based Computation
11/11/2010If that helps, tooGenerative Grammar-based Computation
10/15/2010Just thought I could bringXtext: An IDE on the cheap
04/13/2010Did they really mean such a PL lockdown?iPhone PL lockdown
04/14/2010And there is more to large software systems than computationssplitting the program into formalizable vs. non-formalizable parts?
03/29/2010From type systems to language systems?From type systems to language systems?
03/30/2010A need to go for new ideas, then? Yes, I do think so, too.Will data-intensive computing revolutionize programming languages?
01/03/2010JisonJison
01/03/2010JavaScript-as-assembly...Jison
12/30/2009I especially liked Meyer's on thatmost water-tight real-world language implementation?
12/30/2009Interesting challenge such a scenario would be for a PL I guessOpen wiki-like code repository
12/30/2009Maybe explore "convergence" schemes?Open wiki-like code repository
12/31/2009Well, ok...Open wiki-like code repository
12/30/2009IndeedExploration of Program as Language
12/24/2009Need volunteer help/feedback from stronger academic/competent profiles (on testing T-diags expressiveness with semantics, etc)Need volunteer help/feedback from stronger academic/competent profiles (on testing T-diags expressiveness with semantics, etc)
12/27/2009Thanks for the frank words...Need volunteer help/feedback from stronger academic/competent profiles (on testing T-diags expressiveness with semantics, etc)
12/28/2009Very interesting...Unfulfilled Promises of Software Technologies? (!)
12/28/2009Informally designed languages: the OOPLs history is full of themUnfulfilled Promises of Software Technologies? (!)
12/29/2009Let's not forget the opportunistic pragmatism, thoughUnfulfilled Promises of Software Technologies? (!)
12/29/2009Oh! those...Unfulfilled Promises of Software Technologies? (!)
12/31/2009Meyer did a great jobUnfulfilled Promises of Software Technologies? (!)
12/31/2009Well, yesUnfulfilled Promises of Software Technologies? (!)
01/01/2010I like this very muchUnfulfilled Promises of Software Technologies? (!)
12/25/2009What for, When for, At which costUnfulfilled Promises of Software Technologies? (!)
12/29/2009Very odd, for the least...Claiming Infinity
10/13/2010Hmm... I can't speak aboutPerlis Languages
10/13/2010Just one example I can give,Perlis Languages
10/13/2010Yes, I think noticed that "aPerlis Languages
12/28/2009Contributing...Inspiring Papers
12/29/2009I do...Oracles

LtU Topic Index Sorted by Date LtU Topic Index Sorted by Topic LtU Index of Post Authors Zipped LtU Archive

Chris Rathman/ Chris.Rathman@tx.rr.com