[Felix-language] Typeclass problem

2007-05-02 Thread Chris King
When I write this instance (yes I know it's incomplete): instance[t with Addgrp[t]] Addgrp[t*t] { fun zero() => zero[t](), zero[t](); } Felix gives this error: UNRESOLVED RETURN ERROR In complex.flx: line 55, cols 2 to 36 54: instance[t with Addgrp[t]] Addgrp[t*t] { 55: fun zero() => ze

Re: [Felix-language] adding imaginary and complex float literals

2007-05-01 Thread Chris King
On 5/1/07, Erick Tryzelaar <[EMAIL PROTECTED]> wrote: > Does this problem occur if we do proper conversions to and from polar > coordinates? Although that would work in some cases (such as exponentiation), there would still be information loss in certain edge cases, since Cartesian coordinates can

Re: [Felix-language] adding imaginary and complex float literals

2007-05-01 Thread Chris King
On 5/1/07, skaller <[EMAIL PROTECTED]> wrote: > You'd use distinct types I think. Consider a matrix of 100 * 100 > elements -- the whole matrix would either be polar or cartesian > surely, not individual elements. Good point, I'll have to see how much I can work into the type system and still keep

Re: [Felix-language] adding imaginary and complex float literals

2007-05-01 Thread Chris King
On 5/1/07, skaller <[EMAIL PROTECTED]> wrote: > In principle I think 'complex' and 'complex with infinity' > are different types, but then complex+inf only has ONE > infinity, quite different from 'number too large' which > might retain a phase angle. Infinity+phase angle is different than "number

Re: [Felix-language] making inf and NaN functions

2007-05-01 Thread Chris King
On 5/1/07, skaller <[EMAIL PROTECTED]> wrote: > ** In the end, i hope to merge classes, typeclasses > and modules into a single 'class' construction. Yay! > typeclasses with variables (not just type variables) > make sense .. the functions are just methods and the > variables live in an dynamical

Re: [Felix-language] adding imaginary and complex float literals

2007-05-01 Thread Chris King
On 5/1/07, skaller <[EMAIL PROTECTED]> wrote: > If we go up to Quaternions, they use i,j,k. You may have > used quaternions in high school physics, you write: > > 10 + 3i + 4j + 5k Don't forget about octonions :) Also, quaternions are useful for 3D rotation transforms; I'm sure some game

Re: [Felix-language] adding imaginary and complex float literals

2007-05-01 Thread Chris King
On 5/1/07, Erick Tryzelaar <[EMAIL PROTECTED]> wrote: > I was reading through the lexer and I noticed that we don't support > imaginary and complex literals like "1.0d + 0.5di". Would this be > something useful to have? We'd possibly would have to write our own > imaginary and complex types if ther

Re: [Felix-language] tutorial orientation

2007-04-26 Thread Chris King
On 4/26/07, skaller <[EMAIL PROTECTED]> wrote: > Just try to tell one of the people that like 'meta-programming' > that it is a load of rubbish and that templates are one of > the things Felix deliberately replaces (with parametric > polymorphism and typeclasses) .. well of course I'm going > to ge

Re: [Felix-language] tutorial orientation

2007-04-26 Thread Chris King
On 4/26/07, skaller <[EMAIL PROTECTED]> wrote: > Given an intended market of C++ programmers, I don't really see Felix's target being "C++ programmers" per se, but more so "people who would really rather program in some other language but need the speed / libraries / etc. that C++ offers". At lea

Re: [Felix-language] Felix 1.1.3 release candidate 4 is up

2007-04-26 Thread Chris King
On 4/25/07, skaller <[EMAIL PROTECTED]> wrote: > It opens up the issue of what > to do with string literals. In Python it is very painful, > because the literals don't support nice block indent style. I've always liked the algorithm used by the textwrap module that Erick mentions: starting with th

Re: [Felix-language] Felix 1.1.3 release candidate 4 is up

2007-04-25 Thread Chris King
On 4/24/07, skaller <[EMAIL PROTECTED]> wrote: > Tarball for 1.1.3_rc4 is now up. Please test! Build OK on Debian 4.0 / x86. Webserver also works; I get 100MByte/s on a 20MB file with wget. (I checked the output with cmp.) Build and webserver also OK on Mac OS X 10.4.9 / x86, though I only get

Re: [Felix-language] Programming with Circuits: a new paradigm

2007-04-17 Thread Chris King
On 4/17/07, skaller <[EMAIL PROTECTED]> wrote: > I'm not sure I quite follow the argument. It is certainly > possible to have higher order channels .. channels that > you read channels off :) Yep, that was all I was getting at. > > Overall I like the idea but I disagree that it's any more modular

Re: [Felix-language] Programming with Circuits: a new paradigm

2007-04-16 Thread Chris King
On 4/16/07, Jacques Carette <[EMAIL PROTECTED]> wrote: > And remember one thing that we learned the hard way (on a doomed project > at a company I used to work for): do NOT try to find a circuits analogy > to classical imperative programming -- it's a fool's errand. We wasted > a lot of time on th

Re: [Felix-language] Programming with Circuits: a new paradigm

2007-04-16 Thread Chris King
On 4/16/07, skaller <[EMAIL PROTECTED]> wrote: > In the model: > > spawn_fthread { Sin (xin, yout); }; > > shows that a chip is different from a procedure. > Here Sin is a *design* for a chip, but it is actually > the fthread which is the chip: in other words, > this is a dynamic instantiation of

Re: [Felix-language] Sourceforge bug tracker

2007-04-07 Thread Chris King
On 4/7/07, Erick Tryzelaar <[EMAIL PROTECTED]> wrote: > For now just send messages to felix-language. It's not so high > traffic that it'd cause any problems. Okay, I'll repost them here for convenience: -- In flx_ctypes.h, "instance[t in floats] Real[t]" should require cmath; at least s

Re: [Felix-language] renaming the new mailing lists?

2007-04-07 Thread Chris King
On 4/7/07, skaller <[EMAIL PROTECTED]> wrote: > > I was looking into darcs, actually. I thought you might think it was too > > far out there to be used, but I really like it's feature set. > > I have no idea about that, despite looking at it. What I liked > was it was designed by theoreticians base

Re: [Felix-language] async fileio

2007-04-07 Thread Chris King
On 4/7/07, skaller <[EMAIL PROTECTED]> wrote: > Just to make sure we understand: the worker queue is a neutral > synchronisation technique: there's a pool of threads which > pull jobs of the queue, run them, signal they're finished, > and then run the next one. The pool size is user controlled. Th

[Felix-language] Sourceforge bug tracker

2007-04-06 Thread Chris King
Hi, I submitted a couple bugs to the Sourceforge bug tracker a few weeks ago... does anyone still monitor this? If not I'll repost them here (or in the new bugtracker when it's fully operational). They're pretty minor so I feel they're good 1.1.3 material; I'd fix them myself but until the 27th

