Lambda the Ultimate

type	title	author	last post
Forum topic	Living it up with a Live Programming Language It got in! by Sean McDirmid I mean languages whose by Sean McDirmid The limiting factor is by Sean McDirmid I'll try to use that opening by Sean McDirmid I guess I wasn't being by Sean McDirmid I agree PDF isn't ideal, but by Sean McDirmid The point is that the by Sean McDirmid Here it is, but I am really by Sean McDirmid If the language isn't simple by Sean McDirmid The point was that there is by Sean McDirmid ...	Sean McDirmid	2017-06-10 16:27
Forum topic	Practical Principled FRP: Forget the past, change the future, FRPNow! Oops. Fixed. LtU could by Sean McDirmid	Sean McDirmid	2017-05-12 16:41
Forum topic	Domain specific language for playing games Sure, my public email is by Sean McDirmid Kodu. by Sean McDirmid	davidb	2017-05-03 22:47
Forum topic	Compiler IDE API You can always try to write by Sean McDirmid See, you don't really want by Sean McDirmid Building an incremental type by Sean McDirmid You are really asking the by Sean McDirmid If you build your type by Sean McDirmid	Keean Schupke	2017-04-14 06:08
Forum topic	List of POPL 2017 papers with crowd-sourced preprint links Thanks, Hazelnut looks by Sean McDirmid What stands out to you? by Sean McDirmid	gasche	2016-12-08 18:05
Story	Pycket: A Tracing JIT For a Functional Language The Racket people are very by Sean McDirmid There is the HN discussion. by Sean McDirmid by Sean McDirmid If you want by Sean McDirmid Have cake + eat cake by Sean McDirmid We have plenty of production by Sean McDirmid	gasche	2016-10-06 00:41
Forum topic	Is there a language with the ability to write arbitrary type functions? I've been doing similar by Sean McDirmid Is that the only way we can by Sean McDirmid Are Turing complete type by Sean McDirmid	davidb	2016-08-24 18:18
Forum topic	PHOG: Probabilistic Model for Code	Sean McDirmid	2016-06-22 00:52
Forum topic	Programming with a Differentiable Forth Interpreter	Sean McDirmid	2016-06-06 19:46
Forum topic	Learning to Execute and Neural Turing Machines It wasn't my idea...I found by Sean McDirmid	Sean McDirmid	2016-05-30 14:37
Forum topic	What is Intuitive? Also see Crista's by Sean McDirmid	raould	2016-05-12 23:55
Forum topic	PL's hotness challenge We barely know about life in by Sean McDirmid Apologies by Sean McDirmid Every species is by Sean McDirmid It's not just this remark, by Sean McDirmid I get the feeling that you by Sean McDirmid So far, the only animals by Sean McDirmid By Poe's law, I can't tell by Sean McDirmid Theory can tell you a lot by Sean McDirmid We can influence our by Sean McDirmid That is definitely part of by Sean McDirmid ...	Sean McDirmid	2016-05-10 06:04
Forum topic	LIVE 2016 @ ECOOP (CFP) And until April 25th. We by Sean McDirmid Deadline extended to April by Sean McDirmid	Sean McDirmid	2016-04-22 23:16
Forum topic	Best opening sentence ever, in a paper on S-Exprs for IDEs. Pay lots of money or break by Sean McDirmid Interesting work, but they by Sean McDirmid	raould	2016-04-02 22:53
Forum topic	Onward 2016 call LIVE 2016 is probably a by Sean McDirmid It really depends. An onward by Sean McDirmid	Sean McDirmid	2016-04-01 13:09
Forum topic	Formalization and programming language design -- explained to all ML vs. PL by Sean McDirmid PL designers are not by Sean McDirmid Nesting is one of those by Sean McDirmid I look at this comment and I by Sean McDirmid Ya, I used folding and by Sean McDirmid Usability is a holistic by Sean McDirmid The problem with subtyping by Sean McDirmid H&M type systems like by Sean McDirmid We can agree that "Scala by Sean McDirmid I don't really buy the by Sean McDirmid ...	gasche	2016-04-01 05:40
Forum topic	Earl Grey; the story of a new programming language I get that. For this by Sean McDirmid Move your eyes this way or by Sean McDirmid Sigh by Sean McDirmid We complain about optimizing by Sean McDirmid I don't know. On the one by Sean McDirmid See my latest demos. I've by Sean McDirmid Personally, I'm holding off by Sean McDirmid I've never built a by Sean McDirmid Again, no typography is by Sean McDirmid Typing is fine. It's the by Sean McDirmid ...	Greg Buchholz	2016-03-31 23:37
Forum topic	¿How can a dynamically typed language not actively prevent static checking? Much of the benefit of by Sean McDirmid	raould	2016-03-31 23:06
Forum topic	Is the "Getting started"-guide up-to-date? ML can generate ontologies by Sean McDirmid It depends on what "AI" is. by Sean McDirmid I went through and glanced by Sean McDirmid The most exciting thing I've by Sean McDirmid Like I said, ML has much by Sean McDirmid There is nothing wrong with by Sean McDirmid PLT is about itself (add a by Sean McDirmid It depends if you want to be by Sean McDirmid	filipallberg	2016-03-29 06:03
Forum topic	Programmatic and Direct Manipulation, Together at Last Most programs don't involve by Sean McDirmid Yes it does! On the other by Sean McDirmid It is a start. by Sean McDirmid	Sean McDirmid	2016-02-13 20:21
Forum topic	Challenges Facing a High-Level Language for Machine Knitting If you want to implement and by Sean McDirmid I guess before PL went on by Sean McDirmid Not theory by Sean McDirmid I don't think anyone has by Sean McDirmid Are we talking about by Sean McDirmid And PL principles should by Sean McDirmid	marco	2016-02-03 22:07
Forum topic	Need to Talk It wouldn't be weird to have by Sean McDirmid A PL analogy to this problem by Sean McDirmid Look at this from the by Sean McDirmid Research must be relevant. by Sean McDirmid Sorry for taking offense, it by Sean McDirmid Sigh by Sean McDirmid Dup by Sean McDirmid And with Scala as more or by Sean McDirmid I mean, a lot of papers are by Sean McDirmid There is a lot of crap that by Sean McDirmid ...	marco	2016-02-02 05:56
Forum topic	Project Lamdu Yes well, the cake is better by Sean McDirmid You have to bake the cake by Sean McDirmid Actually, if it was ready by Sean McDirmid I did click and see some by Sean McDirmid Has anything changed in the by Sean McDirmid	Greg Buchholz	2016-01-21 23:00
Story	Static vs. Dynamic Languages: A Literature Review Symbolic thought comes with by Sean McDirmid Sapience is a fuzzy thing, by Sean McDirmid That view of humans is by Sean McDirmid Therefore the system of by Sean McDirmid Knowing how to solve by Sean McDirmid Really? Depending in the by Sean McDirmid I agree system 2 is taxing, by Sean McDirmid You are making up your own by Sean McDirmid Pedantry? by Sean McDirmid don't think computers do by Sean McDirmid ...	naasking	2016-01-11 06:22
Forum topic	Typed Data The experience should try to by Sean McDirmid I think the right way to by Sean McDirmid That is related to my by Sean McDirmid Again, when I'm designing by Sean McDirmid Type inference does help, of by Sean McDirmid Prep at my house involves by Sean McDirmid Look, if you want to by Sean McDirmid That is quite beautiful and by Sean McDirmid I agree with most of what by Sean McDirmid Again, the focus is on by Sean McDirmid ...	Andrew Moss	2015-12-31 08:59
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