recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Dependent Types for Low-Level Programming Another hint: by HeikoWengler Deputy was done in the by HeikoWengler thanks by NickP except by NickP good stuff by NickP as seen by raould Typing 'C' by Keean Schupke That's my understanding by HeikoWengler Liquid types are dependent types? by Keean Schupke I am not a type theorist... by HeikoWengler ...	naasking	2015-10-16 07:59
Story	Optimizing Closures in O(0) time	naasking	2015-10-04 17:46
Story	GADTs Meet Their Match: Pattern-Matching Warnings That Account for GADTs, Guards, and Laziness Interesting that the by naasking How does this compare to Garrigue's paper... by yminsky	naasking	2015-10-14 15:30
Story	Breaking Through the Normalization Barrier: A Self-Interpreter for F-omega Can their representation be converted to string? by marco Thanks to you too by Matt M thanks again by Vladimir Slepnev Sec. 3.3: An easy counterexample to the normalization barrier by Blaisorblade thanks! by Vladimir Slepnev Yeah, but... by Blaisorblade Correction on previous work by Blaisorblade Typing is hard by Blaisorblade re they don't claim to disprove by Thomas Lord I still don't like it by marco ...	naasking	2015-11-18 18:04
Story	Compilers as Assistants Even better counterexamples by andru only works if the line numbers are accurate by andru to-read list by John Shutt Thought provoking. by Andrew Moss Then we still have to focus by Sean McDirmid Nice post by Ross Angle Is thinking purely by John Shutt OCaml IDE by gasche Its amazing that math is by Sean McDirmid art vs. science by raould ...	bashyal	2015-12-04 15:35
Story	BWK on "How to succeed in language design without really trying" Not a bad summary... by Ehud Lamm labor saving devices by Thomas Lord	Ehud Lamm	2015-11-21 08:11
Story	Static vs. Dynamic Languages: A Literature Review Goals by Keean Schupke Symbolic thought comes with by John Shutt Symbolic thought comes with by Sean McDirmid Sapience is fuzzy, to some extent by John Shutt Sapience is a fuzzy thing, by Sean McDirmid That view of humans is by Sean McDirmid feline by John Shutt Pleasure and Pain. by Keean Schupke Therefore the system of by Sean McDirmid Knowing how to solve by Sean McDirmid ...	naasking	2016-01-11 06:22
Story	Progress on Gradual Typing Yes, these last two posts of by Matt M Type Annotations by Keean Schupke Oh! Term-level proofs are unlikely in untyped code. Hmm. by Ross Angle Sufficiently expressive types by Keean Schupke If the typechecker processes by Matt M Annotations provided by the caller by Ross Angle Maybe the function's author by Matt M Inspecting source code at run time by Ross Angle What does soundness of gradual typing mean and is it important? by Matt M Sound gradual typing is not dead by gasche ...	gasche	2016-01-28 15:13
Story	Performance Problems You Can Fix: A Dynamic Analysis of Memoization Opportunities playing with scope of problem statement by Rys McCusker This is a very neat idea. by dmbarbour Miranda or Hugs had this by marco JIT, take me away by raould	gasche	2016-01-12 23:30
Story	Coordinated concurrent programming in Syndicate conversations by raould	gasche	2016-02-01 18:40
first page previous page next page last page