Posts By: Kannan Goundan
Date | Post | Topic |
06/07/2012 | What's different? | Aha! Programming Language |
12/09/2011 | Tricky | Designing a languge — what theory is a must? |
12/04/2011 | Why not? | Proofs of a type system's safety? |
11/05/2011 | Xtend. Yet another "better Java" language; this time from Eclipse. Built with Xtext. | Xtend. Yet another "better Java" language; this time from Eclipse. Built with Xtext. |
06/06/2011 | Community of one. | Algebraic ABCs - Extending "types" in Python |
04/23/2011 | "Side-effect free"? | Nomenclature for impure functions |
04/16/2011 | Just keep clicking. | Coding at the Speed of Touch |
04/15/2011 | Sometimes it's what you want. | Redhat's New Language |
04/15/2011 | Fortress found readability issues. | Redhat's New Language |
04/04/2011 | Goal? | Compiler framework, insight? |
03/23/2011 | Different reason? | Bob Harper of CMU is blogging about programming languages and introductory CS education |
03/11/2011 | Thrift, Avro, Kwalify | Schemas for JSON? |
03/12/2011 | Contact | Schemas for JSON? |
03/11/2011 | More on the attribute/child distinction? | Schemas for JSON? |
03/12/2011 | Even more concrete? | Schemas for JSON? |
03/02/2011 | Not the entire method, right? | Object capabilities for protecting object slots in prototype-based languages? |
11/20/2010 | Typestate? | Abstract state |
11/15/2010 | Modular checking. | Clojure's Solutions to the Expression Problem |
11/15/2010 | Wadler's definition | Clojure's Solutions to the Expression Problem |
11/16/2010 | Reserved name | Clojure's Solutions to the Expression Problem |
11/17/2010 | Slightly confusing | Clojure's Solutions to the Expression Problem |
09/06/2010 | Scala's type members | Dependency injection via parameterized types (?!) |
03/30/2010 | Simplicity is not a count of data structures. | Small is Beautiful: the design of Lua |
03/30/2010 | I'm talking about the model, not the implementation. | Small is Beautiful: the design of Lua |
03/31/2010 | Details? | Small is Beautiful: the design of Lua |
04/01/2010 | I think some views are ok... | Small is Beautiful: the design of Lua |
04/04/2010 | But 'concat' doesn't make sense for maps. | Small is Beautiful: the design of Lua |
03/28/2010 | Fantom was Fan | Fantom language discussion ; what are your thoughts ? |
03/31/2010 | Personal bias. | Fantom language discussion ; what are your thoughts ? |
03/28/2010 | Lexical scoping | Tcl the Misunderstood |
04/01/2010 | And then I found out that | Tcl the Misunderstood |
03/17/2010 | DFA minimization | determining subsumption of regular languages |
02/07/2010 | Spacing is precedence too | Alternatives to parentheses for grouping |
12/08/2009 | Yi's incremental parsing | Differentiating Parsers |
12/04/2009 | "live" vs "reachable" | Why Object-Oriented Languages Need Tail Calls |
10/01/2009 | Data's still being moved, just in the other direction | Swarm now based on Scala 2.8, uses delimited continuations |
08/11/2009 | Comparisons? | Avoid a Void: eradicating null-pointer dereferencing |
05/29/2009 | McCarthy's bug | That old bug... |
04/18/2009 | Second Life and Mono | How to ensure safety when millions of users inject scripts into a running system? |
03/31/2009 | A violation of subsumption or of something else? | Subsumption at all costs |
04/01/2009 | What is "semantic substitution"? | Subsumption at all costs |
01/22/2009 | Indentation-sensitive parsing. | Extensible Term Language 0.2.1 |
01/19/2009 | Put the hidden parameter everywhere? | Compilation/method resolution with structural subtyping |
12/13/2008 | Seconded. | Light(er) Reading Suggestions? |
10/16/2008 | "The ability to move things around" | In which sense Joy is functional? |
10/09/2008 | GHC's term rewriting rules | DSL or dialects used inside compilers |
09/17/2008 | A Java-like formalism for control flow analysis. | A Java-like formalism for control flow analysis. |
09/03/2008 | Wrong forum. | Avoid -if- in the LOG function |
09/03/2008 | Show what's different | Review of a potential pramming language: Lima |
08/30/2008 | Should nested types capture type parameters? | Should nested types capture type parameters? |
08/30/2008 | That helps. | Should nested types capture type parameters? |
08/30/2008 | my "type" is more of a "type" + "namespace" | Should nested types capture type parameters? |
09/01/2008 | Closures can't be "built" from the outside | Should nested types capture type parameters? |
08/19/2008 | Maybe C--? | output language for new statically typed language? |
08/11/2008 | Scala unifies field access and getter/setter functions. | Usefullness of constants |
07/22/2008 | Preprocessing. Just say no. | What to do about comments? |
07/27/2008 | Representing all information, not just a slice | What to do about comments? |
04/18/2008 | Haskell type classes are implicit parameters. | Static Typing and Expressivity |
04/19/2008 | He understood more than I thought | Static Typing and Expressivity |
04/19/2008 | I still don't understand monads | Static Typing and Expressivity |
04/10/2008 | What about the implicit parameters? | Can local variables assignments be considered pure functional without monads? |
04/11/2008 | An example | Can local variables assignments be considered pure functional without monads? |
07/22/2008 | More details? | Is null needed? |
01/07/2008 | The type operator is the thing that creates array types. | (newbie question) Covariance and contravariance |
11/12/2007 | Direct getters/setters | Dependent Classes |
10/31/2007 | What I looked at | PL research & grad schools? |
09/06/2007 | Relational algebra | Q: Modularizing SQL? |
08/26/2007 | Boo's 'duck' is still dynamic, I think. | Duck Typing advocated where? |
08/22/2007 | Does this really work? | Thread-safe Singleton in C# |
06/28/2007 | Paper on Sing# language features. | Singularity: Rethinking the Software Stack |
05/22/2007 | Which phrase? | Delegating Responsibility in Digital Systems: Horton's "Who Done It?" |
05/08/2007 | Need the table to hold multiple types. | Type-Safe Casts |
04/10/2007 | These aren't the stacks you're looking for. Move along. | Why can't you push instructions in MSIL/JVML |
04/11/2007 | Maybe you should compile directly to machine code? | Why can't you push instructions in MSIL/JVML |
02/06/2007 | Stronger relationships between structures | Stronger relationships between structures |
12/13/2006 | Sing# Paper | Java Open Review Project |
12/11/2006 | Even simpler problem | Optimal map API |
12/11/2006 | What do you mean by "untyped"? | The Problem with "dup" and "swap" in Stack-Based Languages |
12/11/2006 | Tuple type inlining | The Problem with "dup" and "swap" in Stack-Based Languages |
11/05/2006 | Java 5 has varargs | Code generation vs. dynamic/introspective languages |
10/13/2006 | A different erasure? | Run time type checking |
09/21/2006 | Generally-applicable syntactic sugar | Parser that allow syntax extensions |
09/06/2006 | Not all of them are good. | Closures for Java or money back |
09/06/2006 | Java already has two units of abstraction | Closures for Java or money back |
08/04/2006 | The hard part is arbitrary memory reads and writes. | The Killer Application for Concatenative Languages |
07/22/2006 | The type systems don't match up. | Revealing the X/O impedance mismatch |
07/07/2006 | Debatable | Lexical structure of scripting languages |
06/19/2006 | Java almost used +/- | Variance and Generalized Constraints for C# Generics |
06/20/2006 | Ergonomics? | Variance and Generalized Constraints for C# Generics |
06/15/2006 | Maybe because it doesn't exist? | HLVM - High Level Virtual Machine toolkit for dynamic languages |
06/17/2006 | Needs to be user-specifiable | First Class Values, Types as values within a Programming Language |
06/01/2006 | Feels like it'll explode | Buried Treasure - No Fluff Just Stuff |
06/03/2006 | At the beginning of this | Buried Treasure - No Fluff Just Stuff |
06/06/2006 | By "easy", I meant "doable" :) | Buried Treasure - No Fluff Just Stuff |
07/29/2006 | "override" is not useless | What do you believe about Programming Languages (that you can't prove (yet))? |
03/31/2006 | Structural typing | Extremely static language? |
03/31/2006 | Typing is delicate | Extremely static language? |
03/31/2006 | Merd! | Extremely static language? |
03/09/2006 | Look at functional languages. | Language Design Tips |
02/26/2006 | duck typing is structural typing | Signature Based Polymorphism, Structural Subtyping and Duck Typing |
02/25/2006 | Not precisely | source code conversion |
02/20/2006 | It's not static typing. | Gilad Is Right |
02/21/2006 | Whoops | Gilad Is Right |
02/19/2006 | It's not just you. | Gilad Is Right |
02/07/2006 | Eliminates some problems, but not all | How are GADTs useful in practical programming? |
02/06/2006 | I am lazy | Extensible Term Language |
02/21/2006 | How does Ada do it? | The Next Mainstream Programming Languages |
02/21/2006 | FxCop can't be fully complete and sound. | The Next Mainstream Programming Languages |
01/27/2006 | Xok is microkernelish | Promising OS's from a Programming Language Perspective |
01/27/2006 | Microkernels | Promising OS's from a Programming Language Perspective |
01/28/2006 | If you can translate, then it's probably the same language. | Programming Language transformation? |
01/19/2006 | Me too post. | Lisp is sin |
01/12/2006 | Source Code + Whatever = Configuration | What is considered source code? |
01/04/2006 | Scala vs Nice | Realistic Functional Programming in the Java Platform |
11/17/2005 | Maybe linear constraints? | What good is Strong Normalization in Programming Languages? |
11/16/2005 | How does it differ from JVM or CLR? | Neko 1.1 Released |
11/10/2005 | Need case enforcement | CaSe SenSitIviTy! What is its purpose in programming language syntax? |
11/17/2005 | A couple more differences. | Classification according to type vs function - An anecdote |
11/09/2005 | Minimal data dependencies? | Can one avoid monads? |
11/09/2005 | TaPL reading tips: just skip the proofs | Type Nomenclature |
10/20/2005 | Dynamic languages | Bruce Tate: Technologies that may challenge Java |
11/04/2005 | That fragment can be statically typed. | Bruce Tate: Technologies that may challenge Java |
10/20/2005 | Taking too much credit? | C#: Yesterday, Today, and Tomorrow: An Interview with Anders Hejlsberg |
10/10/2005 | Universal TM | The Church-Turing Thesis: Breaking the Myth |
10/10/2005 | At least a hint | The Church-Turing Thesis: Breaking the Myth |
10/10/2005 | random access machine | The Church-Turing Thesis: Breaking the Myth |
08/24/2005 | Implicit lambdas in Scala | When to create syntax? |
09/29/2005 | Boo | A Java/Python hybrid? |
08/02/2005 | Directly to AST | Concrete Parse Tree to AST |
08/02/2005 | downcasts, covariant arrays | More on the "generics are evil" meme |
07/22/2005 | Space | Concerning introspection and compilation. |
07/22/2005 | Things I've noticed about dynamic typing people | On the Revival of Dynamic Languages |
06/28/2005 | Why? | Generics are a mistake? |
07/01/2005 | Any cases where self types don't cut it? | Generics are a mistake? |
06/28/2005 | Exactly! | Generics are a mistake? |
06/20/2005 | Maya, Nemerle | Embedded Languages in Java |
06/15/2005 | They just picked one. | Java Generics, Arrays, and Comparables |
06/16/2005 | "Actually, that comes from th | Java Generics, Arrays, and Comparables |
06/01/2005 | Third TaPL | Basic(er) Simple(r) Type Theory(?) |
05/27/2005 | Maybe they meant function call graph. | Generics: The Importance of Wildcards |
05/27/2005 | Mutablity? | Generics: The Importance of Wildcards |
05/26/2005 | Laziness forces you to be honest | Two Thank Yous for Peter van Roy |
05/13/2005 | Extensible type checker? | Advanced Types in Qi |
05/05/2005 | Yeah. | From Perl Monks: "pissed off about functional programming" |
04/14/2005 | XML is a distraction | Links |
04/09/2005 | I agree. | Links Slides |
03/24/2005 | Scripting is a style of programming | Script Vs Java |
03/10/2005 | If you tilt your head, it's still a tree. | Exploiting parser ambiguity |
03/09/2005 | List associativity | Exploiting parser ambiguity |
12/13/2004 | Still need standards | Tim Bray: Sun & Dynamic Java |
12/09/2004 | Whitespace is different | Casting SPELs in Lisp |
12/08/2004 | Denial of the antecedent? | Definition of Type |
11/02/2004 | Static DbC is typechecking, Unit tests are black-box | Design By Contract in C |
09/13/2004 | There's also a sorta-useful distinction | More from Udell on typing |
08/19/2004 | Builtin "Maybe" types | Well, that's one way of doing it... |
08/26/2004 | Can't we have fully static proofs even with dynamic behavior? | Why type systems are interesting - part II |
07/23/2004 | Depends on your evaluation model. | Having trouble with 'purity' |
07/23/2004 | Correct, it's just a value. | Having trouble with 'purity' |
07/27/2004 | Types are important properties of your program. | Why type systems are interesting |
07/09/2004 | Guess... | Slashdot: "Favourite Programming Language Features?" |
06/24/2004 | "D" can infer template types? | In the Spirit of C |
LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |