From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,751d508677a5add1
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!feeder2.cambriumusenet.nl!feed.tweaknews.nl!194.109.133.84.MISMATCH!newsfeed.xs4all.nl!newsfeed5.news.xs4all.nl!xs4all!feeder.news-service.com!newsfeed.straub-nv.de!open-news-network.org!noris.net!news.n-ix.net!news.belwue.de!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Fri, 02 Jul 2010 21:00:10 +0200
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.5; en-US;
 rv:1.9.2.4) Gecko/20100608 Thunderbird/3.1
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: [Ada] made me hate programming
References: <C852D130.14929C%yaldnif.w@blueyonder.co.uk>
 <c5bfd03945e5dbed2e88bfe3299aec79@pboxmix.winstonsmith.info>
In-Reply-To: <c5bfd03945e5dbed2e88bfe3299aec79@pboxmix.winstonsmith.info>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Message-ID: <4c2e373a$0$6770$9b4e6d93@newsspool3.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 02 Jul 2010 21:00:10 CEST
NNTP-Posting-Host: 291c69a1.newsspool3.arcor-online.net
X-Trace: 
 DXC=\SII4`EZ\I_HigV@eW57PQMcF=Q^Z^V3X4Fo<]lROoRQ8kF<OcfhCO[HAQJ;JMblF]nc\616M64>ZLh>_cHTX3j]neWHBi\Z8A^
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:12149
Date: 2010-07-02T21:00:10+02:00
List-Id: <comp.lang.ada>

On 02.07.10 19:52, Non scrivetemi wrote:
>> The design of Ada can hardly be held responsible for subjecting students
>> to incompetent or untrained teachers.
> 
> Indeed, Michael Feldman, one of the more famous professors advocating and
> teaching Ada appears to me to be extraordinarily good at what he does. I
> have one of his early textbooks and it's positively outstanding for clarity
> and cleanliness.

Is there a connection? A book may take the lead.
A compiler follows the lead:

Michael Feldman's books are structured in a certain way.
He selects topics, introduces subjects, and suggest a style
of programming.  Other authors have done this, too,
some books are outstanding, demonstrating teaching qualities
and being selected for introductory course work for a reason(*).

Imagine a compiler that diagnoses student's early programs
such that messages use words known after reading early
chapters 1, 2, and 3, but that try to rephrase messages
requiring knowledge of chapter 8 to understand them.
That could be a friendly rejection, possibly with pointers
to other chapters.
The technique seems possible, some existing compilers
include references to the LRM in their diagnostic messages.

My hope is that profiles can help with this to some extent.


Btu I'm missing the match!
__
(*) I have not always been sure that teachers had had
the time to look into a few books before recommending one,
though.