Discussion :

[elishac]

Bonjour,

peut-on me réexpliquer comment on fait 4294967295+2 en caml light s'il vous plait?
Je croyais qu'il fallait faire

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
#open "num";;
Int (4294967295) +/ Int 2;;

, mais ça ne marche pas, et si je remplace "Int" par "Big_int" ça marche encore moins...

[Cacophrene]

Salut !

Il faut d'abord utiliser #load "nums.cma" pour charger la bibliothèque dans le toplevel. Ensuite, tu peux ouvrir le module Num avec open Num;;

La commande #open "fichier.ml" sert uniquement à charger un fichier contenant du code source.

Résumé général des commandes qui commencent par un dièse :

#load "lib.cma/file.cmo";; Charge une bibliothèque, un fichier compilé.
#open "file.ml";; Charge des définitions à partir d'un fichier .ml.
#quit;; Quitte le toplevel.
et quelques autres inutiles ici.

Cordialement,
Cacophrène

PS : je dis ça en me basant sur OCaml. Je présume que c'est pareil sous Caml-Light.

[SpiceGuid]

L'addition sur grand nombres c'est l'opérateur +/ comme tu l'as fait sauf que:

• il faut parenthéser correctement
• 4294967295 est trop grand pour être un int valide

Code Caml Light :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
# #open "num";;
# (num_of_string "4294967295") +/ (Int 2);;
- : num = 4294967297

@Cacophrene
Les commandes top-level en Caml-Light sont ressemblantes mais pas identiques, d'ailleurs la plupart ne sont pas des commandes mais des fonctions → unit.

[Cacophrene]

Salut !

Les commandes top-level en Caml-Light sont ressemblantes mais pas identiques, d'ailleurs la plupart ne sont pas des commandes mais des fonctions → unit.

OK c'est bon à savoir et ça confirme ce que je pense de caml-light.

Cordialement,
Cacophrène

[alex_pi]

Vivement que les prépas passent à OCaml pour de bon... Ce sont bien les derniers à se servir du light !

[SpiceGuid]

et quand est-ce qu'on se sert de Big_int (ou de ratio) alors ?

Pour seulement construire des valeurs tu ne dois utiliser que les types int, string et les fonctions coercions between numerical types.

Code Caml-Light :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
# #open "num";;
# (num_of_string "4294967295") +/ (num_of_int 2);;
- : num = 4294967297

On peut créer un num rationnel à l'aide de num_of_string :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
# num_of_string "-2/3";;
- : num = -2/3

Les constructeurs Int, Big_int et Ratio peuvent servir pour créer de nouvelles opérations.
Par exemple une valeur absolue de type ratio → ratio :

Code Caml-Light :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
 
let abs_ratio q =
  ratio_of_num (abs_num (Ratio q));;

Mais si tu n'utilise que les opérations standards tu n'as pas besoin de Int, Big_int ou Ratio.

[Garulfo]

Vivement que les prépas passent à OCaml pour de bon... Ce sont bien les derniers à se servir du light !

Mais ce que je ne comprends pas, c'est pourquoi ne pas demander à son prof plutôt que venir ici ? J'ai volontairement esquivé la prépa, mais que ça ait été au secondaire ou à l'université (française) tous mes profs répondaient à mes question. C'est le genre de truc qu'il devrait enseigner non ?

Timidité de la part d'elishac ? C'est de la timidité mal placé alors.

[alex_pi]

Mais ce que je ne comprends pas, c'est pourquoi ne pas demander à son prof plutôt que venir ici ?

En même temps, c'est pas vraiment le choix du prof hein... C4est le programme qui est comme ça. Le choix se fait entre Pascal et CamlLight. Donc râler contre CamlLight revient à demander Pascal :p

[Garulfo]

En même temps, c'est pas vraiment le choix du prof hein... C4est le programme qui est comme ça. Le choix se fait entre Pascal et CamlLight. Donc râler contre CamlLight revient à demander Pascal :p

LOL ce n'est pas ce que je voulais dire.
Il me semble que le prof est quand même capable de répondre à ce genre de question. Venir demander ici c'est plus long que de lui demander directement.

En tout cas…

Sinon j'ai toujours adoré Pascal et je l'enseignerais volontiers au dépend du C++ -_-

[InOCamlWeTrust]

En même temps, c'est pas vraiment le choix du prof hein... C4est le programme qui est comme ça.

