Lambda the Ultimate

type	title	author	last post
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
Forum topic	Is Datalog negation(¬) similar to the built-in predicate (≠)? There's a short reference by marco Wild guess by marco	Milton Silva	2017-07-05 12:01
Forum topic	How to name the inverse functions of constructors - by marco Deconstructor was a common name at my college by marco	hbrandl	2017-07-03 00:16
Story	Type Systems as Macros So, it's in Lisp, huh.. by marco	naasking	2017-06-25 11:19
Forum topic	A refutation of Gödel's first incompleteness theorem I've been looking for a parabel to clarify by marco	Enrique Perez Arnaud	2017-05-25 18:11
Forum topic	Any thoughts on WanaDecrypt0r? Not like that by marco If you raise the bar high enough, people will walk underneath it by marco Why would they? by marco Ah, I was wondering by marco	marco	2017-05-21 21:12
Forum topic	Prove: 'Cont r a = (a -> r) -> r' forms a monad Last I know we are using undecidable type systems by marco Excluded types by marco A possible use for typing everything by marco That would be mostly useless by marco Depends on who you ask, I guess. by marco Mwa, I am not that nuanced by marco Is System F a Turing Tarpit? by marco Terms? by marco Agreed, I stepped into the Turing Tarpit by marco int -> int by marco ...	marco	2017-05-16 02:03
Forum topic	Practical Principled FRP: Forget the past, change the future, FRPNow! Have it your way by marco Brits like tea by marco That looks like a by marco I agree with David here by marco That's the origin of 'monadic' programming by marco Intensional vs extensional equality by marco I read it a bit by marco Of course there is a notion of equality by marco By the way by marco Not that interested by marco ...	Sean McDirmid	2017-05-12 16:41
Forum topic	Domain specific language for playing games Oh, you are the original author by marco Games is where a lot of the money is by marco More a general comment on that DSLs for gaming are widespread. by marco Kartoffel and Sweeney by marco	davidb	2017-05-03 22:47
Forum topic	Egel Language v0.1	marco	2017-04-22 21:19
Story	Idris 1.0 Released Open Issues by marco	Ehud Lamm	2017-04-02 22:33
Forum topic	Conversion of 'functional' to 'imperative' algorithms: is it possible? Turing Tarpit by marco	Achilleas Margaritis	2017-03-31 19:14
Story	Contextual isomorphisms I see undecidability everywhere by marco	gasche	2017-03-10 16:30
Forum topic	Controlling Reductions Performance is always an issue by marco I think some Computer Algebra Systems do this by marco	skaller	2017-03-05 08:04
Forum topic	How will look a modern imperative language? All love here is functional only.. Near linear behavior where even constants matter by marco Will be very hard to pull off by marco Too academic by marco A better C++ by marco	mamcx	2017-02-18 18:58
Forum topic	Defining recursive function as a monad (or other solutions) Yah. I don't think you're right in that by marco Define exist by marco bind . unit = id by marco Unit and Bind? by marco Probably, something like that is possible by marco Actually a nice puzzle: A + ⊥ by marco Huh? by marco	Ivan V.	2016-12-17 08:07
Forum topic	Eliminating left recursion Fully parenthesizing by marco Maybe LC-parsing? by marco Ah, okay, great by marco Uh, I read it in the paper? by marco Yeah well by marco Yah nice by marco Addendum by marco Don't by marco First hit by marco Pfff.. by marco	skaller	2016-12-13 00:23
Forum topic	On the (Alleged) Value of Proof for Assurance More Guilty by marco Can someone explain by marco As far as I understood by marco	shap	2016-11-24 01:04
Forum topic	How is structural typing checked? Wild Guess by marco	mamcx	2016-10-26 16:44
Forum topic	Feedback requested: A sample implementation of L-systems in Haskell Dude. Hammer, Nail. by marco Monad was Used to Sequence Operations on the Internet by marco The URL by marco	filipallberg	2016-09-19 18:37
Forum topic	Term Rewrite System Implementations? Yeah well by marco As I stated before by marco Untyped SK by marco Rewrite System != Type System by marco Bullshit by marco Rewrite System != Program by marco I don't see the problem by marco Sssh... by marco	Ivan V.	2016-09-18 00:10
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