davidb | Lambda the Ultimate

davidb

view
track

type	title	author	last post
Story	Google announces Logica: organizing your data queries, making them universally reusable and fun Logica is a datalog subset that compiles to SQL? by davidb	Z-Bo	2021-09-24 17:33
Forum topic	Why is there no widely accepted progress for 50 years? Safety is simple but it isn'e easy by davidb I reject the core proposition by davidb	Milton Silva	2021-06-09 23:27
Story	Coq will be renamed Needs doing by davidb	Ohad Kammar	2021-05-10 14:44
Forum topic	Domain specific language for playing games Interesting but by davidb Isn't a chess engine a bit heavy? by davidb Romein has done more by davidb Anything more specific? by davidb Felix again by davidb Aiming for 100 percent by davidb Not really a DSL but... by davidb There are hundreds of games like that by davidb It's not really about existing major games by davidb Felix is not really a DSL by davidb ...	davidb	2017-05-03 22:47
Forum topic	Looking for references on the expressiveness and computational completeness of a relational programming language I think I would rather say by davidb Some additional references by davidb Modern datalog is TC by davidb Turing machine is easy... by davidb Why transitive closure? by davidb re implementations by davidb	davidb	2016-09-08 06:02
Forum topic	Viability of a static type system (like ML) for a relational language? Five are not enough by davidb The type system in The Third Manifesto is pretty good by davidb Rename is not needed if the design is done right by davidb Cross joins are not quite enough by davidb I too am building a relational language, called Andl by davidb	mamcx	2016-08-29 22:50
Forum topic	Is there a language with the ability to write arbitrary type functions? Yes, D is good by davidb Haskell can do it, Rust I'm not so sure by davidb Second class types are enough by davidb Generative generics by davidb	davidb	2016-08-24 18:18
Forum topic	Microscript Instantly brings to mind the CLR and the JVM by davidb	Ivan V.	2016-08-08 22:31
Forum topic	Andl is a New Database Language No UI by davidb Thanks by davidb Fixed by davidb by davidb	davidb	2016-02-08 03:43
Forum topic	Database programming language review Yes, I'm still working on by davidb And before Foxpro by davidb Thanks for the pointers by davidb	davidb	2015-07-23 00:44
Forum topic	Language combining relational algebra and domain algebra Not declarative by davidb Composable matters by davidb Yes, SQL is probably the by davidb	davidb	2015-01-12 17:37
Forum topic	PuzzleScript Thanks by davidb Good point by davidb My idea is something like this by davidb A slightly different question by davidb About that title... by davidb Not just a DSL by davidb	Tess Foley	2014-02-01 15:29
Forum topic	A glimpse into a new general purpose programming language under development at Microsoft HPL: hyper-productive by davidb The goals appear good, but by davidb	Charles Torre	2014-01-27 05:08
next page last page