Lambda the Ultimate

type	title	author	last post
Forum topic	A stackless runtime environment for a Pi-calculus Interesting...where can I find more information? by Achilleas Margaritis	Allan McInnes	2006-11-02 12:41
Forum topic	Tradeoffs between Unique Types and Monads Perhaps... by Achilleas Margaritis Well... by Achilleas Margaritis Thanks. But... by Achilleas Margaritis I still not understand why they are considered different. by Achilleas Margaritis Monads == uniqueness typing? by Achilleas Margaritis	mjstahl	2006-10-13 12:47
Story	Ruby the Rival Maybe this is mentioned already. by Achilleas Margaritis	segphault	2006-10-13 12:01
Story	Tim Bray: Dynamic-Language IDEs Could input be faked? by Achilleas Margaritis Can dynamic programs be 'executed' in the context of an IDE? by Achilleas Margaritis	Ehud Lamm	2006-10-04 11:37
Story	Visual Basic and LINQ A good PL will implement those as libraries. by Achilleas Margaritis You don't need all that to make a DB application. by Achilleas Margaritis	Erik Meijer	2006-09-26 11:35
Story	Variance and Generalized Constraints for C# Generics Interesting. by Achilleas Margaritis	Ehud Lamm	2006-09-21 04:38
Forum topic	"Language Oriented Programming" Meta Programming System A DSL does not mean code is not obfuscated. by Achilleas Margaritis So the compiler must be a scripting language. by Achilleas Margaritis I prefer a mathematical solution to correctness... by Achilleas Margaritis	raould	2006-09-18 15:28
Forum topic	Small Value Set Types But what about recursive algorithms? by Achilleas Margaritis Can finite set types be used for static contract verification? by Achilleas Margaritis	cdiggins	2006-09-06 02:05
Forum topic	Implementing arrays Arrays are homogeneous tuples. by Achilleas Margaritis	dataangel	2006-09-02 09:52
Forum topic	Apple: procedural -> OO -> AOP -> advanced procedural well, yes, but... by Achilleas Margaritis So with that out of the way by Achilleas Margaritis Explanation. by Achilleas Margaritis I disagree. by Achilleas Margaritis It allows for greater reuse of components. by Achilleas Margaritis Found an implementation of component-based programming. by Achilleas Margaritis The widget's draw signal is o by Achilleas Margaritis ...or Concurrent C. by Achilleas Margaritis Um, what do you mean by that? by Achilleas Margaritis Yet another doc about OO having failed. by Achilleas Margaritis	Isaac Gouy	2006-08-28 13:35
Forum topic	Your favourite editor/IDE Eclipse, Visual Studio 6/2005 by Achilleas Margaritis	Josef Svenningsson	2006-08-27 07:38
Forum topic	How to make a *truly* better alternative to C++ Is C++ relevant any more? by Achilleas Margaritis	snk_kid	2006-08-14 16:30
Story	A Comparison of Ada and Real-Time Java for Safety-Critical Applications Java is pure OO? by Achilleas Margaritis	Ehud Lamm	2006-07-31 20:04
Story	ContextL What? MVC is bad??? by Achilleas Margaritis	Ehud Lamm	2006-07-26 20:05
Story	Revealing the X/O impedance mismatch Question by Achilleas Margaritis	Ehud Lamm	2006-07-22 23:15
Forum topic	First Class Values, Types as values within a Programming Language Yeap. by Achilleas Margaritis Range types aren't types then? by Achilleas Margaritis Good observation! thanks. by Achilleas Margaritis Certainly. by Achilleas Margaritis Some people do not understand types. by Achilleas Margaritis I am trying. by Achilleas Margaritis So how do you distinguish a by Achilleas Margaritis The openness of a type can be user-defined. by Achilleas Margaritis By enabling you to say: by Achilleas Margaritis I am a long-time fun of the idea that values are types. by Achilleas Margaritis ...	Bruce Rennie	2006-07-20 00:50
Forum topic	What are the real benefits of FP? Even if that was true by Achilleas Margaritis And here we have the crux by Achilleas Margaritis First of all it is by Achilleas Margaritis Let me assure you that by Achilleas Margaritis Thanks, but that is not a by Achilleas Margaritis I think it is really needed. by Achilleas Margaritis Thanks for your reply, it by Achilleas Margaritis But my problem is not the by Achilleas Margaritis Thanks, again. by Achilleas Margaritis No one has replied to my by Achilleas Margaritis ...	dataangel	2006-07-09 20:03
Forum topic	A new implementation of recursive-descent parsing? It means that the parser by Achilleas Margaritis That is equivalent to by Achilleas Margaritis you're also suffering from by Achilleas Margaritis A paper on trampolining. by Achilleas Margaritis I suppose that you mean what by Achilleas Margaritis But your whole thing is by Achilleas Margaritis Also, I doubt that you can by Achilleas Margaritis Trampolines? by Achilleas Margaritis 1. Everything is a tail by Achilleas Margaritis It depends. Normally, the by Achilleas Margaritis ...	Achilleas Margaritis	2006-07-07 18:13
Story	LtU: Policies document I think the emotions raised by Achilleas Margaritis	Ehud Lamm	2006-07-03 19:27
Forum topic	Oxymoronic? "Safety-critical development guidelines for real-time Java" Excuse me for saying so, but by Achilleas Margaritis	raould	2006-07-01 15:52
Forum topic	The Role of Type Equality in Meta-Programming I do not understand why all the fuss. by Achilleas Margaritis	Niels Hoogeveen	2006-06-26 15:49
Forum topic	The OO barrier Unfortunately it is not by Achilleas Margaritis What annoys me in mainstream by Achilleas Margaritis	snk_kid	2006-06-22 14:07
Forum topic	Why only 'minimal' languages A language should support first class tuple types. by Achilleas Margaritis Tuples. by Achilleas Margaritis	Karsten Wagner	2006-06-19 15:33
Story	Software ideals and history Honest critisism. by Achilleas Margaritis	Chris Rathman	2006-05-26 23:56
Story	Paul Vick: BASIC principles No, they were right on ditching the old stuff. by Achilleas Margaritis We should talk more about VB6 and prior versions. by Achilleas Margaritis	Ehud Lamm	2006-05-20 18:34
first page previous page next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation