45g · HackerTrans

45g

no profile record

Submissions

DDC (Haskell - Laziness + Effect typing) is ready "for human consumption"

disciple-devel.blogspot.com

2 pointsby 45g16 anni fa0 comments

XMLVM: a cross-compiler toolchain (e.g. .NET to JVM)

xmlvm.org

1 pointsby 45g16 anni fa0 comments

comments

45g

13 anni fadiscuss

> You can see how this makes it impossible to mutate the state without remembering to aquire the lock.

Not quite true. Looking at the type signature of e.g. RWArc::write I see this:

    fn write<U>(&self, blk: |x: &mut T| -> U) -> U

which means I could probably do:

    let mut n = local_arc.write(|nums| {
         nums[num] += 1;
         return ~(*nums);
     });
    n[2] = 42;

45g

13 anni fadiscuss

What puzzles me about Jolla and it's Sailfish OS is the constant emphasis on being "truly open" when in fact the sources of the OS are nowhere to be found. They point you to projects such as Mer and say Sailfish OS is based on it but by the same logic Apple is "truly open" because OS X is based on Darwin.

45g

15 anni fadiscuss

WebOS is not open source so I fail to see why a "geek" should love it. On the contrary - they should avoid it!

45g

16 anni fadiscuss

I wonder if someone wants to port the type checker of Typed Racket over to Clojure?

45g

16 anni fadiscuss

The HLVM implementation is for everyone to see at http://hlvm.forge.ocamlcore.org/ . There is a public mailing list at https://lists.forge.ocamlcore.org/pipermail/hlvm-list/ and I am sure Jon Harrop would be more than happy to discuss all technical details there.

Mono OTOH might be okayish for C#, but for instance F# so far has no open source implementation. Also Mono is lacking w.r.t. TCO and GC, so its not even close to a decent VM for functional languages.

45g

16 anni fadiscuss

This VM is based on LLVM and in particular aimed at parallel programming. As its author said: "HLVM is an experiment to see what a next-generation implementation of a language like OCaml might look like, addressing all of OCaml's major shortcomings (interoperability, parallelism and some performance issues)." [http://caml.inria.fr/pub/ml-archives/caml-list/2009/09/a94db...]