Re: Bug#696429: ITP: jhc -- a haskell compiler.

2012-12-21 Thread Joachim Breitner
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


Bug#696429: ITP: jhc -- a haskell compiler.

2012-12-20 Thread Kiwamu Okabe
Package: wnpp
Severity: wishlist
Owner: Kiwamu Okabe kiw...@debian.or.jp

* Package name: jhc
  Version : 0.8.0~darcs20120314
  Upstream Author : John Meacham j...@repetae.net
* 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



Re: Bug#696429: ITP: jhc -- a haskell compiler.

2012-12-20 Thread Samuel Thibault
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 j...@repetae.net
 * 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



Re: Bug#696429: ITP: jhc -- a haskell compiler.

2012-12-20 Thread Joey Hess
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.

2012-12-20 Thread Joachim Breitner
Hi Kiwamu,

Am Freitag, den 21.12.2012, 02:22 +0900 schrieb Kiwamu Okabe:
 Package: wnpp
 Severity: wishlist
 Owner: Kiwamu Okabe kiw...@debian.or.jp
 
 * Package name: jhc
   Version : 0.8.0~darcs20120314
   Upstream Author : John Meacham j...@repetae.net
 * 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.

2012-12-20 Thread Kiwamu Okabe
Hi Joachim,

On Fri, Dec 21, 2012 at 7:01 AM, Joachim Breitner nome...@debian.org 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