recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	SW verification continues	hbrandl	2017-05-16 21:54
Forum topic	Prove: 'Cont r a = (a -> r) -> r' forms a monad Last I know we are using undecidable type systems by marco undecidability by John Shutt Excluded types by marco A possible use for typing everything by marco That would be mostly useless by marco Type any lambda by Keean Schupke Depends on who you ask, I guess. by marco FP vs TRS by Ivan V. Mwa, I am not that nuanced by marco Below-Turing Tarpit by gasche ...	marco	2017-05-16 02:03
Forum topic	the type of eval in Shen	Mark Tarver	2017-05-15 16:21
Forum topic	Practical Principled FRP: Forget the past, change the future, FRPNow! What is a general mathematician? by Keean Schupke Have it your way by marco No true Brit. by Keean Schupke Brits like tea by marco No true Scotsman. by Keean Schupke Agreement by Keean Schupke HW simulation, performance by dmbarbour That looks like a by marco Subprograms by Keean Schupke Utility by dmbarbour ...	Sean McDirmid	2017-05-12 16:41
Forum topic	Implementing typing rules -- how do I implement non-syntactic rules? Ahh, I had a quick look by osa1 No, when people don't by Sam Tobin-Hochstadt	osa1	2017-05-12 05:28
Forum topic	Domain specific language for playing games Oh, you are the original author by marco Games is where a lot of the money is by marco More a general comment on that DSLs for gaming are widespread. by marco Interesting but by davidb looking this over by Josh Scholar Language for beginners by Josh Scholar Game library for inexperienced programmers by Josh Scholar Isn't a chess engine a bit heavy? by davidb I'm working on something like this by Josh Scholar Romein has done more by davidb ...	davidb	2017-05-03 22:47
Forum topic	The Two Dualities of Computation: Negative and Fractional Types Category collapses for another reason by Ross Angle Belated correction, and taming the frays of this system by Ross Angle Assuming makes anything out of anything by Ross Angle Very funny Ha ha by Matt M Why series expansions? by Ross Angle I had never thought about by dmbarbour 1/(1 - Nat) is still Nat, but surely 1/(1 - a) isn't a! by L Spice I think we just need to by Matt M Maybe it works like this by Ross Angle Rationalization by Matt M ...	Greg Buchholz	2017-04-26 16:36
Forum topic	Egel Language v0.1	marco	2017-04-22 21:19
Forum topic	Making a one-pass compiler by generating fexprs that generate code Composable Type Inference by Keean Schupke Also s-expressions are ASTs instead of CSTs by Josh Scholar Tree traversal control by Josh Scholar Looking forward by John Shutt	Josh Scholar	2017-04-14 19:51
Forum topic	Compiler IDE API Web Browser by Keean Schupke You can always try to write by Sean McDirmid Why IDE by skaller Probably Right by Keean Schupke Compiler as a Web Service by dmbarbour See, you don't really want by Sean McDirmid The 'Kind' of Parsing Errors by Keean Schupke Wishful Thinking by Keean Schupke Hazelnut by Guillaume MM Building an incremental type by Sean McDirmid ...	Keean Schupke	2017-04-14 06:08
first page previous page next page last page