Forum Programmation.autre [OCaml] Problème de type avec les modules

Posté par  . Licence CC By‑SA.
Étiquettes : aucune
0
23
fév.
2013

Bonjour à tous, j’apprends OCaml et je galère un peu avec les modules et les interfaces, par exemple, voyez ce petit bout de code :

module type Ai =
  sig
    type a
    type b
    val f : b -> a
  end

module A = functor (S:Set.S) ->
  struct
    type a = S.t (* le champ t d'un module Set est le type de l'ensemble, cf http://caml.inria.fr/pub/docs/manual-ocaml-312/libref/Set.html *)
    type b = S.
(…)

Forum Programmation.autre retrouver un post sur les forums qui critiquent le code

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes : aucune
5
23
fév.
2013

Ave

Il me semble avoir lu il n'y a pas très longtemps (dans un forum ou un journal) un post qui parlait de poser son code sur un site, et des personnes donnaient des conseils pour l'améliorer.

Mais impossible de le retrouver.

Une âme charitable s'en souviendrait ?

J'ai relu tous les journaux et forums depuis 2 mois sans rien retrouver.

Merci

Forum Programmation.autre Quel langage de programmation pour développer des jeux amateurs ?

Posté par  (site web personnel) . Licence CC By‑SA.
5
22
fév.
2013

Salut, depuis quelques semaines je n'arrête pas de réfléchir sur quel langage de programmation serait idéal pour développer des jeux sur Linux et exclusivement sur Linux. Je me moque de la portabilité, ma principale motivation c'est de sortir des jeux pour Linux. La logique voudrait que je continue de programmer des jeux avec MonoDevelop et MonoGame mais je ne sais pas si c'est une bonne chose puisque le tout repose sur une technologie Microsoft breveté. C'est dommage, car j'aime le (…)

Forum Programmation.autre Question mercurial/svn

Posté par  . Licence CC By‑SA.
Étiquettes : aucune
5
19
fév.
2013

Bonjour,
j'utilise depuis quelque-temps mercurial pour versionner mon code au boulot, et j'en suis très content (bien que je sois plutôt débutant).
Malheureusement, je travail dans un environnement hostile : tout le monde tourne sous svn…

Je suis donc à la recherche d'un mode d'organisation me permettant d'interagir au mieux avec notre serveur subversion. Mon plus gros problème vient du fait que nous avons plusieurs librairies sous un même dépôt svn:

Depôt
|- Librairie1
|- Librairie2
|- Librairie3

J'ai essayé (…)

Forum Programmation.autre Liberation d'une application Android

Posté par  . Licence CC By‑SA.
Étiquettes :
5
19
fév.
2013

Salut à tous,

J'ai sur mon disque dur une application maison Android qui dort. Je me dis qu'il serait bien qu'elle prenne l'air et que je la libère. Tout d'abord une description, il s’agit d'un simple réveil avec 2 fonctions originales qui me tiennent à cœur :

  • "encore 5 minutes", pour gagner 5 minutes de sommeil il suffit de retourner le téléphone sur la table de nuit

  • "Tais toi" pour éteindre complètement l'alarme il suffit de secouer le téléphone.

Avantage :

Pas (…)

Forum Programmation.autre débutant cherche piste pour apprendre a faire de petite gui

Posté par  . Licence CC By‑SA.
Étiquettes :
10
6
fév.
2013

Que conseillerai vous pour réaliser des applis graphiques ?

Le toolkit m'importe peu, et le langage dessous aussi. Je serai débutant dans tous les langages sauf le shell. Mes seuls contraintes sont de pouvoir l'utiliser "simplement" sous debian stable et que ces applis seront bien souvent des lanceurs (déclanchement d'un rsync ou d'un lftp mirror par exemple, avec récupération du compte rendu d'exécution, un front-end quoi.

Le but étant donc de réaliser de simple applis cliclic. rien de professionnel, juste un (…)

Forum Programmation.autre Utiliser git+ssh et sudo en utilisant sa clé à soi !

Posté par  . Licence CC By‑SA.
Étiquettes :
2
22
jan.
2013

Avec mon collègue nous avons des environnements de test que nous utilisons tour à tour. Cet environnement est éventuellement chez un utilisateur demo (par exemple) avec un groupe demo auquel nous appartenons tous les deux.

Le problème est que pour faire les mises à jour avec git, il faut posséder le dépôt (le dossier .git) car git est un peu exclusif sur les permissions de certains fichiers là dedans (lors des push et pull en tout cas). Donc (…)

Forum Programmation.autre Boucle for en LaTeX

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
0
22
déc.
2012

Bonsoir,

J’aimerais faire en LaTeX ce que l’on écrirait en bash comme suit :

for file in /repertoire/*
do \include{$file}  # Oui je fais exprès de mélanger la syntaxe de bash et de LaTeX.
done

J’ai bien trouvé dans la doc comment faire une boucle for avec un compteur, mais pas comment faire ça avec des fichiers.

Je tiens à préciser que je suis plus que novice en programmation, je n’ai peut-être pas choisi la boucle qui se prête le mieux (…)

Forum Programmation.autre LOGO pour android

Posté par  . Licence CC By‑SA.
6
20
déc.
2012

Bonjour

Tout est dans le titre ! Je cherche une application de langage LOGO pour Android, pour initier des enfants (<10 ans) à la programmation. Il utilise déjà le LOGO sur pc (http://www.tortue-logo.fr/fr/tortue-logo) et je cherche un programme similaire.
Des idées ???

Forum Programmation.autre Requêtes SQL

Posté par  .
Étiquettes : aucune
0
21
nov.
2012

Bonjour,

Je travaille sous PostgreSQL, avec une quantitée de données importante dans une table consituée des colonnes suivantes :

id : clé primaire
timestamp : timestamp d'enregistrement de la valeur
status : un code erreur, qui varie de 0 à 10
valeur : une valeur qui varie de 0 à 100

La première requête concerne la colonne status.
Il s'agit de renvoyer le nombre d'occurence trouvé dans la table pour chaque status. Exemple :

[ n° du status ] [ (…)

Forum Programmation.autre sed et pattern

Posté par  (site web personnel) .
Étiquettes :
0
3
nov.
2012

Bonjour,
Je cherche à isoler dans une ligne un motif du style 0000:0000
Où suis-je dans l'erreur quand j'utilise la commande qui suit ?

echo dds[0000]:fhers[080e:0780]dfsgdg |sed 's/^*\[\([0-9a-f][0-9a-f][0-9a-f][0-9a-f]:[0-9a-f][0-9a-f][0-9a-f][0-9a-f]\)]*$/\1/'

Sachant que

echo dds[0000]:fhers[080e:0780]dfsgdg|sed 's/\[\([0-9a-f][0-9a-f][0-9a-f][0-9a-f]:[0-9a-f][0-9a-f][0-9a-f][0-9a-f]\)]//'

efface comme escompté le motif …

Forum Programmation.autre Poetric ou Poésique

Posté par  (site web personnel) .
Étiquettes : aucune
3
29
oct.
2012

Hello les moules !
En pleine (re)découverte de Code Complete, de The Pragmatic Programmer et autre Clean Code, je me pose la question de l'artisanat, du travail bien fait, de la bonne façon de faire. Si le code est un langage à part entière (ah deux linguiste viennent de trépasser …), le travail sur le code, le refactoring constant pour rendre beau, c'est de la poésie, non ? Some poetric in english ou de la poésique en français ?

Forum Programmation.autre unicode : b en exposant [résolu]

Posté par  (site web personnel) .
Étiquettes :
1
28
oct.
2012

Bonjour,
je cherche le code unicode correspondant à un b (minuscule) en exposant, un peu comme ² (deux en exposant). La liste officielle ne me permet de trouver ce que je cherche.

En passant, dites-moi si ce genre de question est hors-sujet par rapport au forum de Linuxfr.org.

Merci d'avance !

** PS : toutes mes excuse, la liste à consulter est plutôt celle-ci : mon caractère est le 1D47. Désolé pour le flood !

Forum Programmation.autre exercices donnés au codinggame n°2

Posté par  (site web personnel) .
Étiquettes :
5
26
oct.
2012

Bonjour à tous, j'ai participé hier au codinggame n°2 avec Python. Mon résultat est franchement médiocre (82e, mes algorithmes étaient corrects mais trop lent pour satisfaire les derniers tests) et j'aimerais savoir comment résoudre le troisième problème donné en un temps acceptable (je crois avoir trouvé depuis une solution rapide au n°2).

Si certains sont intéressés je peux donner mes solutions pour les deux premiers problèmes.

PS :
les trois questions :
http://www.codingame.com/challenge2_question1
http://www.codingame.com/challenge2_question2
http://www.codingame.com/challenge2_question3

Forum Programmation.autre Paradigme fonctionnel : juste un habillage ?

Posté par  (site web personnel) .
Étiquettes : aucune
3
26
oct.
2012

Bonjour à tous,

Je suis en train de m'essayer au fonctionnel, en ce moment ocaml. Mais ma question n'est pas sur le langage mais sur la manière de construire du code fonctionnel. Je soumet ici un bout de code que j'ai fait pour tester qui permet de formater du texte en spécifiant la largeur maximale de chaque ligne :

(** Une simple fonction de sortie *)
let printer text =
  print_endline text;;

(** Formateur de texte qui va réécrire
(…)

Forum Programmation.autre Quel langage pour initier un enfant de 10 ans à la programmation

Posté par  .
Étiquettes : aucune
12
17
oct.
2012

Bonjour,

Ma fille (suite à un cours de techno sur les ordinateurs) souhaiterait apprendre quelques rudiments de programmation. Et aussi comprendre un peu mieux comment fonctionne un ordinateur.
Elle nous a demandé de lui apprendre à programmer. (nous = ses parents)
Problème : quel langage?
Nous avons exclu tout de suite le C, le Perl, le Java ;)
Plus généralement, son père penche pour un langage procédural (type Pascal ou Basic), mais lequel?
Moi plutôt pour un langage fonctionnel (Logo?), qui (…)

Forum Programmation.autre Forker un projet et le maintenir à jour

Posté par  .
Étiquettes :
2
16
oct.
2012

Bonjour à tous,

Mon premier message sur ce site que je suis depuis pas mal de temps (sans pour autant m'être inscrit).

Ma question est relativement simple mais n'ayant pas d'antécédents en gestion de projet, j'ai pensé que le meilleur endroit pour poser cette question serait sûrement ici :)

Prenons un cas concret : Il y a un projet qui m'intéresse (nommément, pywebsocket) et qui est une mise en oeuvre de WebSocket (client et serveur) en python, considérée comme (…)

Forum Programmation.autre Encodage fichier

Posté par  .
Étiquettes :
2
11
oct.
2012

Bonjour,

Dans le but de m'occuper un peu, j'aimerais écrire un lecteur de fichier vce. C'est un format de fichier utilisé pour créer des tests d'examen à base de QCM souvent. C'est surtout connu dans le milieu des certifictions constructeur il me semble (genre Cisco). Il y en a plein ici : http://www.examcollection.com/.

Le problème est que ce format n'est pas documenté et n'est pas facilement lisible…
hexdump, string et autre ne m'ont rien donnée.

Rien a part la (…)

Forum Programmation.autre Comment faire ... en LaTeX ?

Posté par  .
Étiquettes : aucune
1
20
sept.
2012

Bonjour,
je suis un apprenti latexiens, et je suis tres fier de l'etre, car je viens de decouvrir un outil que je trouve formidable.

Donc c'est un post avec plusieurs questions qui espere au moins avoir des retours de liens, ou des elements de reponses.
-- deja si vous connaisseriez un bon forum sur latex, et en francais; je serai deja ravi.

Commencons (Encore problemes d'accents et autres, desole).
J'ai appris qu'on pouvait faire de la traduction, et faire d'un (…)

Forum Programmation.autre gdb dans emacs

Posté par  .
Étiquettes : aucune
0
15
sept.
2012

Bonjour à tous,

L'intégration de gdb dans emacs est plutôt chouette, cependant il y a deux détails qui me gênent concernant l'affichage des arguments des fonctions.

Dans emacs 23, le buffer stack affiche les arguments des fonctions, mais pas dans emacs 24. Est-ce qu'il est possible de retrouver ce comportement ? Le manuel est plutôt laconique. Il y a une option pour l'afficher ou non dans le buffer threads.

deux bouts du buffer stack

dans emacs 23 :
0  main
(…)