Lambda the Ultimate

type	title	author	last post
Forum topic	Why Johnny can't code For what ages are we talking? by Achilleas Margaritis	Matthew Willson	2007-01-04 22:54
Story	The Future of LtU The purpose of LtU is not to by Achilleas Margaritis It should be a programming site as well, though. by Achilleas Margaritis Programming is not only mathematics. by Achilleas Margaritis	Ehud Lamm	2006-12-26 02:37
Story	Comparing Approaches to Generic Programming in Haskell Question by Achilleas Margaritis	Andris Birkmanis	2006-12-23 16:27
Story	Misc items Excuse me... by Achilleas Margaritis	Ehud Lamm	2006-12-23 10:11
Forum topic	Transparent Persistence I disagree: by Achilleas Margaritis Already replied to that. by Achilleas Margaritis Perhaps... by Achilleas Margaritis Arguments would be modifiable. by Achilleas Margaritis The ability to do in-place value updates? by Achilleas Margaritis Almost. by Achilleas Margaritis Why restricted assignment operator is not RT? by Achilleas Margaritis RT could also work with restricted assignment. by Achilleas Margaritis Question by Achilleas Margaritis The system must do the type/class bookkeeping by Achilleas Margaritis	playergiro	2006-12-20 17:31
Forum topic	Abstractly typed languages Either. by Achilleas Margaritis In a strict mathematical sense, yes. by Achilleas Margaritis Nice! by Achilleas Margaritis I dream of a specifications language... by Achilleas Margaritis	Matthew Willson	2006-12-15 04:58
Forum topic	Exceptions Exceptions, reactive programming, CPS. by Achilleas Margaritis	BigZaphod	2006-12-13 18:35
Forum topic	unchecked exceptions are like runtime type checking? Yes, in the context of depentent type systems. by Achilleas Margaritis	lumpynose	2006-12-13 09:40
Forum topic	Extremely static language? Both can co-exist. by Achilleas Margaritis Values as types by Achilleas Margaritis	viergroupie	2006-12-09 01:28
Forum topic	Why type systems are interesting - part II Could static algebraic expressions be part of types? by Achilleas Margaritis	Ehud Lamm	2006-12-08 01:38
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
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