Contenu | Rechercher | Menus

Annonce

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#1 Le 19/10/2016, à 22:53

wallace27

Editeur haskell Ubuntu

Bonjour,

Existe-t-il un éditeur Haskell capable de souligner mes erreurs de syntaxes pendant que je tape le code ?

Merci pour votre aide.

Hors ligne

#2 Le 20/10/2016, à 01:32

DonutMan75

Re : Editeur haskell Ubuntu

Bonsoir Wallace,
je ne sais pas si je réponds à ta question mais il existe des plugins pour gedit pour la coloration syntaxique liée à Haskell.
Voir par exemple ici : https://mail.haskell.org/pipermail/hask … 87650.html

Sinon il existe apparemment des IDE dédiés Haskell : http://leksah.org/

Par curiosité, tu travailles sur quel genre de projets en Haskell ?

Bonne soirée,

D.

Hors ligne

#3 Le 20/10/2016, à 10:24

wallace27

Re : Editeur haskell Ubuntu

Bonjour, c'est dans le cadre d'une formation en informatique logiciels. Je suis en train d'essayer d'installer leksah, je viens même de terminer mais ne comprends pas comment le lancer. Voici comment j'ai procédé :

Préparation du dépaquetage de .../cabal-install_1.22.6.0-2_amd64.deb ...
Dépaquetage de cabal-install (1.22.6.0-2) ...
Paramétrage de cabal-install (1.22.6.0-2) ...
x@x:~$ cabal install regex-tdfa-text --ghc-options=-XFlexibleContexts
Config file path source is default config file.
Config file /home/x/.cabal/config not found.
Writing default configuration to /home/x/.cabal/config
Warning: The package list for 'hackage.haskell.org' does not exist. Run 'cabal
update' to download it.
cabal: There is no package named 'regex-tdfa-text'.
You may need to run 'cabal update' to get the latest list of available
packages.
x@x:~$ cabal update
Downloading the latest package list from hackage.haskell.org
x@x:~$ cabal install regex-tdfa-text --ghc-options=-XFlexibleContexts
Resolving dependencies...
Downloading mtl-2.2.1...
Downloading text-1.2.2.1...
Configuring text-1.2.2.1...
Configuring mtl-2.2.1...
Building mtl-2.2.1...
Building text-1.2.2.1...
Installed mtl-2.2.1
Downloading regex-base-0.93.2...
Configuring regex-base-0.93.2...
Building regex-base-0.93.2...
Installed regex-base-0.93.2
Installed text-1.2.2.1
Downloading parsec-3.1.11...
Configuring parsec-3.1.11...
Building parsec-3.1.11...
Installed parsec-3.1.11
Downloading regex-tdfa-1.2.2...
Configuring regex-tdfa-1.2.2...
Building regex-tdfa-1.2.2...
Installed regex-tdfa-1.2.2
Downloading regex-tdfa-text-1.0.0.3...
Configuring regex-tdfa-text-1.0.0.3...
Building regex-tdfa-text-1.0.0.3...
Installed regex-tdfa-text-1.0.0.3
x@x:~$ cabal install alex happy
Resolving dependencies...
Downloading happy-1.19.5...
Downloading hashable-1.2.4.0...
Configuring hashable-1.2.4.0...
Downloading primitive-0.6.1.0...
Configuring primitive-0.6.1.0...
Downloading random-1.1...
Building hashable-1.2.4.0...
Downloading transformers-compat-0.5.1.4...
Configuring happy-1.19.5...
Configuring random-1.1...
Building primitive-0.6.1.0...
Building random-1.1...
Configuring transformers-compat-0.5.1.4...
Building transformers-compat-0.5.1.4...
Installed hashable-1.2.4.0
Downloading unordered-containers-0.2.7.1...
Configuring unordered-containers-0.2.7.1...
Installed transformers-compat-0.5.1.4
Downloading tagged-0.8.5...
Building unordered-containers-0.2.7.1...
Installed primitive-0.6.1.0
Configuring tagged-0.8.5...
Building happy-1.19.5...
Building tagged-0.8.5...
Installed random-1.1
Downloading tf-random-0.5...
Configuring tf-random-0.5...
Building tf-random-0.5...
Installed tagged-0.8.5
Installed tf-random-0.5
Installed unordered-containers-0.2.7.1
Downloading semigroups-0.18.2...
Configuring semigroups-0.18.2...
Building semigroups-0.18.2...
Installed happy-1.19.5
Installed semigroups-0.18.2
Downloading QuickCheck-2.9.2...
Configuring QuickCheck-2.9.2...
Building QuickCheck-2.9.2...
Installed QuickCheck-2.9.2
Downloading alex-3.2.1...
Configuring alex-3.2.1...
Building alex-3.2.1...
Installed alex-3.2.1
x@x:~$ cabal install gtk2hs-buildtools
Resolving dependencies...
Downloading Cabal-1.24.0.0...
Downloading vector-0.11.0.0...
Configuring vector-0.11.0.0...
Building vector-0.11.0.0...
Configuring Cabal-1.24.0.0...
Building Cabal-1.24.0.0...
Installed vector-0.11.0.0
Downloading hashtables-1.2.1.0...
Configuring hashtables-1.2.1.0...
Building hashtables-1.2.1.0...
Installed hashtables-1.2.1.0
Warning: /tmp/pkgConf-Cabal-1.24.011015139291801979802.0: Unrecognized field
abi on line 69
Installed Cabal-1.24.0.0
Downloading gtk2hs-buildtools-0.13.2.1...
Configuring gtk2hs-buildtools-0.13.2.1...
Building gtk2hs-buildtools-0.13.2.1...
Installed gtk2hs-buildtools-0.13.2.1
x@x:~$ cabal install leksah
Resolving dependencies...
Downloading QuickCheck-2.8.2...
Downloading ansi-terminal-0.6.2.3...
Downloading base-compat-0.9.1...
Configuring QuickCheck-2.8.2...
Configuring ansi-terminal-0.6.2.3...
Downloading base-orphans-0.5.4...
Downloading binary-shared-0.8.3...
Configuring base-compat-0.9.1...
Configuring base-orphans-0.5.4...
Downloading blaze-builder-0.4.0.2...
Building QuickCheck-2.8.2...
Building ansi-terminal-0.6.2.3...
Building base-orphans-0.5.4...
Building base-compat-0.9.1...
Downloading clock-0.7.2...
Configuring blaze-builder-0.4.0.2...
Configuring binary-shared-0.8.3...
Downloading cmdargs-0.10.14...
Building blaze-builder-0.4.0.2...
Building binary-shared-0.8.3...
Configuring clock-0.7.2...
Downloading dlist-0.8.0.2...
Downloading executable-path-0.0.3...
Configuring cmdargs-0.10.14...
Building clock-0.7.2...
Downloading fail-4.9.0.0...
Downloading ghc-paths-0.1.0.9...
Building cmdargs-0.10.14...
Downloading ghcjs-codemirror-0.0.0.1...
Downloading haddock-library-1.2.1...
Installed base-compat-0.9.1
Configuring dlist-0.8.0.2...
Downloading haskell-lexer-1.0.1...
Downloading hscolour-1.24.1...
Downloading hxt-charproperties-9.2.0.1...
Building dlist-0.8.0.2...
Downloading mmorph-1.0.6...
Downloading network-2.6.3.1...
Downloading network-uri-2.6.1.0...
Downloading old-locale-1.0.0.7...
Configuring ghc-paths-0.1.0.9...
Installed ansi-terminal-0.6.2.3
Downloading parallel-3.2.1.0...
Downloading polyparse-1.12...
Configuring executable-path-0.0.3...
Installed clock-0.7.2
Downloading prelude-extras-0.4.0.3...
Configuring fail-4.9.0.0...
Installed blaze-builder-0.4.0.2
Downloading refact-0.3.0.2...
Installed dlist-0.8.0.2
Configuring haddock-library-1.2.1...
Building executable-path-0.0.3...
Downloading reflection-2.1.2...
Building fail-4.9.0.0...
Downloading scientific-0.3.4.9...
Building haddock-library-1.2.1...
Downloading split-0.2.3.1...
Downloading stm-2.4.4.1...
Configuring haskell-lexer-1.0.1...
Installed fail-4.9.0.0
Configuring mmorph-1.0.6...
Installed executable-path-0.0.3
Downloading strict-0.3.2...
Downloading syb-0.6...
Building haskell-lexer-1.0.1...
Building mmorph-1.0.6...
Downloading time-locale-compat-0.1.1.3...
Downloading utf8-string-1.0.1.1...
Downloading void-0.7.1...
Downloading zlib-0.6.1.1...
Downloading extra-1.5...
Downloading blaze-markup-0.7.1.0...
Configuring hscolour-1.24.1...
Installed mmorph-1.0.6
Building ghc-paths-0.1.0.9...
Building hscolour-1.24.1...
Configuring network-2.6.3.1...
Installed binary-shared-0.8.3
Configuring ghcjs-codemirror-0.0.0.1...
Installed ghc-paths-0.1.0.9
Configuring hxt-charproperties-9.2.0.1...
Installed base-orphans-0.5.4
Downloading distributive-0.5.0.2...
Building hxt-charproperties-9.2.0.1...
Building ghcjs-codemirror-0.0.0.1...
Configuring old-locale-1.0.0.7...
Installed QuickCheck-2.8.2
Configuring network-uri-2.6.1.0...
Installed ghcjs-codemirror-0.0.0.1
Building old-locale-1.0.0.7...
Building network-uri-2.6.1.0...
Configuring parallel-3.2.1.0...
Installed old-locale-1.0.0.7
Downloading old-time-1.1.0.3...
Building network-2.6.3.1...
Configuring polyparse-1.12...
Installed cmdargs-0.10.14
Building parallel-3.2.1.0...
Building polyparse-1.12...
Installed parallel-3.2.1.0
Configuring prelude-extras-0.4.0.3...
Building prelude-extras-0.4.0.3...
Configuring refact-0.3.0.2...
Installed haddock-library-1.2.1
Downloading haddock-api-2.16.1...
Building refact-0.3.0.2...
Configuring split-0.2.3.1...
Installed hscolour-1.24.1
Configuring reflection-2.1.2...
Building split-0.2.3.1...
Installed network-uri-2.6.1.0
Building reflection-2.1.2...
Configuring stm-2.4.4.1...
Installed hxt-charproperties-9.2.0.1
Downloading hxt-regex-xmlschema-9.2.0.3...
Downloading hxt-unicode-9.0.2.4...
Configuring scientific-0.3.4.9...
Installed prelude-extras-0.4.0.3
Configuring strict-0.3.2...
Installed split-0.2.3.1
Building stm-2.4.4.1...
Building scientific-0.3.4.9...
Configuring time-locale-compat-0.1.1.3...
Installed refact-0.3.0.2
Building strict-0.3.2...
Building time-locale-compat-0.1.1.3...
Configuring utf8-string-1.0.1.1...
Installed time-locale-compat-0.1.1.3
Configuring void-0.7.1...
Installed stm-2.4.4.1
Downloading StateVar-1.1.0.4...
Downloading async-2.1.0...
Downloading exceptions-0.8.3...
Configuring zlib-0.6.1.1...
Installed network-2.6.3.1
Building utf8-string-1.0.1.1...
Downloading transformers-base-0.4.4...
Building void-0.7.1...
Configuring syb-0.6...
Installed strict-0.3.2
Downloading HTTP-4000.3.3...
Building zlib-0.6.1.1...
Downloading hslogger-1.2.10...
Building syb-0.6...
Configuring distributive-0.5.0.2...
Installed void-0.7.1
Configuring blaze-markup-0.7.1.0...
Installed reflection-2.1.2
Building blaze-markup-0.7.1.0...
Configuring old-time-1.1.0.3...
Installed polyparse-1.12
Configuring extra-1.5...
Installed syb-0.6
Downloading uniplate-1.6.12...
Installed scientific-0.3.4.9
Downloading attoparsec-0.13.1.0...
Configuring haddock-api-2.16.1...
Configuring hxt-unicode-9.0.2.4...
Installed utf8-string-1.0.1.1
Downloading cairo-0.13.3.0...
Building extra-1.5...
Downloading glib-0.13.4.0...
Building distributive-0.5.0.2...
Building haddock-api-2.16.1...
Building old-time-1.1.0.3...
Building hxt-unicode-9.0.2.4...
Configuring hxt-regex-xmlschema-9.2.0.3...
Installed haskell-lexer-1.0.1
Downloading pretty-show-1.6.12...
Configuring StateVar-1.1.0.4...
Installed distributive-0.5.0.2
Building hxt-regex-xmlschema-9.2.0.3...
Building StateVar-1.1.0.4...
Configuring async-2.1.0...
Installed zlib-0.6.1.1
Configuring exceptions-0.8.3...
Installed extra-1.5
Building async-2.1.0...
Configuring transformers-base-0.4.4...
Installed StateVar-1.1.0.4
Downloading contravariant-1.4...
Configuring HTTP-4000.3.3...
Installed hxt-unicode-9.0.2.4
Building exceptions-0.8.3...
Building transformers-base-0.4.4...
Configuring hslogger-1.2.10...
Installed blaze-markup-0.7.1.0
Downloading blaze-html-0.8.1.2...
Building HTTP-4000.3.3...
Building hslogger-1.2.10...
Installed transformers-base-0.4.4
Downloading monad-control-1.0.1.0...
Configuring uniplate-1.6.12...
Configuring attoparsec-0.13.1.0...
Installed async-2.1.0
Downloading streaming-commons-0.1.16...
Configuring glib-0.13.4.0...
Installed old-time-1.1.0.3
Downloading cpphs-1.19.3...
Building uniplate-1.6.12...
Building attoparsec-0.13.1.0...
Configuring cairo-0.13.3.0...
Installed exceptions-0.8.3
Building glib-0.13.4.0...
Configuring pretty-show-1.6.12...
Installed hslogger-1.2.10
Building cairo-0.13.3.0...
Configuring contravariant-1.4...
Installed hxt-regex-xmlschema-9.2.0.3
Downloading hxt-9.3.1.16...
Building pretty-show-1.6.12...
Building contravariant-1.4...
Configuring blaze-html-0.8.1.2...
Installed contravariant-1.4
Downloading comonad-5...
Building blaze-html-0.8.1.2...
Installed pretty-show-1.6.12
Configuring monad-control-1.0.1.0...
Building monad-control-1.0.1.0...
Warning: /tmp/pkgConf-glib-0.13.45593010391395132002.0: Unrecognized field abi
on line 28
Configuring cpphs-1.19.3...
Installed glib-0.13.4.0
Downloading gio-0.13.3.0...
Configuring streaming-commons-0.1.16...
Installed HTTP-4000.3.3
Building cpphs-1.19.3...
Building streaming-commons-0.1.16...
Configuring hxt-9.3.1.16...
Installed uniplate-1.6.12
Configuring comonad-5...
Installed monad-control-1.0.1.0
Downloading lifted-base-0.2.3.8...
Building hxt-9.3.1.16...
Warning: /tmp/pkgConf-cairo-0.13.332829828570636429.0: Unrecognized field abi
on line 35
Configuring gio-0.13.3.0...
Installed cairo-0.13.3.0
Downloading pango-0.13.3.0...
Building gio-0.13.3.0...
Building comonad-5...
Configuring lifted-base-0.2.3.8...
Installed comonad-5
Downloading bifunctors-5.4.1...
Installed streaming-commons-0.1.16
Configuring bifunctors-5.4.1...
Building lifted-base-0.2.3.8...
Building bifunctors-5.4.1...
Configuring pango-0.13.3.0...
Installed lifted-base-0.2.3.8
Downloading resourcet-1.1.8...
Installed cpphs-1.19.3
Downloading haskell-src-exts-1.17.1...
Configuring resourcet-1.1.8...
Building resourcet-1.1.8...
Installed haddock-api-2.16.1
Configuring haskell-src-exts-1.17.1...
Building pango-0.13.3.0...
Building haskell-src-exts-1.17.1...
Installed blaze-html-0.8.1.2
Installed resourcet-1.1.8
Downloading conduit-1.2.8...
Configuring conduit-1.2.8...
Building conduit-1.2.8...
Installed bifunctors-5.4.1
Downloading profunctors-5.2...
Downloading semigroupoids-5.1...
Configuring profunctors-5.2...
Configuring semigroupoids-5.1...
Building profunctors-5.2...
Building semigroupoids-5.1...
Installed conduit-1.2.8
Warning: /tmp/pkgConf-gio-0.13.315051935121112720090.0: Unrecognized field abi
on line 33
Installed gio-0.13.3.0
Warning: /tmp/pkgConf-pango-0.13.317880144121106059479.0: Unrecognized field
abi on line 29
Installed pango-0.13.3.0
Downloading gtk3-0.14.5...
Configuring gtk3-0.14.5...
Installed attoparsec-0.13.1.0
Downloading aeson-1.0.2.0...
Downloading conduit-extra-1.1.13.3...
Downloading vado-0.0.7...
Configuring conduit-extra-1.1.13.3...
Configuring aeson-1.0.2.0...
Configuring vado-0.0.7...
Building aeson-1.0.2.0...
Building conduit-extra-1.1.13.3...
Building vado-0.0.7...
Installed profunctors-5.2
Building gtk3-0.14.5...
Installed semigroupoids-5.1
Downloading free-4.12.4...
Configuring free-4.12.4...
Building free-4.12.4...
Installed vado-0.0.7
Installed conduit-extra-1.1.13.3
Installed free-4.12.4
Downloading adjunctions-4.3...
Configuring adjunctions-4.3...
Building adjunctions-4.3...
Installed adjunctions-4.3
Downloading kan-extensions-5.0.1...
Configuring kan-extensions-5.0.1...
Building kan-extensions-5.0.1...
Installed kan-extensions-5.0.1
Downloading lens-4.13.2.1...
Configuring lens-4.13.2.1...
Building lens-4.13.2.1...
Installed hxt-9.3.1.16
Downloading vcswrapper-0.1.3...
Configuring vcswrapper-0.1.3...
Building vcswrapper-0.1.3...
Installed vcswrapper-0.1.3
Installed lens-4.13.2.1
Installed aeson-1.0.2.0
Downloading shakespeare-2.0.11.1...
Configuring shakespeare-2.0.11.1...
Building shakespeare-2.0.11.1...
Installed shakespeare-2.0.11.1
Warning: /tmp/pkgConf-gtk3-0.1410473722311707746139.5: Unrecognized field abi
on line 172
Installed gtk3-0.14.5
Downloading gtksourceview3-0.13.3.0...
Downloading ltk-0.15.0.5...
Configuring ltk-0.15.0.5...
Downloading vcsgui-0.1.3.0...
Configuring gtksourceview3-0.13.3.0...
Downloading webkitgtk3-0.14.2.0...
Building ltk-0.15.0.5...
Configuring webkitgtk3-0.14.2.0...
Configuring vcsgui-0.1.3.0...
Building vcsgui-0.1.3.0...
Building gtksourceview3-0.13.3.0...
Building webkitgtk3-0.14.2.0...
Installed ltk-0.15.0.5
Downloading leksah-server-0.15.2.0...
Configuring leksah-server-0.15.2.0...
Installed vcsgui-0.1.3.0
Warning: /tmp/pkgConf-gtksourceview3-0.13.38455632911066077375.0: Unrecognized
field abi on line 40
Building leksah-server-0.15.2.0...
Installed gtksourceview3-0.13.3.0
Installed haskell-src-exts-1.17.1
Downloading hlint-1.9.31...
Configuring hlint-1.9.31...
Building hlint-1.9.31...
Installed leksah-server-0.15.2.0
Installed hlint-1.9.31
Warning: /tmp/pkgConf-webkitgtk3-0.14.2765930931124311574.0: Unrecognized
field abi on line 176
Installed webkitgtk3-0.14.2.0
Downloading ghcjs-dom-0.2.4.0...
Downloading webkitgtk3-javascriptcore-0.13.2.0...
Configuring webkitgtk3-javascriptcore-0.13.2.0...
Configuring ghcjs-dom-0.2.4.0...
Building ghcjs-dom-0.2.4.0...
Building webkitgtk3-javascriptcore-0.13.2.0...
Warning: /tmp/pkgConf-webkitgtk3-javascriptcore-0.13.21941727088672032919.0:
Unrecognized field abi on line 19
Installed webkitgtk3-javascriptcore-0.13.2.0
Downloading jsaddle-0.3.0.3...
Configuring jsaddle-0.3.0.3...
Building jsaddle-0.3.0.3...
Installed jsaddle-0.3.0.3
Installed ghcjs-dom-0.2.4.0
Downloading leksah-0.15.2.0...
Configuring leksah-0.15.2.0...
Building leksah-0.15.2.0...
Installed leksah-0.15.2.0
x@x:~$ leksah
leksah : commande introuvable
x@x:~$ leksah
leksah : commande introuvable
x@x:~$ 

