Quelques notes à ce sujet.
Afficher le type des objets lors de l'édition
Une fonctionnalité indispensable pour moi est de pouvoir
visualiser les types des données dans l'éditeur.
Après avoir utilisé quelques temps un petit programme nommé annot
,
j’ai du écrire ma propre version ocamlannot
à la suite d’un changement de version.
Maintenant, j’utilise merlin qui fait ça, et plein d’autres choses en plus.
Passer du .ml au .mli et inversement
Voir dans cette note sur vim.
Construire et “customiser” un toplevel
Voir cet exemple.
Ajouter ses propres commandes C/C++ à l’interpréteur
Il y a très longtemps, j’avais fait ce petit tutorial, mais il est très probablement obsolète maintenant !
Voir aussi :
- Fonctions de log en ocaml
- Scripts en ocaml
- Ocaml: module Format et autres
- Ocaml pour lire un fichier XML
- Filtrage de fichiers avec ocaml
- js-of-ocaml: des pages web en ocaml
- Ocamlmerlin sous vim
- Les outils que j'utilise
- Perl pour faire des scripts efficaces
- C language and GCC compiler
- Filter with ocamlgraph
- Ocamlgraph visualization
- Bash : pour écrire des scripts
Table des matières
Tags
ack
acronymes
analyse_statique
android
apt-get
awk
bash
bits
boot
c
checksum
coq
couleurs
css
csv
cut
dessin
diff
disque
docbook
docker
documentation
dokuwiki
dot
développement
fenêtres
firefox
frama-c
fstab
ftp
gcc
gestion_de_projet
gestion_de_version
git
graph
graphe
grep
grub
gzip
heredoc
htaccess-réseau
html
ide
ikiwiki
imagemagick
images
imprimer
ip
jenkins
js-of-ocaml
langage
latex
linux
make
mercurial
merlin
nvidia
ocaml
ocamlfind
ocamlgraph
orthographe
outil
parallel
path
pdf
perl
pgp
preuve_formelle
regexp
réseau
script
sed
sphinx
sqlite
ssh
sudo
svg
svn
syncbox
syntastic
systeme
système
tableurs
tcp-ip
texte
thunderbird
tikz
time
trac
txt2tags
ubuntu
unix
usb
utf-8
vim
virtualbox
virtualisation
vnc
web
windows
xfce
xkcd
xml
xmlstarlet
xmodmap
xsd
xslt
xubuntu
zcat
zenity
éditeur
émoticône
Dernières notes
- Afficher un pourcentage dans une page HTML
- VNC : Virtual Network Computing
- Git : déménagement d'un dépôt
- Quelques liens au sujet de l'analyse statique
- Ocaml: mon principal langage de développement
- Disque dur externe
- Les profiles dans Firefox
- Cryptographie et mail sous Android
- Quelques liens au sujet du C
- Git rebase : pour diviser un commit