user | Lambda the Ultimate

user

view
track

type	title	author	last post
Forum topic	"null" is to tagged unions as ???? is to records Yes, certainly should be by Jules Jacobs Instant failure as a better dual? by gasche This extra field for every by Jules Jacobs Built-in dirty flags? by Matt M Oh, interesting. Can you by Kannan Goundan I don't think that analogy by Kannan Goundan incomplete specifiers by raould Null not built in by shap Pointer arithmetic by dmbarbour Records are formally dual to by Jules Jacobs	Kannan Goundan	2014-03-22 20:06
Story	Propositions as Types It's not really untyped. by Keean Schupke isomorphism by Keean Schupke Yes, when someone says by Matt M typed calculus = (untyped calculus, logic) by Dave Dependent types more expressive by Keean Schupke Predicate logic vs. propositional logic by Matt M Type theory extends logic? by Keean Schupke First- and Second- order polymorphism by gasche Computational Trinitarianism by Keean Schupke Hmmm by Matt M ...	Manuel J. Simoni	2014-03-19 07:14
Forum topic	Julia has no dependent types I think that calling the by Chris Warburton just having read the first by andrew cooke Aha!there, you can see a by Chris Warburton ok, maybe i haven't by andrew cooke Can you really do that in by Chris Warburton Types as stage-escaping values by Ross Angle so given you can do all that by andrew cooke Any "compound" type can be by Chris Warburton Julia is dynamically typed by johnwcowan Ideally, dependent types are by dmbarbour	andrew cooke	2014-03-13 16:43
Forum topic	bodyf*ck: an esoteric programming environment using camera input	Sean McDirmid	2014-03-13 03:51
Story	The Essence of Reynolds	bashyal	2014-03-11 14:47
Forum topic	The Evolution of CS Papers Practical theory by Hank Thediek loosely disorganized fields by Thomas Lord Some observations by Thomas Lord Dijkstra had a problem with assignment, but didn't know it :-( by Hewitt Sorry that you didn't understand. by Hewitt Your reply, like the last by Victor Eijkhout AI by Hank Thediek A concrete example: by Dave Hoare gave up on Dijkstra's model of states with assignments by Hewitt Dijkstra had no problems with assignments by Victor Eijkhout ...	Sean McDirmid	2014-03-11 14:09
Forum topic	Resilient Languages I already provided by dmbarbour Reuse is necessary for by Thomas Lord rightness by Anders Horn Reuse is necessary for by dmbarbour reuse vs. "right" by Thomas Lord Reuse as prerequisite for Right by dmbarbour satire? by Thomas Lord Developing an architecture by dmbarbour Hm by John Shutt re abstraction and simplicity by Thomas Lord ...	spdegabrielle	2014-03-11 00:57
Forum topic	Parsing expression grammar In the interest of making this useful by cdiggins An interesting approach by Ivan V. I'm writing a series of posts on PEGs by Chris King Thanks by MohamedIBrahim Read the PEG mailing list archive on MIT.edu by Z-Bo	MohamedIBrahim	2014-03-07 14:05
Forum topic	Haxe 3.1 is here Haxe's developer used to by marco	raould	2014-03-07 00:50
Story	Determinism Is Not Enough: Making Parallel Programs Reliable with Stable Multithreading Computation these days means concurrent computation by Hewitt Yes, that post is a nice by dmbarbour Nondeterministic state machines cannot implement concurrency by Hewitt Informally, concurrent by dmbarbour How can (concurrent) computation be rigorously defined? by Hewitt Erlang/OTP is inadequate with respect to hardware failures by Hewitt But the actor model. by dmbarbour I would think you & possibly by J Muhammad Houshyar Which of the principles of Actors are satisfied by Erlang/OTP? by Hewitt That wasn't the question by J Muhammad Houshyar ...	Allan McInnes	2014-03-05 19:33
first page previous page next page last page