Re: Generating KL Files
74 views
Skip to first unread message
Mark Tarver
Feb 20, 2013, 6:27:10 PM2/20/13
to Qilang
its tricky right now but the next release should make it easy
Mark
On Feb 20, 11:02 pm, deech <aditya.si...@gmail.com> wrote:
> Hi,
> The current download of Shen (the official one with SBCL ) includes the
> generated KL files. How would one generate those files from the sources in
> the "Shen Sources" directory?
> Thanks!
> -deech
Mark
On Feb 20, 11:02 pm, deech <aditya.si...@gmail.com> wrote:
> Hi,
> The current download of Shen (the official one with SBCL ) includes the
> generated KL files. How would one generate those files from the sources in
> the "Shen Sources" directory?
> Thanks!
> -deech
Mark Tarver
Feb 21, 2013, 5:50:05 AM2/21/13
to Qilang
TBoS in the first edition is close to FPQi. The type checking
algorithm has not changed. The main purpose of TBoS was have a
canonical license-fixing text to the language which was accurate; and
FPQi could not serve in that role.
There was an immedate need for this text, but I had little time in
2012 for various reasons and so TBoS in the first edition was
essentially a minimum patch of FPQi needed to do the job. 2013 will
be quite different, there are far more resources and space opening to
me now and the second edition is taking shape rapidly.
Mark
On Feb 21, 4:24 am, deech <aditya.si...@gmail.com> wrote:
> I wanted to generate my own KL files so that I could get a feel for how the
> type-checker works by playing around with it.
>
> I've already bought the Shen book, but while it's arrving, does the Qi book
> cover how the type-checking part adequately or have there been radical
> changes?
>
> -deech
algorithm has not changed. The main purpose of TBoS was have a
canonical license-fixing text to the language which was accurate; and
FPQi could not serve in that role.
There was an immedate need for this text, but I had little time in
2012 for various reasons and so TBoS in the first edition was
essentially a minimum patch of FPQi needed to do the job. 2013 will
be quite different, there are far more resources and space opening to
me now and the second edition is taking shape rapidly.
Mark
On Feb 21, 4:24 am, deech <aditya.si...@gmail.com> wrote:
> I wanted to generate my own KL files so that I could get a feel for how the
> type-checker works by playing around with it.
>
> I've already bought the Shen book, but while it's arrving, does the Qi book
> cover how the type-checking part adequately or have there been radical
> changes?
>
> -deech
Artella Coding
Jun 16, 2013, 5:33:58 AM6/16/13
to qil...@googlegroups.com
Hi, has the "dump" function mentioned in https://groups.google.com/forum/#!msg/qilang/d0HtkbymiSM/u6mKPltH_8gJ been renamed? This function had the ability to convert a file containing shen code into klambda code, and this seems quite useful. Thanks.
Mark Tarver
Jun 16, 2013, 6:19:49 AM6/16/13
to Qilang
'dump' was designed to help people run stand-alones but was dropped
mainly because it was not useful - since w.o. Shen system code a dump
file will not run. Also extracting all the supporting code is not
trivial and 'dump' did not do it. It is to be replaced by the Ring
which is more sophisticated, but you can easily write 'dump' for
yourself given the source file and ps.
Mark
On Jun 16, 10:33 am, Artella Coding <artella.cod...@googlemail.com>
wrote:
mainly because it was not useful - since w.o. Shen system code a dump
file will not run. Also extracting all the supporting code is not
trivial and 'dump' did not do it. It is to be replaced by the Ring
which is more sophisticated, but you can easily write 'dump' for
yourself given the source file and ps.
Mark
On Jun 16, 10:33 am, Artella Coding <artella.cod...@googlemail.com>
wrote:
Reply all
Reply to author
Forward
0 new messages