Yup, that's me. I'm glad you've enjoyed my posts. :-)
I was on the Felix list about 6 months ago (I think), and I've
recently restarted the project that I was going to use Felix for.
After investigating safe low-level languages, Ada, Cyclone, etc., C
still seemed the most appropriate, so I'm back
This link is broken on the site:
http://felix.sourceforge.net/current/speed/en_flx_perf.html
-
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2008.
http://clk.atdmt.com/MRT/go/vse0
How up to date are the binaries available from the Felix page?
Sandro
-
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2008.
http://clk.atdmt.com/MRT/go/vse012070mrt/direct/01
On 10/22/07, skaller <[EMAIL PROTECTED]> wrote:
>
> Note for example how Haskell does typeclasses across translation
> unit boundaries, by passing dictionaries. Or how Ocaml does
> classes by run time Hashtbl based method dispatch.
>
I had thought that OCaml used a binary search of a method select
Why does the memory use blow up like that? Isn't memory allocation a
service call? If it were, then it seems like GC could run every X
allocations.
Also, perhaps region-based memory management would be appropriate in
some cases. The inner map in your example could run in a single region
that's col
For an SQL library done "right", see the papers section of HaskellDb:
http://haskelldb.sourceforge.net/
Also see "Strongly Typed Heterogeneous Collections":
http://homepages.cwi.nl/~ralf/HList/
The useful SQL combinators are explained and derived in these papers.
Sandro
--
On 7/11/07, skaller <[EMAIL PROTECTED]> wrote:
> > Still trying to grasp this. How do you forget to "plug in" a channel?
>
> Pass it as an argument.
Ah, in most functional languages values cannot be null, and nullable
ones are wrapped in an option/maybe type. I take it this is not the
case for Fel
On 7/10/07, skaller <[EMAIL PROTECTED]> wrote:
> On Tue, 2007-07-10 at 12:59 -0400, Sandro Magi wrote:
> > On 7/10/07, skaller <[EMAIL PROTECTED]> wrote:
>
> > As long as you can continue useful computation while blocking, and you
> > can do so safely, th
On 7/10/07, skaller <[EMAIL PROTECTED]> wrote:
> On Tue, 2007-07-10 at 12:12 -0400, Sandro Magi wrote:
>
> > Convinced of what? The concurrency safety? The security claims? E
> > covers quite a bit of ground.
>
> The basic problem is finding the right primitives to
On 7/10/07, skaller <[EMAIL PROTECTED]> wrote:
> [...]
> Now, with the new parser in place, some more pleasing
> syntax might be invented for this. In particular the above
> is not very nice because 'promise' remains in scope after
> it has been read .. it should evaporate.
>
> So, we have the prim
On 7/10/07, skaller <[EMAIL PROTECTED]> wrote:
> So actually we have not got this right yet.
>
> The last version of Felix added typeclasses, and it
> changed the whole way we approached making libraries:
> we start to use typeclasses instead of open overloading,
> but typeclasses make you think mu
On 7/10/07, Rhythmic Fistman <[EMAIL PROTECTED]> wrote:
> > > There's some support for async disk file I/O, but really
> > > Linux can't do this so it's fairly pointless.
>
> Win32 felix happily uses TransmitFile. That looks like async file io
> to me, or at least async file -> socket. I don't see
On 7/10/07, skaller <[EMAIL PROTECTED]> wrote:
>
> HOF aren't necessarily slow. Try this program with
I'm not really concerned about speed. And your example is neat by the way. :-)
HOF are really needed when one needs abstraction. I'm just saying that
I suspect that the abstraction won't be neede
Off-list discussion taken back on-list.
On 7/9/07, skaller <[EMAIL PROTECTED]> wrote:
> On Mon, 2007-07-09 at 12:03 -0400, Sandro Magi wrote:
> > Ok, I think we're on the same page now. I think you'll agree that if
> > (2) allocates resources that survive its own
I'm looking into creating a VM for a language I'm building, and was
going to base it on LLVM which is written in C++. I'd rather not have
to deal with C++ though, and since Felix can natively integrate with
C++ with much stronger typing, I'm wondering whether it would be a
good fit for this applica
I'm just looking into Felix, and noticed that it supports type classes
and modules. Are the modules like ML modules? If so, I was wondering
whether you were aware of the paper "Modular Type Classes", where type
classes are derived as a restricted use of ML modules:
http://www.cse.unsw.edu.au/~chak
16 matches
Mail list logo
