Lambda the Ultimate

type	title	author	last post
Forum topic	Type Differentials Implementation Details by Keean Schupke Universally Quantified Type Systems. by Keean Schupke	Talin	2015-04-25 15:02
Forum topic	how many lines of code can civilization support? I not sure I get the problem by Keean Schupke Logic in the type system by Keean Schupke Emphasis by Keean Schupke State and Macros by Keean Schupke Mutable objects and intermediate types. by Keean Schupke Longer learning curve supports my argument. by Keean Schupke Question Framing by Keean Schupke Understandability Details by Keean Schupke Imperative more understandable by Keean Schupke Not Impossible by Keean Schupke ...	Thomas Lord	2015-04-09 22:07
Story	The Next Stage of Staging Better Staging by Keean Schupke Profile Guided Optimization by Keean Schupke changing subject by Keean Schupke Correctness by Keean Schupke Performance by Keean Schupke Elaborating on Elaboration. by Keean Schupke Incompatible type system. by Keean Schupke Elaboration by Keean Schupke Type Checking by Keean Schupke Verification after leaving the factory is useless by Keean Schupke ...	naasking	2015-04-07 14:58
Forum topic	Constraint typing, subtyping, and separate compilation I probably misunderstood by Keean Schupke Back to topic by Keean Schupke My Bad. by Keean Schupke Changing Types by Keean Schupke OOHaskell by Keean Schupke Typeclass = Interface. by Keean Schupke Substitutability. by Keean Schupke What More? by Keean Schupke I Disagree (sort of). by Keean Schupke Subtyping of Containers by Keean Schupke ...	Sean McDirmid	2015-03-12 22:35
Forum topic	general patterns in PL persistence schemes? Durability of Real Storage by Keean Schupke Immutable copying by Keean Schupke Persistent Data Only by Keean Schupke Databases Again by Keean Schupke Partly by Keean Schupke Web Applications by Keean Schupke Indexing by Keean Schupke Isolation by Keean Schupke All my documents at once? by Keean Schupke Production Systems by Keean Schupke ...	Rys McCusker	2015-02-24 02:23
Forum topic	Making implicits less powerful? Templates vs Compilers by Keean Schupke How do you handle... by Keean Schupke C++ under control for now. by Keean Schupke Polymorphic Recursion by Keean Schupke Lets try again. by Keean Schupke Not Sure. by Keean Schupke I Agree by Keean Schupke How vs What by Keean Schupke Dependent types seem problematic by Keean Schupke	Vladimir Slepnev	2015-02-20 16:07
Forum topic	Negation in Logic Languages MiniKanren by Keean Schupke Not equal easier than negation by Keean Schupke Proof vs Disproof by Keean Schupke Admissible by Keean Schupke In General by Keean Schupke Complement is not Negation by Keean Schupke Negation is the problem. by Keean Schupke Proof and Disproof by Keean Schupke typos by Keean Schupke split by Keean Schupke ...	Keean Schupke	2015-02-19 17:21
Forum topic	symbols and loosely coupled concurrent apps part II Green Thread Performance by Keean Schupke Usual Approach by Keean Schupke Implementation of Async IO by Keean Schupke Existing Libraries Usable? by Keean Schupke New async IO wrapper? by Keean Schupke Trampolining by Keean Schupke	Rys McCusker	2015-02-10 22:23
Forum topic	Some notes on Rust, the language. Elements of Programming by Keean Schupke Misleading Title by Keean Schupke Once something has become a mess, its very hard to tidy again by Keean Schupke Citations by Keean Schupke Design Type System First by Keean Schupke Types a not proofs by Keean Schupke Really? by Keean Schupke Most code is still in C by Keean Schupke Ownership and Referencing by Keean Schupke	John Nagle	2015-02-09 07:25
Forum topic	How can languages help us in terms of achieving correct program design? Not Wrong by Keean Schupke Miscommunication by Keean Schupke - by Keean Schupke proofs at runtime by Keean Schupke imagined problem by Keean Schupke no infinities at runtime by Keean Schupke Proofs are Relevant by Keean Schupke strong compile time language by Keean Schupke Macro Assemblers by Keean Schupke Sounds good by Keean Schupke ...	bryanedds	2015-02-02 17:56
Forum topic	How can middle school algebra help with domain specific languages? Algorithms by Keean Schupke Consistency, Orthogonality and Simplicity by Keean Schupke	shahbaz	2015-01-21 17:18
Forum topic	Language combining relational algebra and domain algebra SQL queries and schemas are declarative by Keean Schupke Declarative is good. by Keean Schupke Completeness vs Consistency? by Keean Schupke Underestimate SQL? by Keean Schupke SQL by Keean Schupke Relational Algebra by Keean Schupke	davidb	2015-01-12 17:37
Forum topic	managing closed worlds of symbols via alpha-renaming in loosely coupled concurrent apps Locking Memory by Keean Schupke shm_open by Keean Schupke VFS vs Shared Memory by Keean Schupke Thorn is fine by Keean Schupke Terms by Keean Schupke Both replies were okay with me by Keean Schupke Message Passing by Keean Schupke Efficiency by Keean Schupke Variables. by Keean Schupke Analysis by Keean Schupke ...	Rys McCusker	2015-01-10 00:45
Forum topic	Function arity with currying and call-by-push-value side effects by Keean Schupke	Blaisorblade	2015-01-05 16:09
Forum topic	How can be a interpreter faster than C (aka: kdb+) Type-Classes and Unboxed Types by Keean Schupke Agree, Interesting Discussion by Keean Schupke Lexically Visible by Keean Schupke Type Inference by Keean Schupke Interfaces and Concepts. by Keean Schupke Concept Checking by Keean Schupke More general than type classes by Keean Schupke Same Thing? by Keean Schupke Lack of Organisation by Keean Schupke Template Parameters Define a Type by Keean Schupke ...	mamcx	2014-12-31 14:26
Forum topic	Function Readability & Understandability Understanding Intermediate Types by Keean Schupke Functional is supposed to be better? by Keean Schupke Does it need them by Keean Schupke SQL is compositional by Keean Schupke Language Design by Keean Schupke Concat used like cons by Keean Schupke foldl cross working example by Keean Schupke foldl cross product by Keean Schupke - by Keean Schupke Weak Typing by Keean Schupke ...	Keean Schupke	2014-12-28 20:07
Forum topic	Future of Programming Videos, final program Queue Synchronisation. by Keean Schupke Interesting by Keean Schupke Transactions by Keean Schupke No Blocking? by Keean Schupke Composable Memory Transactions by Keean Schupke STM by Keean Schupke	Sean McDirmid	2014-12-12 14:09
Forum topic	Why do we need modules at all? Tooling by Keean Schupke Database is (not) the language. by Keean Schupke Emacs and Specifications. by Keean Schupke Languages and Operating Systems by Keean Schupke Code Completion for Generic Programming by Keean Schupke version managing functions by Keean Schupke In memory by Keean Schupke Prolog and Datalog by Keean Schupke For one specific language by Keean Schupke Thick vs Thin Language by Keean Schupke ...	Sean McDirmid	2014-12-06 15:20
Forum topic	Looking for a good online forum on compiler design and implementation worth a try by Keean Schupke Stepping Backwards by Keean Schupke Bootstrapping Prolog by Keean Schupke I Agree by Keean Schupke Compiling is Prolog by Keean Schupke gdb can do it too by Keean Schupke Embedded prolog, codata, and parsing by Keean Schupke Debugging Compiled vs Interpreted by Keean Schupke Why a polymorphic fold? by Keean Schupke only functors not monads by Keean Schupke ...	Talin	2014-12-03 22:33
Story	Facebook releases "Flow", a statically typed JavaScript variant Formal Specifications by Keean Schupke	James Iry	2014-12-03 08:59
Forum topic	Code Completion for Generic Programming Free type variables to the left. by Keean Schupke - by Keean Schupke What is an algorithm? by Keean Schupke Iterators must be efficient by Keean Schupke I think I get it by Keean Schupke The sort of sort by Keean Schupke Huh? by Keean Schupke Iterators must me efficient. by Keean Schupke You are right by Keean Schupke Arbitrary Order? by Keean Schupke ...	Keean Schupke	2014-11-24 17:37
Forum topic	Impact of static type systems on productivity of actual programmers: first experiment I've seen documented. Code completion by Keean Schupke Static vs Dynamic Polymorphism by Keean Schupke	Ray Dillinger	2014-11-18 03:22
Forum topic	Whither Flow Analysis? Static Generics by Keean Schupke	raould	2014-11-14 11:54
Forum topic	Opposing Hierarchies of Complexity Type Erasure by Keean Schupke Weaker Statement by Keean Schupke Proofs are Paths? by Keean Schupke Trapdoors by Keean Schupke complex inside simple outside. by Keean Schupke File-Vector behaves as a value. by Keean Schupke All Safe by Keean Schupke complexity of implementation by Keean Schupke I agree with this. by Keean Schupke Summary so far by Keean Schupke ...	Keean Schupke	2014-11-05 22:20
Story	Exceptional syntax Time travellers by Keean Schupke Is that the problem? by Keean Schupke	Chung-chieh Shan	2014-11-04 18:51
first page previous page next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation