Lambda the Ultimate

type	title	author	last post
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
Story	Inside the Wolfram Language Pattern matching on AST by Keean Schupke	bashyal	2014-11-04 07:29
Forum topic	Jonathan Blow's next foray into game language design Underestimating C++ by Keean Schupke ATS by Keean Schupke I want both by Keean Schupke Simpler for the CPU by Keean Schupke What Language? by Keean Schupke One allocation always faster than many. by Keean Schupke Handles by Keean Schupke Excessive object creaion by Keean Schupke Sharing ownership by Keean Schupke not all game developers by Keean Schupke	jdougan	2014-10-21 20:35
Forum topic	On constness no copying. by Keean Schupke Graph Versioning by Keean Schupke Capabilities seem better by Keean Schupke I think so. by Keean Schupke parallel semantics by Keean Schupke How? by Keean Schupke Not safe? by Keean Schupke enforcing mutation does not happen during parallel computation. by Keean Schupke Write Locks? by Keean Schupke immutable to mutable by optimised copy. by Keean Schupke	Talin	2014-10-13 20:58
Forum topic	Experiment OpenGL/DirectX by Keean Schupke Haskell Type Classes by Keean Schupke Reflection by Keean Schupke Reflection and Optimisation. by Keean Schupke Memory Allocation Reflection by Keean Schupke Upper Bounds by Keean Schupke Interesting. by Keean Schupke Modular Arithmetic by Keean Schupke Assuming sufficient memory by Keean Schupke Pigeon Holes mod 2^63 by Keean Schupke ...	Ehud Lamm	2014-10-01 17:10
Forum topic	A StackExchange Site for Programming Language Theory F-star link by Keean Schupke F-star by Keean Schupke model checking by Keean Schupke Its the same. by Keean Schupke Stepanov on Redoing by Keean Schupke Problems other than factoring by Keean Schupke Knuth on SP by Keean Schupke Made me laugh... by Keean Schupke Survey Propogation by Keean Schupke Number Field Sieve by Keean Schupke ...	aaditmshah	2014-09-27 15:30
Forum topic	Optimisation by repeated beta- and eta-reduction Finite Limits by Keean Schupke	L Spice	2014-09-22 01:00
Story	Scala woes? Yes I got it upsidedown by Keean Schupke Kind of the opposite by Keean Schupke Heterogeneous Lists by Keean Schupke Quick Example by Keean Schupke OOHaskell Paper by Keean Schupke example by Keean Schupke Tortology by Keean Schupke subsumption by Keean Schupke soundness by Keean Schupke OO and imperative by Keean Schupke ...	Ehud Lamm	2014-09-20 21:18
Forum topic	Who Needs Garbage Collection? Ada Problems by Keean Schupke Not started yet by Keean Schupke Citation needed by Keean Schupke Low Level by Keean Schupke Ada access objects by Keean Schupke no counting by Keean Schupke Very Useful by Keean Schupke Seems different by Keean Schupke You got me. by Keean Schupke Do you? by Keean Schupke ...	Keean Schupke	2014-09-20 06:41
Forum topic	Patent on "safe" transitive immutability for object types — prior art? Not in the UK or Europe by Keean Schupke Better to respond with your position. by Keean Schupke Preventing escape of mutability by Keean Schupke Contracts? by Keean Schupke Do not read the patent. by Keean Schupke	Blaisorblade	2014-09-11 18:18
Forum topic	Function Types and Dylan 2016 Optimise Function Objects by Keean Schupke	Greg Buchholz	2014-08-28 23:21
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