Paracamplus

Notation automatisée de code

queinnec — 2018-04-17T16:33:31Z

Ce MOOC en devenir est destiné aux futurs auteurs d'exercices pour l'infrastructure de notation automatisée CodeGradX. Il est en cours de réalisation.

- MOOC

Lisp Book Errata

queinnec — 2018-01-11T09:50:06Z

This is the errata page for the LiSP (Lisp in Small Pieces) book. Many thanks to Luc Moreau, William Annis, John Gerard Malecki, Peter Keller, Ville Ranta-aho, Sam Ritchie, Masanori Ogino and mostly Kris Katterjohn who detected these anomalies.

Bugs

So far only two bugs !

p61, p62, replace the-uninitialized-marker by the-non-initialized-marker

p178 : the function cps-begin (in src/chap5f.scm) should rather be :

 (define (cps-begin e) (if (pair? e) (if (pair? (cdr e)) (let ((void (gensym "void"))) (lambda (k) ((cps (car e)) (lambda (a) ((cps-begin (cdr e)) (lambda (b) (k `((lambda (,void) ,b) ,a)) ) ) ) ) ) ) (cps (car e)) ) (cps '()) ) )

Typos chapter 0 To the reader

page XVIII : replace “We use numbers are they are” with “We use numbers as they are”.

Typos chapter 1

p7, 2nd paragraph, 2nd sentence : remove the first occurrence of “special”, the sentence should now be read as “When a form does not begin with a keyword, we say that it is a functional application or more simply an application”.

p11, section 1.4.4, 2nd paragraph : replace [See p.11] into [See p.13] where is the definition of function update!

Typos chapter 2

p39, line 2 : replace colon by comma before “just”
p39, line 3 : replace comma by colon before “At”
p39 last 2 lines : replace “positive” by “positive or zero”, replace 1 by 0.

p47, paragraph 3 : remove comma after the word “Scheme”

p61, line 2 : change symbol PI into “body”

p63, middle of page : add open parenthesis before lambda (x) (... x))

Typos chapter 3

p74, section 3.1.1 : “this facts makes” should be read as “this fact makes”

p82, last paragraph, 1st sentence : change “it dynamic extent” into “its dynamic extent”

p94, lines 8,9 : of the example computation, replace argument-cont () by argument-cont (bar)

p97 : the first method (define-method (resume (k throw-cont) tag) ...) also appears on bottom of page 96.

p98 : the method (define-method (resume (k return-from-cont) v) ...) also appears a second time in the same page.

Typos chapter 4

p116, line 3 : Change “Compilations” into “Compilers”

p120, 1st paragraph, line 4 : Change “a the moment” into “at the moment”

p131, section 4.3.6, last paragraph : change boolify into type

Typos chapter 5

p147 : eighth line from the bottom. “the the” should just be “the”
p147 : fifth line from the bottom. “it” should be “its” in the phrase “whether it variants like meta-fact”

p150 : first equation : remove the French accent on “beta-réduction”

p155 : first equation, the French 'et' should be read as 'and'

p159 : lambda-calcul should be read as 'lambda-calculus'

p176 : ninth line (second line in the second full paragraph). There are two issues in the phrase "We simulate a call by value". I think the "a" should be dropped and "call by value" should be "call by name". The previous paragraph uses "call by name" correctly.

Typos chapter 6

p203 : second line. "excell" should be "excel"

Typos chapter 7

p261 : second line of the first paragraph. "struture" should be "structure"

Typos chapter 8

p286 : second paragraph under section 8.7. The sentence listing the three fundamental operations on first-class environments does not have punctuation between the last two operations : they run together. Insert a semi-colon before "extending"

Typos chapter 9

p311 : Missing letter : the first word of the text should be read as 'Ignored'

p343 : Remove 'will' from "Our solution will won't"

Typos chapter 11

p431 : six lines from the bottom. "errror" should be "error"

Typos Answers to Exercises

Exercise 1.5 : Since the stem asked for the < predicate, (defpredicate > > 2) should read as (defpredicate < < 2)

Other

Feel free to signal me other errors.

Badges

queinnec — 2018-01-11T09:40:09Z

Certaines formations peuvent donner lieu à des badges. C'est par exemple le cas du MOOC « Programmation récursive ».

Les badges délivrés par CodeGradX respectent la norme OpenBadge de Mozilla. Vous pouvez donc les stocker dans votre armorial personnel hébergé sur OpenBadges. Une fois là, vous pourrez les contempler et les partager.

Formes du badge

Les badges se présentent sous plusieurs formes :

Sur CodeGradX et dans votre tableau de chasse sont affichés les badges que vous détenez sous la forme d'images SVG incorporant une assertion authentifiant le récipiendaire du badge (il faut cependant regarder le source (XML) de ce fichier SVG pour le voir).
Si vous cliquez sur le bouton Stocker qui apparaît en dessous de vos badges, une assertion est envoyée vers le site OpenBadges auprès duquel vous devez être inscrit. L'assertion est un fichier JSON, c'est le texte qui apparaissait dans le SVG.
Si vous regardez le même badge dans votre besace hébergée sur OpenBadges, vous voyez une image PNG incluant également la même assertion authentifiant le récipiendaire du badge.

Publier son badge

Sur OpenBadges, une fois archivé votre badge, vous devez l'insérer dans une collection et rendre publique cette collection. Vous pouvez alors la partager sur différents réseaux sociaux.

Vous pouvez également afficher vos badges sur LinkedIn.

Achat d'ouvrages

queinnec — 2018-01-11T09:38:31Z

Un seul ouvrage est encore disponible : Principes d'Implantation de Lisp et Scheme chez Amazon Publishing Company en version imprimée ou e-book.

Lecture de code

queinnec — 2018-01-11T09:35:20Z

Modifier du code est l'activité principale des développeurs que ce soit leur propre code qu'il faut faire évoluer ou le code d'autres qu'il faut corriger. Mais pour modifier, étendre, corriger, il faut savoir lire du code !

Curieusement, l'informatique est une des rares disciplines où le déchiffrage d'oeuvres existantes est peu enseigné voire même peu encouragé car on ne demande aux apprenants que d'écrire de nouveaux programmes. Pourtant, les bonnes pratiques ne s'apprennent que par lecture, écriture et assimilation de multiples codes.

Ce cours vous propose d'étudier le code (libre) d'un interprète et d'un compilateur d'un langage moderne (avec fermetures, fonctions locales mutuellement récursives, exceptions, objets, classes, méthodes, etc.) d'une taille raisonnable (soit 10k lignes de Java associées à 2k lignes de C) et de modifier ce code afin d'améliorer ou d'étendre le langage interprété ou compilé.

Ainsi ce cours combine un entraînement à la lecture de code à la compréhension d'un interprète-compilateur écrit en Java8, produisant du C à partir d'un langage ressemblant à JavaScript mais dont la syntaxe concrète est XML.

Inscrivez-vous !

Devenir auteur

queinnec — 2018-01-11T09:31:01Z

Si vous pensez avoir un projet pour Paracamplus, lisez notre note aux auteurs et soumettez-nous votre projet !

Voici quelques ressources pour LaTeX qui peuvent vous aider à votre projet :

Introduction

queinnec — 2018-01-11T09:30:09Z

Depuis sa création, en 2005, Paracamplus a édité 7 ouvrages de cours et d'annales pour des enseignements d'informatique principalement délivrés à l'UPMC.

Mais aussi deux MOOC gratuits :

Se fondant sur des expériences pédagogiques pionnières débutées en 2002, Paracamplus a conçu et déployé, en 2008, l'infrastructure de notation automatisée de programmes nommée CodeGradX. Cette infrastructure a été arrêtée en 2020.

Programmation récursive

queinnec — 2018-01-11T09:29:09Z

Comme son nom l'indique, le MOOC « Programmation récursive » présente et décrit le concept intriguant de récursion. C'est un MOOC tout public, servant d'introduction à la science informatique et doté d'exercices progressifs à notation automatisée.

Une première session de ce MOOC s'est déroulée entre mars et mai 2014. Quelques vidéos décrivant les retours d'expérience sont disponibles en ligne.

Une seconde édition a vu le jour le 31 mars 2015 et s'est achevé courant juin 2015 avec un certain nombre de nouveautés.

Finalement, une édition permanente est maintenant en ligne. Vous trouverez donc

Bonnes récursions !

SARL Paracamplus

queinnec — 2018-01-11T09:28:05Z

Ce site est la propriété de la SARL Paracamplus. Le directeur de publication de ce site est Christian Queinnec.

Tous les textes, illustrations, images ou logos apparaissant sur ce site sont la propriété de la SARL Paracamplus et ne sauraient être utilisés sans son autorisation écrite.

La SARL Paracamplus ne saurait être tenue pour responsable des dommages qui pourraient résulter de l'accès ou du non-accès à son site et d'une quelconque utilisation des informations qui y sont présentées.

De même la SARL Paracamplus ne prend aucun engagement concernant les sites auxquels son site donne accès ; elle ne saurait, en particulier, être responsable de leur contenu. Par ailleurs les risques liés à l'utilisation de ces sites incombent pleinement à l'internaute.

Enfin, la SARL Paracamplus se réserve le droit de faire évoluer, sans préavis, le présent site et les présentes dispositions. Consultez-les régulièrement !

Hébergement

Ce site est hébergé en France par OVH,
2 rue Kellermann - 59100 Roubaix - France.

Informatique et liberté

Ce site a été déclaré auprès de la CNIL (déclaration 1135340).

Les informations recueillies font l'objet d'un traitement informatique destiné à promouvoir nos produits et à apprécier le nombre de personnes intéressées. La SARL Paracamplus met à disposition du public l'infrastructure de notation automatisée de programmes informatiques nommée CodeGradX au sein d'un site dédié. Des conditions d'usage plus spécifiques y sont requises.

La SARL Paracamplus est la destinataire exclusive des données collectées. Nous nous engageons à ne pas céder vos coordonnées à autrui ni à vous envoyer des courriels indésirés.

Conformément à la loi « informatique et libertés » du 6 janvier 1978, vous bénéficiez d'un droit d'accès et de rectification aux informations qui vous concernent. Si vous souhaitez exercer ce droit et obtenir communication des informations vous concernant, veuillez nous prévenir par courriel. Vous pouvez également, pour des motifs légitimes, vous opposer au traitement des données vous concernant.

Renseignements administratifs

SARL Paracamplus
Capital social : 1000 Euros
Siège social : 7, rue Viollet-le-Duc, 75009 Paris, France
Mél : contact ARROBAS paracamplus POINT com
Banque : Crédit Mutuel, 13 rue des Abbesses, 75018 Paris
RCS : B 484 464 474 (Paris)
SIRET : 484 464 474 00010
TVA intracommunautaire : FR45484464474
APE : 221J

Fabrication

queinnec — 2018-01-11T09:27:07Z

La commercialisation d'un ouvrage dépend de multiples facteurs : la taille physique, le nombre de pages, la nature des illustrations, le nombre d'exemplaires tirés et le nombre d'invendus. Ces derniers paramètres sont les plus importants : plus le nombre d'exemplaires imprimés est grand et plus le prix à l'unité décroît. En revanche, plus il y a d'invendus et plus le prix par unité vendue doit augmenter pour compenser cette perte.

Le coût d'impression d'un ouvrage a une partie fixe (qui correspond aux frais de réglage des machines utilisées) auquel s'ajoute un coût proportionnel au nombre d'exemplaires imprimés.

Bref, pour un ouvrage donné, l'optimal est :

que vous soyez nombreux à l'acheter (disons au moins une centaine),
de n'imprimer que le nombre d'exemplaires qui sera vendu,
enfin, d'imprimer en une seule et unique fois.

Seuls les deux derniers critères sont partiellement contrôlables. Comme il s'agit d'ouvrages universitaires qui correspondent à de petites séries, restreintes à une unique université, dotées de plus d'une durée de vie très courte : un semestre, il est conforme à l'éthique de Paracamplus de chercher à optimiser les coûts de production de manière à vous procurer les meilleurs prix finaux.