Re: [Felix-language] Felix Version 1.1.3 Release Candidate 2 is up

2007-04-06 Thread Chris King
On 4/6/07, skaller <[EMAIL PROTECTED]> wrote: > Tarball, docs updated for flx_1.1.3_rc2. > > Please download and try to build! Build confirmed on OS X/Intel 10.4.9. - Chris - Take Surveys. Earn Cash. Influence the Future of

Re: [Felix-language] vote on a website name!

2007-04-05 Thread Chris King
On 4/5/07, Erick Tryzelaar <[EMAIL PROTECTED]> wrote: > Thanks for commenting, everyone! Do you guys prefer with the dash or > without? Also if it came down between "felix language" and "felix lang", > which one would you all prefer? I'd say with dash (for readability). "lang" is a bit easier to

Re: [Felix-language] vote on a website name!

2007-04-05 Thread Chris King
On 4/5/07, Ben Smith <[EMAIL PROTECTED]> wrote: > FWIW, when I'm looking for felix on the web I usually google "felix language". > So I'd vote for felix-language.* or felix-project.* I second felix-language.org (or felix-lang.org) for the same reason. - Chris

Re: [Felix-language] Where now?

2007-04-04 Thread Chris King
On 4/4/07, Rhythmic Fistman <[EMAIL PROTECTED]> wrote: > This gets me the following error after a few seconds: > > 7.0 > #0 ambopugni.local p1 2007/04/04 14:25 felix takfp 6 0.0297 > UNDERTIME: BOOSTED min to 7 > speed/exes/gnat/ack 7 > TEST RETURNED ERROR CODE 127 : TERMINATING > .. ERROR CODE