Tant qu'on aura un certain abruti au ministère, que je ne nomerai pas et qui n'a toujours pas compris que l'informatique compte de plus en plus dans le travail quotidien d'un ingénieur, on ne passera pas à Caml Light.

Pourquoi ?

Parce que !

Concernant le choix, je verrais bien l'apprentissage de Caml et de Fortran obligatoires, même en prépa.

[alex_pi]

Concernant le choix, je verrais bien l'apprentissage de Caml et de Fortran obligatoires, même en prépa.

De fortran ? Allez avoue, c'est juste pour troller

[Garulfo]

De fortran ? Allez avoue, c'est juste pour troller

Pour un ingénieur, ce n'est pas idiot d'apprendre Fortran. Certes le langage a pris un coup de vieux, mais il est toujours utilisé dans de très nombreuses applications dédiés au génie avec fort composante numérique.

[alex_pi]

Pour un ingénieur, ce n'est pas idiot d'apprendre Fortran. Certes le langage a pris un coup de vieux, mais il est toujours utilisé dans de très nombreuses applications dédiés au génie avec fort composante numérique.

Alors déjà, je rappelle que le but de la prépa n'est pas de former des ingénieurs, mais de former des gens à être formé à être des ingénieurs

Ensuite COBOL est lui même énormément utilisé, donc on le pousse aussi sur la pile ?
Le choix d'un enseignement en prépa doit se faire pour ses vertus pédagogique, pas pour ses applications pratiques. Et honnêtement, de l'expérience des gens autour de moi, enseigner Fortran est un très bon moyen pour dégouter tout le monde de l'informatique et en particulier de la programmation.

[gorgonite]

Le choix d'un enseignement en prépa doit se faire pour ses vertus pédagogique, pas pour ses applications pratiques.

je doute que ce soit la raison du choix de caml light

[alex_pi]

je doute que ce soit la raison du choix de caml light

Pourquoi pas ? Pourquoi un langage fonctionnel avec types algébriques n'est pas un choix pédagogique ? C'est clairement pas un choix poussé par des raisons industrielles pourtant

C'est justement le fait qu'il soit très orienté "top-level", avec une boucle interactive potable (pas comme celle de base d'OCaml) qui en fait un choix "pédagogique". Après, je serais partisan de passer à OCaml, histoire de montrer aux élèves que ce n'est pas que un jouet, mais il faudrait d'abord être capable de proposer des solutions vraiment simples aux élèves, parce que pour beaucoup, l'informatique n'est pas un vrai choix, et les noyer sous des problèmes de compilation, de link, ou que sais-je, n'est peut être pas le meilleur moyen de débuter.

Bon, on s'éloigne quand même sérieusement du sujet initiale là

[SpiceGuid]

Il faut garder à l'esprit que quelque soit le langage il fera forcément des dégoutés. Caml-Light dégoute nombre de débutants qui auraient pu trouver leur bonheur avec un langage à typage dynamique. OCaml dégoute bon nombre de programmeurs POO qui ne voient les choses que du mauvais côté (paradigme exotique, messages d'erreur abscons). Coq dégoute les mathématiciens. PHP dégoute les plus soigneux. Java dégoute les plus "agiles". Pascal dégoute les programmeurs C et vice-versa. En résume un langage peut être propre tout en étant dégoutant.

Et même sans parler des dégoutés, il n'existe pas le mouton à 5 pattes qui :

• permet une bonne approche algorithmique
• permet toutes les opérations de bas niveau
  

  People who are more than casually interested in computers should have at least some idea of what the underlying hardware is like. Otherwise the programs they write will be pretty weird.

• offre de large débouchés sur le marché de l'emploi

La règle d'or à mon avis c'est surtout de ne pas changer de langage à chaque année du cursus.

[InOCamlWeTrust]

C'est très joli ce que tu dis-là, alex_pi, mais honnêtement, lorsque l'on parle de Caml Light il faut comprendre Caml Light !

1- Les élèves en prépa sont, sauf preuve contraire, de futurs ingénieurs. Les choses évoluant, les ingénieurs d'aujourd'hui, quelle que soit leur discipline, ne font que de l'informatique. Certains utilisent des logiciels de calcul de mécanique de fluides et font quelques applications numériques MATLAB que leur super environnement à [mettre montant avec six zéros] EUR ne peut pas faire. D'autres programment de tous petits drivers pour ports I2C tournant sur PICs, ou encore calculent des rayonnements électromagnétiques à l'aide de [mettre outil ou langage de calcul ici]. D'autres passent leur temps à faire des scripts de configuration réseau. Enfin, les derniers font les programmes utilisés par tout ce beau monde... ainsi que les outils nécessaires aux informaticiens pour programmer les logiciels utilisés par leur confrères hydroliciens, électroniciens, électriciens ou ingénieurs télécom !

