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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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.
>
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
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
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
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
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 -
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
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
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
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
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
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
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
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
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.
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
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
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
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
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
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
45 matches
Mail list logo