recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Non-transitivity of type unification Probably need type vars? by Matt M repeated type vars by AntC	AntC	2018-03-18 15:28
Forum topic	Are "jets" a good idea? Same idea without jets by peterseymour Can give wildly varying results without feedback by James Hague This Resonates by Brandon Bloom Behavioral OBJ by dmbarbour type classes by skaller Simpler approach by dmbarbour Just want fundamental types by xkapastel Ah. by dmbarbour Examples of malicious blocks? by xkapastel Testing isn't proof. by dmbarbour ...	xkapastel	2018-03-16 14:28
Story	People of Programming Languages Interviews	bashyal	2018-03-16 04:58
Forum topic	Are Monads a Waste of Time? Indeed by John Shutt Particle wave duality by Keean Schupke Implicit Monads by Keean Schupke forms of analogy and states of reality by dmbarbour Verily by John Shutt Heh by gasche I disagree that "The by John Shutt sigh by John Shutt imperative world by Julian Rohrhuber re: global broadcast by dmbarbour ...	Keean Schupke	2018-03-16 00:59
Forum topic	GADTs as gaurds Weird Linker Steps by Keean Schupke If you separate the by Matt M A type variable is a type? by Keean Schupke No by Matt M Descriptors by Keean Schupke I'm just saying that if you by Matt M Fair enough by Matt M Metaprogramming by Keean Schupke gnaaa by AntC Doesn't need IncoherentInstances by AntC ...	Matt M	2018-03-14 20:29
Forum topic	Is there a functional language with explicit limits on the heap(s)? Measuring time by cpurdy How do you measure time? by Paulo Torrens Yes by cpurdy Are you creating a new language? by Paulo Torrens That's not lightweight by Paulo Torrens You were clear :) by Paulo Torrens Handling it in the language by naasking ulimit... by marco I figured, since that work by naasking It wasn't clear from reading it ... by cpurdy ...	Paulo Torrens	2018-03-13 11:45
Forum topic	Site migration Yes, HTTPS coming soon by Anton van Straaten Enable HTTPS by bashyal The LtU Gigacluster by Anton van Straaten Cluster? by Andris Birkmanis Yes, the problem is resolved. by Henry Luo May be resolved by Anton van Straaten Looking into it by Anton van Straaten Error when submitting new forum topic by Henry Luo Thanks, Anton! Site seems to by Ehud Lamm Testing complete by Anton van Straaten ...	Anton van Straaten	2018-03-12 12:02
Forum topic	Bottom Computers are not Turing machines ... by johnwcowan Not necessarily inconsistent by dmbarbour There's a catch by John Shutt Yah, that's the point by marco Undecidability and inconsistency by John Shutt Definition by marco What is? by Andreas Rossberg That's not the point by marco intuitionistic logic by dmbarbour Confused by Andreas Rossberg ...	marco	2018-03-10 18:20
Forum topic	Anna: A KVS For Any Scale	naasking	2018-03-09 21:05
Forum topic	Anything recent happening with multi-stage programming? You're right by David Teller Nice by David Teller Since you often mention by naasking Meta-tracing and Partial evaluation in JITs by gasche staging in proof assistants (VeriML) by gasche Lots of happening with multi-stage programming by Oleg Representations by Matt M Lightweight multi-stage via temporal logics by dmbarbour Neat by Matt M Multi-stage programming & JIT compilers by Jeremy ...	David Teller	2018-03-08 16:18
first page previous page next page last page