Lambda the Ultimate

type	title	author	last post
Forum topic	First-Class Patterns Make it a community task... by dmbarbour	naasking	2024-06-14 09:03
Forum topic	Advantages of pointfree? re currying and parameter objects by dmbarbour Heavily Labeled Point-free Programming by dmbarbour	John Nowak	2023-02-19 16:24
Forum topic	What is a type? The program you describe can by dmbarbour Computability and halting by dmbarbour re Regarding incremental by dmbarbour re hypercomputation by dmbarbour Infinite vs unbounded by dmbarbour pulling teeth by dmbarbour "Successive bits could be a finite substring" by dmbarbour Liar. by dmbarbour re fine example by dmbarbour dup by dmbarbour ...	cpurdy	2023-01-25 22:53
Forum topic	Do names and symbols really imply semantics? If so what to do about it? cutting the tower by dmbarbour re fragile towers by dmbarbour re: contradictory by dmbarbour AI complete by dmbarbour I'd be more interested in by dmbarbour We have quite a history to by dmbarbour dup by dmbarbour TBF, reams of code that by dmbarbour notations at scale by dmbarbour Popular practice requires by dmbarbour ...	Ray Dillinger	2021-11-22 16:49
Forum topic	We've got big balls ... of mud ... Who owns Planet Mud? by dmbarbour	Ray Dillinger	2021-10-13 19:42
Forum topic	Monads vs Applicative Functors. re first class names by dmbarbour monadic parsers by dmbarbour re type checking by dmbarbour Sum, products, and ASTs by dmbarbour re named vars by dmbarbour re forth-like by dmbarbour re profunctor composition? by dmbarbour Monads are functors.The by dmbarbour context-sensitive parsing by dmbarbour Infinite sets by dmbarbour ...	Keean Schupke	2021-08-19 13:27
Story	Turnstile+: Dependent Type Systems as Macros architects and programmers by dmbarbour dup by dmbarbour re oh really by dmbarbour Formalism and sapience by dmbarbour Are humans intelligent? by an AI by dmbarbour re right s by dmbarbour Structure by dmbarbour compression and scale by dmbarbour double post by dmbarbour re effects for efficiency by dmbarbour ...	Charles Stewart	2021-08-17 17:18
Forum topic	Why is there no widely accepted progress for 50 years? ATS by dmbarbour dup by dmbarbour re lightweight von Neumann threads by dmbarbour concurrency by dmbarbour haha by dmbarbour re call/return by dmbarbour No conspiracy, just economic forces by dmbarbour Metamodel for a Language System by dmbarbour Inverted Language Stacks and Accelerators by dmbarbour re Readability by dmbarbour ...	Milton Silva	2021-06-09 23:27
Forum topic	Cognition and Coding Re: Strategy by dmbarbour Module names are expressions, too. by dmbarbour Why SPR is orthogonal to parallelism and concurrency by dmbarbour SPR vs. Syntactic Entanglement by dmbarbour stable, spatial mental maps by dmbarbour	Alex Berka	2021-04-24 06:46
Forum topic	Abstraction Tiers of Notations Physics by dmbarbour re copying and abstraction by dmbarbour re abstracting people by dmbarbour re fixpoint combinator for MSE by dmbarbour re market forces by dmbarbour I'm trying to consider the by dmbarbour faith in the market by dmbarbour Faulty generalization by dmbarbour Neither. by dmbarbour re pointers, and 'fundamental' by dmbarbour ...	const	2021-03-30 16:43
Forum topic	High level languages with optimal code generation optimal cache-oblivious algorithms by dmbarbour optimal reduction of lambda calculus by dmbarbour	Milton Silva	2021-02-13 04:47
Forum topic	Concurrent System Programming with Effect Handlers effects, types, and continuations by dmbarbour effects with or without continuations by dmbarbour async await with caps by dmbarbour re: effects vs ocaps by dmbarbour	raould	2021-01-26 03:50
Forum topic	Loop and recursion Both by dmbarbour explicit or implicit continuation passing by dmbarbour Choice of continuations (example) by dmbarbour multi-continuation vs multi-value returns by dmbarbour loop constructs by dmbarbour multiple continuations by dmbarbour	Mats	2021-01-21 21:50
Forum topic	Object graph 'integrals' Interaction nets by dmbarbour	const	2020-12-31 16:30
Story	Built to Last GOTO and state machines by dmbarbour	Ehud Lamm	2020-12-17 03:14
Forum topic	Looking for VM's or AM's for functional languages. Moonad/Formality by dmbarbour	AaronNGray	2020-12-10 16:10
Forum topic	Deterministic Concurrency Synchronic State Diagram by dmbarbour	Alex Berka	2020-12-01 15:10
Forum topic	What is a type? Constrained type? by dmbarbour Types as incompatibility? by dmbarbour re what a type can be used for by dmbarbour	Mats	2020-10-30 19:19
Forum topic	Tackling the Awkward Squad for Reactive Programming Transaction Machines by dmbarbour	raould	2020-09-24 22:41
Forum topic	Use Cases for Shared-Memory Concurrency? re deep freeze by dmbarbour Use Cases for Parallel Update of Memory by dmbarbour Parallelism and Concurrency by dmbarbour re Concurrently by dmbarbour Use Cases for Shared Memory Concurrency by dmbarbour Avoiding Shared Memory Concurrency is Difficult by dmbarbour	shap	2020-09-18 21:51
Forum topic	Is character as a type meaningless? re: do it yourself meta programming by dmbarbour Search for Representations by dmbarbour Re flexibility by dmbarbour Strategies without Commitment by dmbarbour Ratcheted Abstractions by dmbarbour Primacy of Text by dmbarbour	Mats	2020-09-16 20:52
Forum topic	Godel and Meta-Circularity Universe Quota by dmbarbour	Matt M	2020-09-16 03:37
Forum topic	Exhaustiveness checks for algorithms that manipulate imperative data structures Constraint Solver Type Checker by dmbarbour	Eduardo León	2020-08-30 14:57
Story	Applications of Blockchain to Programming Language Theory Block chains and PL by dmbarbour	Z-Bo	2020-04-23 14:47
Forum topic	IEEE Scheme expiring soon re first JIT by dmbarbour	johnwcowan	2020-04-14 07:48
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