Lambda the Ultimate

type	title	author	last post
Forum topic	Living it up with a Live Programming Language I am not the proper person to answer that! by Achilleas Margaritis Holo-programming. by Achilleas Margaritis	Sean McDirmid	2017-06-10 16:27
Forum topic	Conversion of 'functional' to 'imperative' algorithms: is it possible? SSA by Achilleas Margaritis	Achilleas Margaritis	2017-03-31 19:14
Forum topic	Cost of provably-correct code But there is still an advantage. by Achilleas Margaritis	Ehud Lamm	2013-07-06 19:56
Forum topic	Functional Relational Programming: Out of the tar pit question by Achilleas Margaritis I am not entirely persuaded that state manipulation is 100% bad. by Achilleas Margaritis	abayley	2012-06-24 17:25
Story	The Weird World of Bi-Directional Programming Someone care to explain what was that all about? by Achilleas Margaritis	Ehud Lamm	2011-10-07 21:43
Story	Haskell for C Programmers Indeed, why mutable state is by Achilleas Margaritis sorry, just asking. by Achilleas Margaritis I remember the same post made by Achilleas Margaritis	Mark Evans	2011-09-12 18:37
Story	Getting Started Pointers much appreciated, bu by Achilleas Margaritis	Ehud Lamm	2011-03-16 17:43
Story	Good Ideas, Through the Looking Glass Nice! by Achilleas Margaritis C and Pascal and very similar... by Achilleas Margaritis	Ehud Lamm	2011-01-15 17:04
Story	Pico Lisp: A Case for Minimalist Interpreters? LISP lists = Piccola forms? by Achilleas Margaritis	James Hague	2010-12-19 01:55
Story	The Fortress Language Spec v0.618 Wow, nice language. by Achilleas Margaritis	Dave Herman	2010-12-13 04:24
Forum topic	expressivity of "idiomatic C++" Your reaction is understandable. by Achilleas Margaritis Indeed, I implemented some su by Achilleas Margaritis But isn't Haskell doing 3 mul by Achilleas Margaritis C++ solution on par with Haskell by Achilleas Margaritis No problem with run-time parameterization. by Achilleas Margaritis Conclusion by Achilleas Margaritis Template parameters can be constants. by Achilleas Margaritis 1) To compute some Hamming nu by Achilleas Margaritis lazy O(n) solution in C++ better than Haskell(!) by Achilleas Margaritis Here is the C++ O(n) solution. by Achilleas Margaritis ...	el-vadimo	2010-11-10 22:56
Forum topic	Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) I think the usefulness of by Achilleas Margaritis	Greg Buchholz	2010-10-22 21:48
Story	Google V8 JavaScript Engine Well, it may be that the by Achilleas Margaritis There are different CPU by Achilleas Margaritis Isn't that a big waste on resources? by Achilleas Margaritis	Ehud Lamm	2010-08-24 20:58
Forum topic	Why type systems are interesting Humans know more interesting properties than the compiler by Achilleas Margaritis Of course it's easier, but I didn't mean that. by Achilleas Margaritis The industry does not care about this distinction though. by Achilleas Margaritis An important distinction by Achilleas Margaritis	Anton van Straaten	2010-03-08 19:47
Forum topic	The Next Mainstream Programming Languages Abstractions... by Achilleas Margaritis Think about what can distract you when you are "programming". by Achilleas Margaritis Not all cases can be by Achilleas Margaritis It's not possible to by Achilleas Margaritis It is not reference counting. by Achilleas Margaritis How about a 'limited' resource management calculus? by Achilleas Margaritis My question is still not answered. by Achilleas Margaritis Garbage collection without type information? by Achilleas Margaritis How is it different from just adding new fields to class Actor? by Achilleas Margaritis Very interesting and important stuff. by Achilleas Margaritis	Per Vognsen	2010-01-24 13:32
Forum topic	Programming Language transformation? I have once asked the same question... by Achilleas Margaritis	raould	2009-12-23 17:28
Forum topic	Question: Graceful error recovery during parsing What about looking ahead? by Achilleas Margaritis Here are some tips(from personal experience) by Achilleas Margaritis	Nathan Sobo	2009-12-16 18:30
Forum topic	Best Introduction To Monads For Newbies (& Especially Imparative Minds) I'v Ever Read!!! I think an explanation without code would be a better start. by Achilleas Margaritis	kaveh.shahbazian	2009-09-25 08:54
Forum topic	ruby vs python It still does not prove native threading is evil. by Achilleas Margaritis If you use separate locks by Achilleas Margaritis Ok, so the compiler must be aware. So? by Achilleas Margaritis I do not see any problem at all. by Achilleas Margaritis If someone forgots the locks, then blame him instead of PL. by Achilleas Margaritis It's all common sense. by Achilleas Margaritis And what optimizations are that? by Achilleas Margaritis Yes, discussed previously. by Achilleas Margaritis But multithreaded programming is not affected by that. by Achilleas Margaritis But these problems are not 'first class'. by Achilleas Margaritis ...	shahbaz	2009-09-21 10:28
Forum topic	Microsoft's new Dynamic Language Runtime (DLR) So you think. by Achilleas Margaritis Nope. by Achilleas Margaritis I never stated 'absolutely anyone'. by Achilleas Margaritis It takes very little extra effort from library writers. by Achilleas Margaritis It's a matter of design. by Achilleas Margaritis Could you please justify the term 'anti-social' behaviour? by Achilleas Margaritis An example might illuminate the problem by Achilleas Margaritis And the reason is? by Achilleas Margaritis Discussion doesn't have to always include math. by Achilleas Margaritis I disagree. by Achilleas Margaritis ...	Sean McDirmid	2009-07-28 18:21
Story	Cforall I like it! by Achilleas Margaritis	Jim Apple	2009-07-21 01:47
Forum topic	the Chinese natual language Maybe, maybe not. by Achilleas Margaritis	Zhu Chongkai	2009-06-01 13:06
Forum topic	What do you believe about Programming Languages (that you can't prove (yet))? Manually-written RD parsers equal to table-driven parsers by Achilleas Margaritis	John Carter	2009-05-23 23:23
Forum topic	Writing an interpreter, targeting a VM or writing from scratch? also... by Achilleas Margaritis	Johan Tibell	2009-04-28 20:09
Story	STEPS Toward The Reinvention of Programming: First Year Progress Report Conclusion by Achilleas Margaritis	Luke Gorrie	2009-03-13 10:13
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