Lambda the Ultimate

I tried to post a link to my posting:

http://lambda-the-ultimate.org/node/4655#comment-74144

but it just posts a link to the first page of a 2-page discussion and doesn't connect to my posting. Seems broken.

Steps to reproduce:

a) View a forum topic in a collapsed view, say collapsed threaded.
b) Click on a comment.

A page pops up that looks like the reply page, but it's different. Posting a comment there doesn't reply to the comment you're seeing.

This is the reason for this empty comment of mine. I couldn't see any way to delete the comment after I'd moved it to the right place.

Perhaps it would be less confusing if the form on a comment url replied to that url? That's what HN does. Or we could follow reddit and get rid of that form altogether.

---

I've been bouncing around between views as a way to make sure I don't miss any comments. What do others do? Does everyone use the global track page? It seems unsatisfying for some reason (partly I keep forgetting it exists). And the asterisks feel unreliable because I'm afraid I navigated away without reading all of them.

Say for example, http://lambda-the-ultimate.org/node/4535#comment-73053, it loads the first page, and can't jump to the comment because its on the second page.

are there any drupal hackers who could somehow fix the ever narrowing text problem? :-)

I thinking about the design of the object model of a new programming language, and am leaning away from the idea of inheritance.

As far as my understanding goes, inheritance serves the following purposes:

* re-use of code in the child class by inheriting functionality from parent classes

* helping/enabling polymorphism by creating classes that have similar enough capabilities to make them "compatible" to a greater of lesser extent.

Have I missed anything or got aything wrong? Does anyone know of any language type models that do not use inheritance? Does anyone have a view of the pros & cons of such a model?

I've looked at what has been in Go, and my initial impression is that I like it.

Thanks, Mark.

(Apologies if you receive multiple copies of this announcement)

Peter Landin Annual Semantics Seminar

6 December 2011

BCS London Offices

First Floor, The Davidson Building
5 Southampton Street
London
WC2E 7HA

http://www.bcs.org/upload/pdf/london-office-guide.pdf

Introduction
----------------

Peter Landin (1930--2009) was a pioneer whose ideas underpin modern computing.
In the the 1950s and 1960s, Landin showed that programs could be defined in
terms of mathematical functions, translated into functional expressions in
the lambda calculus, and their meaning calculated with an abstract mathematical
machine. Compiler writers and designers of modern-day programming languages
alike owe much to Landin's pioneering work.

Each year, a leading figure in computer science will pay tribute to Landin's
contribution to computing through a public seminar. This year's seminar is
entitled "To be or not to be" valid?, and will be given by Professor
Cliff Jones (University of Newcastle) -- see below for abstract

Programme
-----------------

5.15pm Coffee
6 pm Welcome and Introduction
6.05pm Peter Landin Semantics Seminar:

"To be or not to be" valid?

Professor Cliff Jones (University of Newcastle)

7.20pm Close
7.20pm - 8.30pm Drinks Reception

Registration
-----------------

If you would like to attend, please email Paul.Boca@googlemail.com by
3 December.

Seminar details
-----------------------

"To be or not to be" valid?

Professor Cliff Jones (University of Newcastle)

Abstract:
The problem of reasoning about undefined terms has been "solved" (or
avoided) in a variety of ways. (Think about division by zero - but
undefinedness comes up in many ways in program specifications.) For a
long-time, I've used a non-standard logic (LPF) but few others have
joined this movement because such good tools exist for standard,
classical, logic. At some level, I believe that alternative approaches
are "workarounds". I'll try to show why the workarounds present
problems and report on recent positive ideas for mechanising LPF in a
way whose efficiency is close to that of classical logic. To make the
talk accessible to as wide an audience as possible, I'll place the
ideas in a framework that goes back (if not to Shakespeare, at least)
a long way.

hello everyone

In few days Iam Keep intersting of Parsing expression grammar and I have read and study about it but ineed to full reference for it so if any one could give me name of areferences Iwill be very glad to him

Best wishes
MohamedIBrahim

Hi Elder Citizens of LtU,

I'm a new user to LtU. I noticed that there are two types of posts in LtU: the Forum Topics and the Story. At the moment, I can only see the link to post new forum topics, but I don't see the link to post a story.

Is it because I'm a new user? What are the criteria for a user to be qualified to post a Story?

I looked throw the FAQ and many other documents on the site. But not able to found any guideline on this issue.

The XML link on the main navigation seems to be invalid. Here's the output from w3c's feed validator:

http://validator.w3.org/feed/check.cgi?url=http%3A%2F%2Flambda-the-ultimate.org%2Frss.xml

Hi,

I've been pulling together a web site, somewhat inspired by LtU, focused on network protocol issues. I really like the way LtU is organized, and Imitation being the sincerest form of flattery and all that, I wonder if somebody can illuminate me about the platform that LtU is built on (looks like Drupal), modules in use, themes, and so forth? (I can't seem to find any kind of description document buried on the site.)

Thanks very much,

Miles Fidelman