Lambda the Ultimate

type	title	author	last post
Forum topic	First-Class Patterns Ah, cancel that request. by AntC . by AntC First-class link? by AntC	naasking	2024-06-14 09:03
Forum topic	For a relational language, how treat KeyValues, Streams in relations with operators that add or remove "columns" Power of KV compared to relation by AntC How to ask questions by AntC Don't use that text by AntC Isn't there already enough prior art? by AntC	mamcx	2019-06-08 16:17
Forum topic	Video on Unison/comparison to Haskell/Monads/distributed computing	AntC	2019-02-25 23:25
Story	Is Haskell the right language for teaching functional programming principles? Why not go for subsets of Haskell by AntC	Ehud Lamm	2018-08-14 06:26
Forum topic	Non-transitivity of type unification repeated type vars by AntC	AntC	2018-03-18 15:28
Forum topic	GADTs as gaurds gnaaa by AntC Doesn't need IncoherentInstances by AntC try it by AntC Apartness Guards is what you need by AntC typecase by AntC logic programming by AntC overlapping instances by AntC if-then-else on types by AntC an approach to the Expression Problem? by AntC hmm, nearly by AntC ...	Matt M	2018-03-14 20:29
Forum topic	Refining Structured Type System Associativity for Precedence by AntC	Ivan V.	2017-12-31 16:52
Forum topic	What would be involved in moving logic beyond FOL? They are the same orders (repeat 3) by AntC CWA not so simple to use by AntC A disjunction is not a fact by AntC Agreed: RA is not "all-expresive" by AntC Uncertainty by AntC They are the same orders (repeat) by AntC Recursion and FOL and RA by AntC Parts of SQL in Codd's "original" RA, part 2 by AntC Parts of SQL in Codd's "original" RA by AntC Appear to not understand FOL by AntC ...	Charles Stewart	2017-07-14 15:18
Forum topic	Is Datalog negation(¬) similar to the built-in predicate (≠)? beware quantifiers by AntC	Milton Silva	2017-07-05 12:01
Forum topic	Conversion of 'functional' to 'imperative' algorithms: is it possible? any functional algorithm by AntC	Achilleas Margaritis	2017-03-31 19:14
Forum topic	Unsoundness BCPL's addressable bits/offsets by AntC You're building yet another language because ... why? by AntC	skaller	2017-01-20 15:16
Forum topic	Viability of a static type system (like ML) for a relational language? Counter-example: need for RENAME by AntC Codd, cross and natural by AntC Sorry, that's not *natural* join by AntC Explicit types in relations by AntC Type inference for relational operators by AntC HList keys to a relation by AntC HList paper covers a lot more than SQL by AntC	mamcx	2016-08-29 22:50
Story	Admin Thanks by AntC	Ehud Lamm	2016-07-24 14:16
Story	Punctuated equilibrium in the large scale evolution of programming languages evolution and natural selection of languages? by AntC	Allan McInnes	2015-07-20 01:13
Forum topic	Sectioning a chain of operators and dot as reverse application . by AntC Not so superficial by AntC Dot as reverse function application (in Haskell) by AntC	Matt M	2014-05-12 18:17
Story	The origin of zero-based array indexing dubious +1 +1 by AntC Interesting but dubious +1 by AntC	Ehud Lamm	2013-12-23 09:24
Forum topic	Define it twice -- preemptive bughunting or waste of time? Define it twice, OK. Run it twice, not so much. by AntC	Ray Dillinger	2013-06-15 09:31
Forum topic	Unordered pairs and their representation Unordered Tuples by AntC	Douglas McClean	2013-05-16 16:11
Forum topic	"Relational Model Outgrown" CACM May 2013 Inconsistency non-robustness considered harmful -- not! by AntC "computing has changed dramatically" ?? by AntC	Hewitt	2013-05-10 01:56
Forum topic	Are nested SQL statements monads? Are nested SQL statements monads? -- No by AntC	sciomako	2012-11-29 10:59
Forum topic	What space does SQL cover, or, why is max so weird in SQL? argmax() -- primitive or derived by AntC argmax() and keys by AntC	bdenckla	2011-10-26 20:00
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