Viewing profile — Yttrill

Really? Thats not my understanding, its much smarter than that. Goroutines steal memory from the current pthread machine stack, that is, the machine stack. The problem calling C fr…

C++ and Felix obviously have the lowest overhead .. namely zero in both cases :-)

Modules would be very hard to make work in C++, there's way too much entanglement at all levels. Of course the rot actually started with the ANSI C committee when it introduced typ…

Claims 3 and 6 lack a true understanding of Ocaml. The compiler's error messages are exceptionally good in most cases. Syntax errors without detail are a product of the parsing tec…

There certainly are languages that can provably ensure all cases are handled. Have a look at ATS.

This does reflect very sadly on schools, and shows up when trying to explain things to programmers used to conventional languages, especially if you're trying to explain why C is f…

I'm afraid the argument that C+ASM is always faster is flawed in reality. Pure ASM, with a bit of C thrown in, maybe, but this is just as impractical for complex codes as C itself …

Felix is built on an extensible parser which uses EBNF for the productions. The Felix "language" is defined in the library by such productions. The action codes of the grammar are …

Basically this is to support "expression" like syntax such as people are used to in C, for example i++ and x=y are expressions with side effects in C and a lot of C idioms depend o…

One needs closures, that is, functional values bound to some context, for higher order functions (HOFs). For example in C++ much of STL was pretty useless until C++11 added lambdas…

As a whole program analyser, Felix does a lot of optimisations. The most important one is inlining. Felix pretty much inlines everything :) When a function is inlined, there are tw…

This is a hard question to answer. In general the emphasis changed from getting the compiler to work, and to generate efficient code, to using the technology to implement a rich se…

That's correct. However, somewhat problematically, Felix considers the tuple int * int to actually be an array int ^ 2. It's not entirely clear this "automatically applied isomorph…

The proc/gen/fun distinction isn't entirely an optimisation issue, its a semantic one, heavily related to the implementation model. In principle fun and gen use the machine stack f…

Did I mention Felix is based on Cat-e-gory theory and named for the inventor of one-sided donuts?

Macbook Pro: ~/felix>flx --test=build/release --static mt ~/felix>time ./mt real 0m0.004s user 0m0.001s sys 0m0.002s ~/felix>time ../lua-5.2.1/src/lua mt.lua real 0m0.006s user 0m0…

There is an alternative: a quick start GUI mini-IDE which allows you to type in and edit the code and press a button to run it. Such tools are mandatory on Windows anyhow: Ocaml an…

for var i in 1 upto 15 do println$ match i % 3, i % 5 with | 0,0 => "Fizz-Buzz" | 0,_ => "Fizz" | _,0 => "Buzz" | _ => str i endmatch ; done Did I get the job?

Yes, provided you collect all the required library headers and either sources or binaries: the generated C++ still requires run time libraries and the top level driver if it's a pr…

Python and Lua are both compiled languages, almost all languages are compiled these days. They compile to bytecode rather than native machine code, then run an interpreter which ma…

Two choices dictate a terminator: (a) free form 1D language like C vs 2D language like Python or Haskell, and, (b) support for assignment statements x = y and the like as in C vs a…

I am sorry about this problem. I have had a look and I understand what is happening but not how to fix it. Python 3.2 does not provide a timeout in the subprocess module. fbuild is…

It works with this: ~/felix>python3 Python 3.2.3 (v3.2.3:3d0686d90f55, Apr 10 2012, 11:25:50) [GCC 4.2.1 (Apple Inc. build 5666) (dot 3)] on darwin and also on Linux with this: ska…

The webserver, which is written in Felix, translates a particular format called "fdoc" to create the tutorial and slides, including embedded colourised hyperlinked Felix and C++ co…