recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Compile and Statically Verify That is one of the goals. by hbrandl Self definition by Ivan V. Works, by Ivan V. "Read" should work as well. by hbrandl Got it, by Ivan V. See above. There is a link by hbrandl Albatros documentation? by Ivan V.	hbrandl	2016-10-07 07:12
Story	Pycket: A Tracing JIT For a Functional Language Macros? by dataangel Probably a GUI problem by claudio It was never useful, you never made it useful by Josh Scholar And no one has seen frequent by Sam Tobin-Hochstadt It has a little recycling symbol in the lower corner by Josh Scholar Like I said, the things you by Sam Tobin-Hochstadt They went through the trouble by Josh Scholar That's helpful, thanks. by Sam Tobin-Hochstadt Well, I used it multiple times for different projects by Josh Scholar Actually, I'm using DrRacket by Sam Tobin-Hochstadt ...	gasche	2016-10-06 00:41
Forum topic	Indispensible use cases for record subtyping? Row polymorphic extension is by naasking Tuples suffice, but names by Jules Jacobs Consider the lack of effect by naasking I agree, but the issues I by naasking Row polymorphism modelling effects by skaller bazaar by dmbarbour Namespaces and Flat structures by Brandon Bloom Barely Nicer by Brandon Bloom data integration by dmbarbour I'm not convinced that by naasking ...	naasking	2016-10-04 17:37
Forum topic	ZenScript, A new open-source language project. Type inference and overloading by Matt M Felix by skaller Subclassing by Keean Schupke Ceylon models Java's by naasking Expression Problem by Keean Schupke type-classes by Keean Schupke A link to a description of by naasking	Keean Schupke	2016-10-01 16:48
Story	Automating Ad hoc Data Representation Transformations You're missing the point by Z-Bo Benchmarking and Generic Programming by Keean Schupke The reason it isn't fully realized by Z-Bo	naasking	2016-09-29 18:54
Forum topic	SPLASH'16 Amsterdam CFP: early registration ends Sept 30	craiganslow	2016-09-28 22:00
Story	Philip Wadler: Category Theory for the Working Hacker \|- means nothing by Derek Elkins real world out of memory by raould Pure Computer Programs by Keean Schupke If the language by naasking Not Absurd by Keean Schupke Observability by Keean Schupke Then the Ariane rocket by naasking error by John Shutt Simplicity begets correctness by Matt M . by Keean Schupke ...	Ehud Lamm	2016-09-23 20:29
Forum topic	Certificates/proof of work of type checking? Annotations by Keean Schupke I think you're reading too by naasking Overstating their claims by Keean Schupke What does tamper-proof mean? by naasking Not tamper proof? by Keean Schupke Very cool idea by Ivan V. I was considering loading + by Matt M You are correct that by naasking This seems boring by Matt M O(N) by adrieng ...	naasking	2016-09-22 06:41
Story	Type Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance Regarding your concerns by naasking Yeah by Matt M My thoughts on multimethods by naasking Formalization 404 by Manuel J. Simoni Not any more. by Keean Schupke No ambiguity by Matt M Thanks by Matt M I think it's a useful point, by naasking Meta Programms by Keean Schupke Best approach I have found. by Keean Schupke ...	naasking	2016-09-20 05:47
Forum topic	Feedback requested: A sample implementation of L-systems in Haskell For reference, what would by filipallberg Initially, we identify an by Andrew Moss Dude. Hammer, Nail. by marco Monad was Used to Sequence Operations on the Internet by marco The URL by marco	filipallberg	2016-09-19 18:37
first page previous page next page last page