Re: [Felix-language] Where now?

2007-04-03 Thread Chris King
On 4/3/07, skaller <[EMAIL PROTECTED]> wrote: > I'd like to collect results from others, but so far no > one has volunteered any. I haven't tried with MSVC++ tests. > > Be nice to have result for other processors. I've got a Mac with a 1.5GHz Core Solo, I'll volunteer some tests. How should I go a

Re: [Felix-language] FRP [was: Re: congrats chris king!]

2007-04-01 Thread Chris King
On 4/1/07, skaller <[EMAIL PROTECTED]> wrote: > With CPS I can understand .. if the expression returns the > next expression to evaluate. For example if you want to gather > several mouse clicks c1 c2 c3, the c1 evaluation can return c2 > and c2 can return c3. The 'next continuation' to evaluate is

Re: [Felix-language] FRP [was: Re: congrats chris king!]

2007-04-01 Thread Chris King
On 4/1/07, skaller <[EMAIL PROTECTED]> wrote: > On Sun, 2007-04-01 at 09:56 -0400, Chris King wrote: > > BTW: have you seen JoCaml? I've heard of it but never checked it out, it looks interesting though. I'll try playing around with it in the next week or so. >

[Felix-language] FRP [was: Re: congrats chris king!]

2007-04-01 Thread Chris King
On 3/31/07, skaller <[EMAIL PROTECTED]> wrote: > Reactive programming with callbacks is exactly the mess Felix > is designed to eliminate -- Felix threads are event driven, > but you can write modular code using thread style and channels. There are no callbacks in FRP (at least the style I'm used

Re: [Felix-language] congrats chris king!

2007-03-31 Thread Chris King
On 3/31/07, Erick Tryzelaar <[EMAIL PROTECTED]> wrote: > Got plans for porting that functional-reactive gui to felix when you've > finished it for ocaml? :) I've actually thought about it... sometimes I wish I was doing it in Felix, to make binding to Gtk easier! Perhaps I will give it a shot, if

Re: [Felix-language] classes

2007-03-24 Thread Chris King
On 3/24/07, Erick Tryzelaar <[EMAIL PROTECTED]> wrote: > > I volunteered to take a stab at implementing it after classes > > get out, as my first foray into Felix's source code (presuming someone > > else doesn't beat me to it). > > What are you planning to do? I'm a bit confused by the subject of

Re: [Felix-language] regex subexpression extraction

2007-03-24 Thread Chris King
On 3/24/07, Erick Tryzelaar <[EMAIL PROTECTED]> wrote: > How > difficult would it be to support something like this? > > regmatch "host:/foo/bar/baz" with > | ((alphanumeric+ as ?host) ":" (_* as ?path)) as ?arg => Some (arg, > host, port) > | _ => None > endregmatch; I thought Felix did this alre

Re: [Felix-language] felix 1.1.3_rc1 uploaded

2007-03-16 Thread Chris King
On 3/15/07, skaller <[EMAIL PROTECTED]> wrote: > Please check the build on this tarabll. Build works fine for me (save the known failures) on OS X 10.4.8 Intel, with the exception that "make wrappers" dies when it gets to config/cxx.flxcc: bin/flxcc config/cxx.flxcc PREPROCESSOR COMMAND: g++ -E -

Re: [Felix-language] Costing

2007-03-16 Thread Chris King
On 3/16/07, skaller <[EMAIL PROTECTED]> wrote: > The idea is that you can write: > > fun f(x:float): float => ... cost x *2.0; > fun g(x:float): float => ... cost x * x; > > so now, g is chosen for small x, whilst f is chosen for big x. I think this sounds like a good idea, but who

Re: [Felix-language] monomorphisation pass

2007-03-05 Thread Chris King
On 3/5/07, skaller <[EMAIL PROTECTED]> wrote: > You aren't subscribed to felix-impl mailing list? No, but I do check it occasionally. I resolve to check it more often less I miss developments like this :) - Chris - Take Sur

Re: [Felix-language] monomorphisation pass

2007-03-05 Thread Chris King
On 3/4/07, skaller <[EMAIL PROTECTED]> wrote: > I have added a monomorphisation pass to the optimisation process. > This pass is currently done before inlining, and makes monomorphic > clones of Felix functions, procedures, classes, and variables. > Types other than classes, and primitives are not

