Lambda the Ultimate

type	title	author	last post
Forum topic	Why do they program in C++? Basically, the poster of the by Achilleas Margaritis Yeap, all these reasons are v by Achilleas Margaritis Let me humbly suggest, howeve by Achilleas Margaritis would argue that those conce by Achilleas Margaritis Achilleas, I believe that the by Achilleas Margaritis Conclusions by Achilleas Margaritis Thanks a lot for the links. I by Achilleas Margaritis There is clear division betwe by Achilleas Margaritis Ignoring your ironic tone, I by Achilleas Margaritis Yeap, as I mention above, I w by Achilleas Margaritis ...	David Waern	2007-02-19 12:09
Story	Termination Checking with Types The definition of correctness, and a question. by Achilleas Margaritis Yeap, and it's doable in C++ as well... by Achilleas Margaritis Why can't a program terminate with an erroneous result? by Achilleas Margaritis But... by Achilleas Margaritis Interesting. by Achilleas Margaritis But what about more conventional type systems? by Achilleas Margaritis Question about importance of proving termination. by Achilleas Margaritis	neelk	2007-02-09 20:53
Story	ACM Queue: Realtime Garbage Collection Some observations. by Achilleas Margaritis	Ehud Lamm	2007-02-07 21:01
Story	Generic Programming, Now! Not exactly the same. by Achilleas Margaritis How about making typing completely implicit? by Achilleas Margaritis	Ehud Lamm	2007-02-02 23:34
Story	LCA2007: Concurrency and Erlang Not persuaded that the Erlang model can handle games by Achilleas Margaritis	Luke Gorrie	2007-01-31 01:55
Story	Ralf Lammel: Stop dysfunctional programming It's functional programming but not the same as in Haskell or ML by Achilleas Margaritis	Ehud Lamm	2007-01-29 11:16
Forum topic	OO Language Engineering for the Post-Java Era Further explanation desired by Achilleas Margaritis How is that different from pattern matching? by Achilleas Margaritis Question about the paper 'Laziness and Declarative Concurrency' by Achilleas Margaritis APPLE by Achilleas Margaritis Compile-time code is quite useful by Achilleas Margaritis Great way to extend programming languages! by Achilleas Margaritis	Isaac Gouy	2007-01-18 17:55
Forum topic	Why Are ALL Programming Languages So Low Level? There is no Turing-like really high-level programming language. by Achilleas Margaritis	Vorlath	2007-01-16 22:41
Story	Why numbering should start at 0 Already done? by Achilleas Margaritis Why not leave the first element of an array unused? by Achilleas Margaritis	Luke Gorrie	2007-01-10 17:16
Story	More Haskell in Java 7 or 8? Isn't that the same with structural subtyping? by Achilleas Margaritis	Ehud Lamm	2007-01-06 16:45
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
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