Lambda the Ultimate

type	title	author	last post
Story	Determinism Is Not Enough: Making Parallel Programs Reliable with Stable Multithreading I think replay is a good way by Sean McDirmid Junfeng and Dawson are by Sean McDirmid	Allan McInnes	2014-03-05 19:33
Story	Wirth Symposium They just got bought for by Sean McDirmid For tooling, you are only by Sean McDirmid Correct, but it is always a by Sean McDirmid The question is do we need by Sean McDirmid Missed a word. I meant "not by Sean McDirmid And yet kernels in by Sean McDirmid	Luke Gorrie	2014-03-04 20:32
Forum topic	Inheritance is the Base Class of Evil video works best when coupled with other media by Sean McDirmid Bret Victor has done well by Sean McDirmid Videos are different beasts by Sean McDirmid I've actually tried going by Sean McDirmid I mean, is the talk working by Sean McDirmid Is the wisdom in this talk by Sean McDirmid	Charles Torre	2014-02-26 22:16
Forum topic	Wolfram Language To Wolfram's credit, this by Sean McDirmid	Sean McDirmid	2014-02-26 09:48
Forum topic	Disallow shadowing? Or fuzzier type systems by Sean McDirmid Let me deescalate by by Sean McDirmid I like it. It seems more by Sean McDirmid I've been playing with a by Sean McDirmid I.e. Names shouldn't be by Sean McDirmid	Y	2014-02-25 02:06
Forum topic	How about switching to Markdown? HTML makes it very difficult by Sean McDirmid	Y	2014-02-15 23:39
Forum topic	POPL 2014 proceedings available freely for all Communities by Sean McDirmid Why don't we start our own by Sean McDirmid people could try to deduce by Sean McDirmid Amen, but what to do about by Sean McDirmid I thought proceedings were by Sean McDirmid	gasche	2014-02-08 00:34
Forum topic	Structured Generative Models of Natural Source Code	Sean McDirmid	2014-02-06 03:28
Forum topic	PuzzleScript I didn't get it :) Many by Sean McDirmid The lines are blurry. by Sean McDirmid I think you and parent might by Sean McDirmid	Tess Foley	2014-02-01 15:29
Forum topic	Minimal implementation of state machines The FRP solution would by Sean McDirmid Check out YinYang by Sean McDirmid	giuseppemag	2014-02-01 05:12
Forum topic	Examples for benefitfs of dynamic programming languages Another limitation of by Sean McDirmid Since you are doing a by Sean McDirmid	Sebastian Okon	2014-01-30 21:54
Forum topic	A glimpse into a new general purpose programming language under development at Microsoft Wow! Reading the post, they by Sean McDirmid	Charles Torre	2014-01-27 05:08
Forum topic	Less is more. I've never heard of any one by Sean McDirmid Ad hoc polymorphism by Sean McDirmid My feeling is that there by Sean McDirmid I understand what PL courses by Sean McDirmid One could always consider by Sean McDirmid	Rys McCusker	2014-01-19 13:05
Forum topic	Different approaches to letting a programmer define interface implementations. Basically, I'm just saying by Sean McDirmid Mixins + virtual method by Sean McDirmid Not to mention by Sean McDirmid overloading by Sean McDirmid	Kannan Goundan	2014-01-15 04:00
Story	Pure Subtype Systems Now go backwards by Sean McDirmid Given x := y, x and y by Sean McDirmid A & B could either be types by Sean McDirmid We also want to model := as by Sean McDirmid We don't allow mutable by Sean McDirmid := actually isn't by Sean McDirmid Has anyone ever come up with by Sean McDirmid	naasking	2014-01-14 06:09
Forum topic	ACPUL - Another CPU Language - a{}; I don't think you'll find by Sean McDirmid	d08ble	2014-01-10 00:58
Forum topic	Its type checking, Jim, but not as we know it. With a type annotation you by Sean McDirmid weak assignment by Sean McDirmid Say:trait T: var Field1, by Sean McDirmid You can definitely by Sean McDirmid Worst case is bad (I'm not by Sean McDirmid Consider one method with two by Sean McDirmid In the case of your example, by Sean McDirmid Ya, assignments do depend on by Sean McDirmid Assignment doesn't deviate by Sean McDirmid Long reply to nested comment by Sean McDirmid ...	Sean McDirmid	2013-12-20 05:56
Forum topic	Practical rules for controlling program effects in an imperative / OOP environment. I am definitely ambitious in by Sean McDirmid Managing concurrency effects is enormously easy by Sean McDirmid	bryanedds	2013-12-08 06:50
Forum topic	Designscript I saw a demo by Luke Church by Sean McDirmid	chrisoliver	2013-11-26 22:03
Forum topic	actors conflate too much I can't read blogspot behind by Sean McDirmid	raould	2013-11-16 01:13
Forum topic	Why is Static Typing Hard? Slicer usability by Sean McDirmid We might try for a type by Sean McDirmid Let me adjust my position a by Sean McDirmid You can imagine, and indeed by Sean McDirmid code completion \not\in sanity checking by Sean McDirmid Working on it. by Sean McDirmid Safety is quite different by Sean McDirmid Dynamic typing is incredibly by Sean McDirmid Ask not what your program can do for your types... by Sean McDirmid Dynamic languages still have by Sean McDirmid ...	Jon Purdy	2013-11-12 18:56
Forum topic	Interactive Parsing Theory If you want to go that by Sean McDirmid Interesting, the data-flow by Sean McDirmid Structured editing in its by Sean McDirmid I guess its not impossible. by Sean McDirmid Glitch is much more general by Sean McDirmid Right. If your language has by Sean McDirmid This is part of the Harmonia by Sean McDirmid this process would involve by Sean McDirmid REPLs are boring by Sean McDirmid The complexity is that while by Sean McDirmid ...	Alexander Morou	2013-11-09 06:15
Forum topic	xkcd: Functional If it were one line, it by Sean McDirmid Run with that. It could be a by Sean McDirmid	Sean McDirmid	2013-11-05 20:23
Forum topic	Alexander Bumstead learns the Lambda Calculus I'm thinking that they by Sean McDirmid	tim finin	2013-11-05 07:12
Forum topic	Usable Live Programming The essay on by Sean McDirmid Intellitrace works by by Sean McDirmid web essay by Sean McDirmid Accepted into onward. by Sean McDirmid Also difficult by Sean McDirmid Its not the message I think, by Sean McDirmid Tracing is just by Sean McDirmid Can you help me by by Sean McDirmid Someone wrote this by Sean McDirmid Anyway, I think we're by Sean McDirmid ...	Sean McDirmid	2013-10-20 06:05
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