Re: [Felix-language] Pending Death

2007-02-27 Thread Chris King
On 2/27/07, skaller <[EMAIL PROTECTED]> wrote: > Another side to this is that the C++ community has been totally > unresponsive, if not actively opposed (moderators actually > blocked some of my news articles). IMHO C++ is the wrong target audience. Many (though certainly not all) users use it si

Re: [Felix-language] Pending Death

2007-02-27 Thread Chris King
On 2/27/07, skaller <[EMAIL PROTECTED]> wrote: > This project is pending death. 7 years of my life > is enough to waste. If you cease to develop Felix I will personally make a fork of it and continue its development on my own, even at the expense of my own project. Just yesterday I was experiment

Re: [Felix-language] Main Features

2007-02-16 Thread Chris King
On 2/16/07, skaller <[EMAIL PROTECTED]> wrote: > What are the key features of Felix? Why are you interested? To me, this question reads "what does Felix do that O'Caml doesn't do?" (O'Caml being my current favorite language). From this perspective, what's gotten me interested in Felix is the foll

Re: [Felix-language] Where now?

2007-02-16 Thread Chris King
On 2/16/07, Rhythmic Fistman <[EMAIL PROTECTED]> wrote: > Mr Potential Developer... You just described my experience to a T. :) - Chris - Take Surveys. Earn Cash. Influence the Future of IT Join SourceForge.net's Techsay pan

Re: [Felix-language] fthread weirdness

2007-02-15 Thread Chris King
On 2/14/07, skaller <[EMAIL PROTECTED]> wrote: > > [1] > > http://shootout.alioth.debian.org/gp4sandbox/benchmark.php?test=message〈=all#about > > Broken link .. Whoop... http://shootout.alioth.debian.org/gp4sandbox/benchmark.php?test=message#about > > [2] http://users.wpi.edu/~squirrel/temp/chea

Re: [Felix-language] fthread weirdness

2007-02-15 Thread Chris King
On 2/14/07, skaller <[EMAIL PROTECTED]> wrote: > The concurrency test I implemented for the Shootout is one > reason Felix was banned from the Shootout by Isaac Gouy. > It's too fast. Gouy is a nazi and simply banned Felix > without trying to understand that the problem was the > test methodology.

[Felix-language] fthread weirdness

2007-02-13 Thread Chris King
Hi, I got curious about fthreads and decided to try implementing the Shootout's "cheap concurrency" test [1]. However I'm encountering very odd problems. The main point of the test is to create 500 threads, and pass an integer to each thread in succession (thread A sends to thread B, thread B to

Re: [Felix-language] Sundry questions

2007-02-10 Thread Chris King
On 2/10/07, skaller <[EMAIL PROTECTED]> wrote: > Note you can *construct* a character from a string literal > or integer .. > > char "H" > > makes the character 'H' .. but it isn't really the same > as a character literal. Could it be? Is the preprocessor / compiler capable of optimizing

[Felix-language] Sundry questions

2007-02-10 Thread Chris King
Hi, I've been slowly working my way through the tutorial and reference manual and I've come up with a long list of questions and comments from a language-design point of view. - Redundancy - It seems Felix has a few redundant syntactic constructs, which is to be expected since it is heavily und

Re: [Felix-language] Documentation

2007-01-31 Thread Chris King
On 1/31/07, skaller <[EMAIL PROTECTED]> wrote: > Ouch .. CVS is defunct: we switched to SVN some time ago. > > svn co https://felix.svn.sourceforge.net/svnroot/felix/felix/trunk . Ahh... I wondered why the web access didn't work. The web site still gives CVS instructions... - Chris

Re: [Felix-language] Documentation

2007-01-31 Thread Chris King
On 1/30/07, skaller <[EMAIL PROTECTED]> wrote: > The reference manual is incomplete -- writing documentation is much > harder than writing code, and even more dependent on readers for > feedback. > > You probably need to look at the tutorial and the regression > tests .. and even then there are fea

[Felix-language] Documentation

2007-01-30 Thread Chris King
ce code. Is there a more complete reference than the one referenced from the web site, or in lieu of that, a large, well-documented example of most of the constructs in Felix beyond those in the tutorial? Thanks, Chris King