Hors ligne

#4 Le 20/10/2016, à 12:02

littlejohn75

Re : Editeur haskell Ubuntu

wallace27 a écrit :

Installed ghcjs-dom-0.2.4.0
Downloading leksah-0.15.2.0...
Configuring leksah-0.15.2.0...
Building leksah-0.15.2.0...
Installed leksah-0.15.2.0
x@x:~$ leksah
leksah : commande introuvable
x@x:~$

Je comprends que passer par les outils propres au langage Haskell et à l'écosystème associé  c'est intéressant pour se former, mais pour aller plus vite vous pouvez utiliser les paquets empaquetés par Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>.

fpetitjean@drlouis:~$ aptitude  search leksah
p   leksah                          - haskell editor - GHC interface
p   leksah:i386                     - haskell editor - GHC interface
p   leksah-server                   - haskell editor - GHC interface
p   leksah-server:i386              - haskell editor - GHC interface
p   libghc-leksah-server-dev        - haskell editor - GHC interface library
p   libghc-leksah-server-dev:i386   - haskell editor - GHC interface library
v   libghc-leksah-server-dev-0.12.1 -
v   libghc-leksah-server-dev-0.12.1 -
p   libghc-leksah-server-doc        - haskell editor - GHC interface library; do
fpetitjean@drlouis:~$ lsb_release -a
No LSB modules are available.
Distributor ID: Ubuntu
Description:    Ubuntu 14.04.5 LTS
Release:        14.04
Codename:       trusty
fpetitjean@drlouis:~$

extraits de

aptitude show leksah leksah-server | less
Package: leksah
...
Uncompressed Size: 42,7 M
...
Package: leksah-server
....
Uncompressed Size: 43,6 M

Cordialement,
Regards,
Mit freundlichen Grüßen,
مع  تحياتي الخالصة
---
F. Petitjean
Ingénieur civil du Génie Maritime.

« On ne perd pas son temps en aiguisant ses outils. »
    Proverbe français

Hors ligne