Lambda the Ultimate

type	title	author	last post
Forum topic	C++ fun - by marco Seen worse by marco	chrisoliver	2018-06-11 02:05
Forum topic	Type Bombs Oh right by marco Uhm, are you sure? by marco Good, bad, or ugly? by marco Oh right by marco The next step? by marco Ahead of you! by marco Neat! by marco Yah, I noted that by marco	marco	2018-05-17 10:51
Forum topic	Representing Type Information in Dynamically Typed Languages I like that idea by marco Nit-picking by marco Impossible question? by marco	Ray Dillinger	2018-04-06 21:50
Forum topic	Egel Language v0.0.2 You have to experiment a bit by marco It's not documented very well, yet by marco Oh right.. by marco	marco	2018-03-23 22:12
Forum topic	Are Monads a Waste of Time? Overshoot by marco Maybe by marco Hansaplast by marco Linear Array of Linear Values by marco But linear values can by marco Have it your way by marco The value of state by marco I am not saying you shouldn't by marco Sure by marco Is arguing a waste of time? by marco ...	Keean Schupke	2018-03-16 00:59
Forum topic	Is there a functional language with explicit limits on the heap(s)? ulimit... by marco	Paulo Torrens	2018-03-13 11:45
Forum topic	Bottom Yah, that's the point by marco Definition by marco That's not the point by marco	marco	2018-03-10 18:20
Forum topic	Type systems for acyclic terms Something like that by marco Don't want that by marco	marco	2018-02-09 08:26
Forum topic	Defunctionalization+Refunctionalization+Expression Problem Yah by marco Why not just pattern match against the symbol of a function? by marco	chrisoliver	2018-02-02 04:24
Forum topic	Programming by poking: why MIT stopped teaching SICP Dramatizing? by marco Party Line by marco Yah, it is a naturally occurring construct by marco That's not true either by marco Do you think category theory is symbolic logic? by marco It is spectacularly right by marco Dunno by marco Not programmer, CS by marco I'll Bite by marco	Sean McDirmid	2018-01-26 06:42
Forum topic	Non-determinism: a sublanguage rather than a monad Doesn't look to be that easy. by marco Is that supposed to be evidence? by marco Nitpicking but agreed by marco Sophistry by marco I'll try! by marco Substituting a particular for a universal by marco	Greg Buchholz	2017-10-28 07:57
Forum topic	The Platonic Solids of Software Construction and Their Realization in C Bjarne is very important but only gets to vote by marco If he would exist by marco Necessitarianism? by marco	bryanedds	2017-09-29 19:00
Story	Project Snowflake: Non-blocking safe manual memory management in .NET Mark phase by marco	naasking	2017-09-13 20:37
Forum topic	Type system based on epistemic modal logic? Solid idea by marco	Jon Purdy	2017-09-12 02:48
Forum topic	SK in Prolog Depends on equal by marco I programmed a bit anyway, not sure I got it right. by marco	marco	2017-09-10 07:05
Forum topic	Something I forgot I disagree on your reading by marco Yah, that's not how all that works, I think by marco Comparing type systems by marco Of course it fails. by marco Testing 1, 2, 3.. by marco I don't think you are right by marco Not well-formed? by marco	marco	2017-08-26 06:44
Forum topic	Language features for tracing JIT? I found it a refreshing post by marco	Luke Gorrie	2017-08-21 14:33
Story	Happy Birthday, dear Lambda: 17 is good edition Ha! by marco Depends by marco It's where the money is by marco Good thinking! by marco Egel Language by marco	Ehud Lamm	2017-08-18 06:51
Forum topic	The question of the possibility of a simple formal foundation to the natural languages. All jokes aside by marco Set... by marco Perfume or ring by marco 'And' and 'or' can switch meaning in NL by marco And also, of course, they by marco Propositional connectives don't have a clear meaning by marco Even most math is that by marco Can you convey feelings? by marco	Enrique Perez Arnaud	2017-08-16 01:24
Forum topic	New simple proof system Love it! by marco	Edwin Zacharias	2017-08-13 22:29
Forum topic	hobbes, Morgan Stanley OSS Post it. Please? by marco Wut? by marco	Kalani	2017-07-27 14:55
Forum topic	What would be involved in moving logic beyond FOL? Try strong and weak fairness by marco I knew this! by marco - by marco	Charles Stewart	2017-07-14 15:18
Forum topic	Just entertainment: Click, click, click! Don't refuse to click the by marco	marco	2017-07-13 22:32
Story	YOW! Lambda Jam 2017: John Hughes - Why Functional Programming Matters Hehe, we disagree on principle by marco We don't even know what OO is... by marco Because it works^tm? by marco Reinstantiable module declarations by marco Look at all this mathematical beauty! by marco FP is excellent at that niche of problems it is excellent at! by marco	Ehud Lamm	2017-07-12 11:44
Forum topic	Affine Types - Introductory reading Categorical nonsense, indeed by marco Well look at that! by marco I scanned Girard's early papers by marco Ad-hoc at best by marco Because each formula is used exactly once? by marco Mistakes by marco Simple static checks on the term by marco	filipallberg	2017-07-10 02:17
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