You cannot post messages because only members can post, and you are not currently a member.
Description:
Discussion forum for the Qi programming language
|
|
|
resolving internet problem
|
| |
I have come down from the mountains and yogic practice having studied
Astanga yoga and there is somewhat less of me than before (about 9lb
less). I've had no opportunity before now to resolve the problem
with Lambda Associates since the ashram is cut off from the internet.
Back in Nasik, I can begin to deal with it. It appears that the... more »
|
|
typechecking
|
| |
I've stalled a little in the development. The crucial thing is that I
cannot spend more then
about one hour per day and this thing needs to be though through, so
what is the thing.
To let all code that goes through (tc -) to go through with a weak
type-checking on one need to let types be of an undecidable form, but... more »
|
|
Shen
|
| |
Hi,
It was suggested that Shen should be relocated to google code due to
license issues e.g.
QiII not seen as an open license and hence not possible to keep at
giithub, I let BoopCore
still be located at github, because I will dual license that code
because there are people who would work only in QiII and others who... more »
|
|
resolving support and internet connection
|
| |
Just to warn that Lambda Associates may be offline for a temporary
period from next week as I sort out service problems from India. *
This is not a major permanent shutdown * and may not even occur, but
I'm simply warning people that this might happen because resolving
this stuff is more difficult from India.... more »
|
|
test-reader.qi
|
| |
I've now been running same tests and made a couple of examples where
the focus have been in the Yacc part and the segment part of the code
as well as a General Streaming method.
as an example I did a parser for a toy lang. and then created a
modified list stream that
added the capabilities to let the line column and depth be kept in... more »
|
|
einstein riddle
|
| |
Hi,
I've been busy coding for some time. I now have a working basic
framework. This framework can be used to combine backtracking and
unifications to builed prolog like features. E.g. in my view a natural
building block to spark Shen from.
The last couple of week's I've been focusing in understanding how to... more »
|
|
Qi on Clozure CL
|
| |
Hi folks,
Does somebody work on porting Qi to Clozure CL?
Regards
Nik
|
|
Productivity vs Mod Queues
|
| |
This message is for the moderator, not for Qilang. So I suggest you
delete it after you've read it.
I find it very counter-productive that I have to wait hours (or days?)
before my questions may even be modded-published to the list. And
then, I shall wait hours (or days?) before any answer reaches me. In... more »
|
|
Need more eyes on two small Qi-YACC parsers
|
| |
=== 1 ===
What's wrong with my parser?
(defcc <rule>
<sn> <sym>;)
(defcc <sym>
symbol;)
(defcc <sn>
-*- := (if (number? -*-)
[-*-]
(error "~A is not a number" -*-)))
(compile <rule> [[1] symbol])
error: [1] is not a number
Isn't -*- supposed to be the head of [1], thus 1? And, consequently:... more »
|
|
Qi + slime + emacs = love
|
| |
I finally got slime + emacs working for Qi. If you're not familiar
with slime it eases common lisp development a lot IMHO.
with SBCL running I ran the following:
(require 'swank)
(load "install.lsp")
now the Qi.core has swank loaded and ready to go. In my ~/.emacs I
made:
(defun qi-init-cmd (port-filename coding-system)... more »
|
|
|