Compiler, linker, lire une doc en anglais, modifier un programme écrit par un inconnu, implanter un algorithme d'algèbre linéaire ou encore utiliser des mailleurs est devenue la principale composante du métier d'ingénieur. Plutôt qu'enseigner de la SI, les prépas feraient mieux de préparer les élèves à leur métier, celui de la vraie vie. Et ce choix ne devrait pas être arrêté par une personne détestant ouvertement et sans scrupules mathématiciens et informaticiens.

2- Si Caml Light est toujours utilisé, c'est justement à cause de son côté merdique ! Il est ainsi plus facile de porter le discrédit sur une discipline (voir 1-) si on impose soi-même des outils et un langage complètement dépassés et inutilisables concrètement, et dont la dernière mise à jour doit dater de 2002, je crois.

Imposer un langage fonctionnel, c'est très bien. Mais je pense qu'il serait également intéressant d'imposer un langage purement impératif (C ne l'est pas) comme FORTRAN 77 qui oblige le programmeur à ne penser qu'en impératif et à consciencieusement gérer sa mémoire, ses boucles et indices et ses Segfault.

[gasche]

InOCamlWeTrust : il y a visiblement des sous-entendus de ton post que je ne comprends pas (personne détestant ouvertement ... ?). Si tu veux expliquer pourquoi des gens veulent volontairement discréditer ce domaine, tu devrais être plus explicite.

Ce que je peux dire par contre c'est que :

- je ne pense pas que conserver Caml Light en prépa soit issu d'une stratégie volontaire, mais uniquement d'une sorte de paresse; la plupart des professeurs d'info en prépa sont avant tout des profs de maths, et ils utilisent pour la programmation les outils dont ils ont l'habitude. Le coût du changement vers Objective Caml (d'habitudes, d'outils dans les salles infos, des modifications syntaxiques dan sle poly, etc.) est supérieur aux bénéfices qu'ils en retireraient, puisque ils continueraient de toute façon à enseigner le sous-ensemble commun des deux langages

- les élèves de prépa n'ont tout simplement pas le temps de s'investir dans l'info. Acquérir des bases dans un langage jouet, 4 heures par semaine, c'est acceptable, mais si tu espères leur faire véritablement apprendre à programmer, tu fonces vers de grandes désillusions. Ils n'ont surtout pas envie d'apprendre à gérer la mémoire ou des concepts bas niveau, et préfèrent un langage plus proche des mathématiques (à raison, à mon humble avis), qui leur demande moins d'efforts conceptuels.

[Cacophrene]

Salut !

Sans compter que, sauf erreur de ma part, les classes préparatoires, comme leur nom l'indique, préparent aux grandes écoles (CPGE), ou plutôt au concours des grandes écoles. Elles ont donc tout intérêt à faire faire beaucoup de maths/physique (MPSI), de physique/chimie (PCSI), etc. plutôt que beaucoup d'info, même si c'est la discipline qui prédomine dans la vraie vie quand on est ingénieur. Enfin, moi j'dis ça, j'dis rien.

Cordialement,
Cacophrène

[InOCamlWeTrust]

Pour les sous-entendus, c'en ne sont pas. La paresse, c'est celle de ne pas changer Caml Light par Objective Caml dans les textes de programmes. Comme vous le dites, passer de l'un à l'autre, même pour les profs, ce n'est vraiment pas la mer à boire. Je ne peux tout simplement pas donner de nom. Mais la personne en question oeuvre réellement dans cet esprit. SI vs Info. Dans son esprit, le choix est clair. D'ailleurs, il s'agit du l'instigateur de la filière PSI...

A titre d'exemple, l'X et les ENS aimeraient, et réclament depuis longtemps, une filière maths/info. Mais les personnes citées ici n'en veulent pas et préfèrent condamner 80% des étudiants à calculer des matrices d'inertie et des codes de Gray... choses dont ils ne se serviront très probablement jamais étant donné l'évolution du métier.