Re: Bug#696429: ITP: jhc -- a haskell compiler.
Hi, Am Freitag, den 21.12.2012, 08:21 +0900 schrieb Kiwamu Okabe: > Jhs is useful for me, now. > I am trying to rewrite NetBSD bootloader with Haskell. > > [..] Great, just checking :-) Greetings, Joachim -- Joachim "nomeata" Breitner Debian Developer nome...@debian.org | ICQ# 74513189 | GPG-Keyid: 4743206C JID: nome...@joachim-breitner.de | http://people.debian.org/~nomeata signature.asc Description: This is a digitally signed message part
Re: Bug#696429: ITP: jhc -- a haskell compiler.
Hi Joachim, On Fri, Dec 21, 2012 at 7:01 AM, Joachim Breitner wrote: > just wondering: Is jhc in a state where it is a useful tool (and not > “just” an interesting and worthwhile research undertaking)? How actively > is it maintained (last commit is 9 month ago)? Jhs is useful for me, now. I am trying to rewrite NetBSD bootloader with Haskell. https://gitorious.org/metasepi/netbsd-arafura/commit/5e6188b80bd9e51185ed04c2a3455f1039723552 GHC cannot it, because GHC produces BIG execute binary and has many depending on libraries. Please see below. $ cat Fib.hs fibonacci :: [Int] fibonacci = 1:1:zipWith (+) fibonacci (tail fibonacci) main :: IO () main = print $ take 40 fibonacci $ ghc -o Fib_ghc Fib.hs $ jhc -o Fib_jhc Fib.hs $ size Fib_ghc Fib_jhc textdata bss dec hex filename 705068 38536 46776 790380 c0f6c Fib_ghc 158081300 744 1785245bc Fib_jhc $ ldd Fib_ghc Fib_jhc Fib_ghc: linux-vdso.so.1 (0x7fff87bff000) libgmp.so.10 => /usr/lib/x86_64-linux-gnu/libgmp.so.10 (0x7f089412e000) libffi.so.5 => /usr/lib/x86_64-linux-gnu/libffi.so.5 (0x7f0893f21000) libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x7f0893c26000) librt.so.1 => /lib/x86_64-linux-gnu/librt.so.1 (0x7f0893a1e000) libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x7f089381a000) libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x7f0893471000) libpthread.so.0 => /lib/x86_64-linux-gnu/libpthread.so.0 (0x7f0893255000) /lib64/ld-linux-x86-64.so.2 (0x7f08943d5000) Fib_jhc: linux-vdso.so.1 (0x7fff179d5000) libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x7fc2a4193000) /lib64/ld-linux-x86-64.so.2 (0x7fc2a4573000) And jhc's -C option produces portable C language file. It's useful with custom RTS. Regards, -- Kiwamu Okabe -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/CAEvX6d=p8urpu0isthldbmbtpoy-kpkgusyb_o2qjneoman...@mail.gmail.com
Re: Bug#696429: ITP: jhc -- a haskell compiler.
Hi Kiwamu, Am Freitag, den 21.12.2012, 02:22 +0900 schrieb Kiwamu Okabe: > Package: wnpp > Severity: wishlist > Owner: Kiwamu Okabe > > * Package name: jhc > Version : 0.8.0~darcs20120314 > Upstream Author : John Meacham > * URL : http://repetae.net/computer/jhc/ > Vcs-Browser : http://anonscm.debian.org/gitweb/?p=collab-maint/jhc.git > * License : GPL2+ > Programming Lang: Haskell > Description : A haskell compiler > Jhc is a haskell compiler which aims to produce the most efficient > programs possible via whole program analysis and other optimizations. just wondering: Is jhc in a state where it is a useful tool (and not “just” an interesting and worthwhile research undertaking)? How actively is it maintained (last commit is 9 month ago)? Haskell-World is full of experiments that are great, but not really much used when packaged into a Debian package. Am Donnerstag, den 20.12.2012, 15:17 -0400 schrieb Joey Hess: > It'd be nice to have jhc in Debian though. Although the Haskell > "compiler" we really need, IMHO, is Fay. I agree that Fay is a great tool, but I’m not sure it is ready yet, not even supporting "let (x,y) = ...", let alone type classes. Too bad that they are not based on GHC core, that would make a lot of things easier. Also, the problem of how to distribute libraries for Fay is not solved yet. But of course: Please do remind me from time to time to reconsider, as Fay (or one of its competitors) evolves. Greetings, Joachim -- Joachim "nomeata" Breitner Debian Developer nome...@debian.org | ICQ# 74513189 | GPG-Keyid: 4743206C JID: nome...@joachim-breitner.de | http://people.debian.org/~nomeata signature.asc Description: This is a digitally signed message part
Re: Bug#696429: ITP: jhc -- a haskell compiler.
Samuel Thibault wrote: > Could it be used to bootstrap ghc compilation way more easily? Given the number of extensions used in ghc's own code, many of which jhc does not support, this seems unlikely, at least not without first mechanically converting its code to an intermediate form like Haskell 98. Also, jhc would still need to be ported to new arches. ;) Also, you'd probably need quite a lot of memory (probably gigabytes) to compile something as large as ghc with jhc, since jhc is lacking even garbage collection. It'd be nice to have jhc in Debian though. Although the Haskell "compiler" we really need, IMHO, is Fay. -- see shy jo signature.asc Description: Digital signature
Re: Bug#696429: ITP: jhc -- a haskell compiler.
Hello, Kiwamu Okabe, le Fri 21 Dec 2012 02:22:29 +0900, a écrit : > * Package name: jhc > Version : 0.8.0~darcs20120314 > Upstream Author : John Meacham > * URL : http://repetae.net/computer/jhc/ > Vcs-Browser : http://anonscm.debian.org/gitweb/?p=collab-maint/jhc.git > * License : GPL2+ > Programming Lang: Haskell > Description : A haskell compiler > Jhc is a haskell compiler which aims to produce the most efficient > programs possible via whole program analysis and other optimizations. Could it be used to bootstrap ghc compilation way more easily? Samuel -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20121220175629.GC26888@type
Bug#696429: ITP: jhc -- a haskell compiler.
Package: wnpp Severity: wishlist Owner: Kiwamu Okabe * Package name: jhc Version : 0.8.0~darcs20120314 Upstream Author : John Meacham * URL : http://repetae.net/computer/jhc/ Vcs-Browser : http://anonscm.debian.org/gitweb/?p=collab-maint/jhc.git * License : GPL2+ Programming Lang: Haskell Description : A haskell compiler Jhc is a haskell compiler which aims to produce the most efficient programs possible via whole program analysis and other optimizations. -- Kiwamu Okabe -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/50d34955.9040...@debian.or.jp
