Lambda the Ultimate

type	title	author	last post
Story	Linear types for aliased resources Process variables, not names. by Achilleas Margaritis Now, consider that you can't by Achilleas Margaritis Aha, somebody beat me to it. by Achilleas Margaritis Maybe I did not explain my solution enough. by Achilleas Margaritis Yeap. But why such a restriction, by Achilleas Margaritis Perhaps you did not understand my post. by Achilleas Margaritis Personally I do not see a problem with aliasing. by Achilleas Margaritis	Ehud Lamm	2006-12-07 16:10
Forum topic	C++ has indeed become too "expert friendly" Actually... by Achilleas Margaritis 'Func' is an object with a member 'n'. by Achilleas Margaritis That's what I originally said. by Achilleas Margaritis Yes, copying by Achilleas Margaritis Not irrelevant at all. by Achilleas Margaritis Partially agreed. by Achilleas Margaritis There is an implicit address-of-value-object in there. by Achilleas Margaritis ava will also allocate from by Achilleas Margaritis No problem with closures. by Achilleas Margaritis Another possibly simpler solution by Achilleas Margaritis ...	Isaac Gouy	2006-12-07 14:01
Forum topic	Understanding continuations Monads are structures that enforce patterns. by Achilleas Margaritis	Keith Devens	2006-12-06 23:43
Story	Future of software design? One final comment. by Achilleas Margaritis A constant stream of insults does not help adopt FP, you know. by Achilleas Margaritis Indeed. by Achilleas Margaritis Well, maybe. by Achilleas Margaritis I do not believe things will change much in the next 20 years. by Achilleas Margaritis	Peter Van Roy	2006-11-21 20:18
Forum topic	OOP language extension Perhaps too complicated? by Achilleas Margaritis The switch you wrote is a simple function. by Achilleas Margaritis	Hank Thediek	2006-11-21 13:48
Forum topic	Functional programming and software engineering Perhaps then you can enlighten me on some issues. by Achilleas Margaritis OO design can be used with FP. by Achilleas Margaritis	Kay Schluehr	2006-11-20 17:36
Story	Stroustrup: A Brief Look at C++0x C++ does not have first-class tuples according to... by Achilleas Margaritis Well, I disagree. by Achilleas Margaritis but C++ functions are not first class values by Achilleas Margaritis I like it. by Achilleas Margaritis The type of 0 is 'int'. by Achilleas Margaritis Tuple literals by Achilleas Margaritis boost tuples are not first class, aggregates are not tuples. by Achilleas Margaritis But they will bring some by Achilleas Margaritis But aggregates will not be tuples. by Achilleas Margaritis They have got tuples wrong. by Achilleas Margaritis	Ehud Lamm	2006-11-15 10:37
Story	A rationale for semantically enhanced library languages You don't need any special syntax except for 1 keyword. by Achilleas Margaritis Not templates - the language itself executed at compile time by Achilleas Margaritis Wouldn't meta-programming be enough for all these tasks? by Achilleas Margaritis	Ehud Lamm	2006-11-06 07:50
Forum topic	Code generation vs. dynamic/introspective languages The less tools I use, the better. by Achilleas Margaritis Fixing the verbosity problem means fixing the language. by Achilleas Margaritis I disagree. by Achilleas Margaritis	raould	2006-11-05 21:03
Story	Ruby 2.0 News But the thread scheduler can not be preemptive, can it? by Achilleas Margaritis Thanks for the tip. by Achilleas Margaritis Continuations or first-class functions? by Achilleas Margaritis Does it compile? by Achilleas Margaritis	Ehud Lamm	2006-11-04 20:32
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
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