Lambda the Ultimate

type	title	author	last post
Forum topic	Prove: 'Cont r a = (a -> r) -> r' forms a monad Yoneda by chrisoliver Right Kan Extension by chrisoliver	marco	2017-05-16 02:03
Forum topic	Lecturing birds how to fly Are you sure? by chrisoliver	Charles Stewart	2016-09-07 18:46
Forum topic	Whither FRP? Your foam web site by chrisoliver	raould	2016-09-03 12:47
Forum topic	Theory of syntax extensions: does it exist? Corporate politics by chrisoliver Natural language by chrisoliver	johnwcowan	2016-05-30 10:47
Forum topic	Formalization and programming language design -- explained to all Mathematicians are people too by chrisoliver foreach/select by chrisoliver off the top of my head.. by chrisoliver Simplicity, clarity, conciseness, consistency - Human factors by chrisoliver	gasche	2016-04-01 05:40
Forum topic	Programmatic and Direct Manipulation, Together at Last Maya Ascii by chrisoliver Visual programming by chrisoliver	Sean McDirmid	2016-02-13 20:21
Story	Static vs. Dynamic Languages: A Literature Review Maybe by chrisoliver Ok, but to me this implies a misunderstanding of roles by chrisoliver Performance by chrisoliver sports, music, crafts, cooking, etc, etc by chrisoliver Performance by chrisoliver Misguided by chrisoliver Covariant functor by chrisoliver	naasking	2016-01-11 06:22
Forum topic	Typed Data Kahneman? by chrisoliver	Andrew Moss	2015-12-31 08:59
Story	Programming with Algebraic Effects and Handlers Algebraic effects and handlers in Javascript by chrisoliver	Matt Hellige	2015-12-04 03:11
Forum topic	Andrei's answer to "Which language has the brightest future in replacement of C between D, Go and Rust? And Why?" The problem is C++ include files and templates by chrisoliver C++ by chrisoliver Google solved this problem by chrisoliver C++ compile time by chrisoliver UE-4 by chrisoliver Benefits by chrisoliver C++ has too many problems by chrisoliver	Sean McDirmid	2015-11-24 16:45
Forum topic	Hacker’s Brain – The Psychology of Programming Bias? by chrisoliver	Sean McDirmid	2015-11-23 03:27
Forum topic	MCG: A Visual Functional Programming Language Cool by chrisoliver	cdiggins	2015-11-02 19:34
Forum topic	PL vs. PX Visual Studio by chrisoliver	Sean McDirmid	2015-10-26 18:24
Forum topic	Live programming in APX, an early peek scrubbing by chrisoliver	Sean McDirmid	2015-09-30 15:45
Forum topic	word2vec The way it works... by chrisoliver	Sean McDirmid	2015-09-05 18:26
Forum topic	Eric Lippert's Sharp Regrets What kind of things are impossible? by chrisoliver	Wolf Logan	2015-08-24 11:10
Forum topic	Limitations of FRP? Events by chrisoliver	Sean McDirmid	2015-08-04 08:28
Forum topic	Research vs implementation, theory vs practice, and LtU mainstream industrial programming languages by chrisoliver	Blaisorblade	2015-07-28 16:57
Forum topic	Unreal Blueprints Visual Scripting Edit by chrisoliver Exactly by chrisoliver Programmer? by chrisoliver Its not the novelty by chrisoliver	chrisoliver	2015-07-21 18:11
Forum topic	From Programming Language Design (PLD) to Programmer Experience Design (PXD) kinds of code completion by chrisoliver unreal blueprint example by chrisoliver dual auto-completion by chrisoliver unproductive first-order box by chrisoliver	Sean McDirmid	2015-05-20 12:15
Forum topic	Type Theory Glossary Jargon traps by chrisoliver	naasking	2015-05-09 12:14
Forum topic	How can middle school algebra help with domain specific languages? in natural language we can say “and” to mean several things by chrisoliver	shahbaz	2015-01-21 17:18
Forum topic	A duality between exceptions and states - Dumas, Duval, Fousse, Reynaud Particular location and exception by chrisoliver Duality by chrisoliver duality by chrisoliver In other words... by chrisoliver	chrisoliver	2014-11-10 17:57
Forum topic	Experiment It was a metaphor by chrisoliver Human factors by chrisoliver In Apple's case... by chrisoliver	Ehud Lamm	2014-10-01 17:10
Story	Scala woes? Product types by chrisoliver	Ehud Lamm	2014-09-20 21:18
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