[clean-list] RES: clean-list Digest, Vol 104, Issue 7
luciano.vieira.lima at terra.com.br
luciano.vieira.lima at terra.com.br
Mon Aug 5 04:09:22 MEST 2013
Hi John!
I tested the solution you sent me to my question:
"I need a solution to compile programs in COMMAND LINE in Windows, as is
done in Linux."
Your solution really works.
Unfortunately I expressed myself badly about what I REALLY need to know.
The solution that you sent me, you use batch-build to compile a. icl file
in Windows.
In this case I ever need to have also a . prj file.
This solution does not solve my problem.
I say this is due to the need to have .prj file before compiling a . icl
file.
In my case, I want to compile an application created inside another
application.
I have a program to run *. Bat files within a program in CLEAN, but, as I
do not have a . prj file, there's no way I run the bat file.
I thought about using batch-build for compiling programs in Window to
generate .exe for CGI, as we make on Linux.
But the generated file with the batch-build did not work in the cloud.
Do you have the solution to these two problems?
1 - Make executable for CGI programs to run on servers in the cloud.
2 - Compile programs within other programs.
Kind regards
Luciano Vieira Lima
-----Mensagem original-----
De: clean-list-bounces at science.ru.nl
[mailto:clean-list-bounces at science.ru.nl] Em nome de
clean-list-request at science.ru.nl
Enviada em: terça-feira, 23 de julho de 2013 07:00
Para: clean-list at science.ru.nl
Assunto: clean-list Digest, Vol 104, Issue 7
Send clean-list mailing list submissions to
clean-list at science.ru.nl
To subscribe or unsubscribe via the World Wide Web, visit
http://mailman.science.ru.nl/mailman/listinfo/clean-list
or, via email, send a message with subject or body 'help' to
clean-list-request at science.ru.nl
You can reach the person managing the list at
clean-list-owner at science.ru.nl
When replying, please edit your Subject line so it is more specific than
"Re: Contents of clean-list digest..."
Today's Topics:
1. Re: how do I fill this record? (zuurb078 at planet.nl)
2. Re: boyer moore and knuth morris pratt algorithm
(John van Groningen)
3. Re: hd (drop 1000000 [1..]) heapFull (John van Groningen)
4. Re: how do I fill this record? (John van Groningen)
5. Re: hd (drop 1000000 [1..]) heapFull (zuurb078 at planet.nl)
6. Last CFP: ICEEE2013 - IEEE - Poland
(The Second International Conference on E-Learning and E-Technologies
in Education (ICEEE))
----------------------------------------------------------------------
Message: 1
Date: Mon, 22 Jul 2013 11:59:38 +0200
From: <zuurb078 at planet.nl>
To: "Clean List" <clean-list at science.ru.nl>
Subject: Re: [clean-list] how do I fill this record?
Message-ID:
<CADF5EBE816E3442BA4BF7F7BB8978531F747E54 at CPEXBE-EML19.kpnsp.local>
Content-Type: text/plain; charset="iso-8859-1"
So why is
:: *Record = {field :: [*Char]}
an accepted type?
________________________________
Hi Erik,
your actual problem is the record type. You cannot have unique chars in a
non-unique list. Try:
:: *Record = {field :: *[*Char]}
Start = {field = ['abc']}
Have fun,
Pieter
On 7/19/13 2:39 PM, zuurb078 at planet.nl wrote:
In Clean 2.4 on Windows, with the following accepted type:
:: *Record = {field :: [*Char]}
All of the following alternative start-rules ...
Start = {field = []}
Start = {field = ['x']}
Start = {field = undef}
... result in the following uniqueness error message:
"argument 1 of Record" attribute at position indicated by ^ could
not be coerced ^ *[*Char]
I don't see why even undef would have a type that is not general
enough.
Does anybody have any idea how I could fill this record?
_______________________________________________
clean-list mailing list
clean-list at science.ru.nl
http://mailman.science.ru.nl/mailman/listinfo/clean-list
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://mailman.science.ru.nl/pipermail/clean-list/attachments/20130722/daa4
c497/attachment-0001.html>
------------------------------
Message: 2
Date: Mon, 22 Jul 2013 15:09:05 +0200
From: John van Groningen <johnvg at cs.ru.nl>
To: luciano.vieira.lima at terra.com.br
Cc: clean-list at science.ru.nl
Subject: Re: [clean-list] boyer moore and knuth morris pratt algorithm
Message-ID: <51ED2EF1.6040805 at cs.ru.nl>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
On 12-7-2013 2:18, luciano.vieira.lima at terra.com.br wrote:
> TWO THINGS:
> 1 - I would know if any of you have an implementation of the CLEAN
> algorithm boyer moore and Knuth Moris Pratt to search substrings.
> 2 - I'm in need for a project, compiling programs from the command
> line in Windows. In other words, I am implementing a program that
> generates another program in Clean. This other program is compiled and
> reused in the program that created it.
> So I need a solution to compile programs in COMMAND LINE in WIndows,
> as is done in Linux.
You can compile a project by calling the CleanIDE with --batchbuild and the
full path name of the project file.
For example:
"D:\John\Clean 2.4\CleanIde.exe" --batch-build "D:\John\CleanPrograms\d.prj"
Output is written to the file:
"D:\John\CleanPrograms\d.log"
The project file is a text file, and the part after OtherModules is
optional, and will be added again after a successful build.
Kind regards,
John van Groningen
------------------------------
Message: 3
Date: Mon, 22 Jul 2013 15:23:06 +0200
From: John van Groningen <johnvg at cs.ru.nl>
To: Pieter Koopman <pieter at cs.ru.nl>
Cc: zuurb078 at planet.nl, Clean List <clean-list at science.ru.nl>
Subject: Re: [clean-list] hd (drop 1000000 [1..]) heapFull
Message-ID: <51ED323A.2040605 at cs.ru.nl>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
On 19-7-2013 22:10, Pieter Koopman wrote:
> Hi Erik,
>
> there seems to be a problem with the generator.
>
> Start = hd (drop n [1..n+10]) where n = 1000000
>
> works fine. Hopefully John can explain this.
[1..] generates a list in the following way:
let
gen_list n = [n : gen_list (n+1)]
in
gen_list 1
Because gen_list is not strict in argument n, a thunk is created for the
expression (n+1) at runtime.
The first time this creates a thunk t0 with 1+1, the next time a thunk t1
with t0+1, then t2 with
t1+1, ..
So after 1000000 elements, the heap contains 1000000 thunks.
The arguments of the function generated for [1..n+10] are strict, because 1
is compared with n+10, so no increment thunks are created.
> On 7/19/13 4:41 PM, zuurb078 at planet.nl wrote:
>> Re: [clean-list] Matrix operations
>> Start = hd (drop 1000000 [1..])
>> with standard heap (2M) leads to a heapfull message; not when I only
>> drop 1000.
>> I had expected the garbage collector to kick in so this would
>> effectively run in constant space Any ideas?
>>
>>
>> _______________________________________________
>> clean-list mailing list
>> clean-list at science.ru.nl
>> http://mailman.science.ru.nl/mailman/listinfo/clean-list
>
>
>
>
> _______________________________________________
> clean-list mailing list
> clean-list at science.ru.nl
> http://mailman.science.ru.nl/mailman/listinfo/clean-list
------------------------------
Message: 4
Date: Mon, 22 Jul 2013 15:32:58 +0200
From: John van Groningen <johnvg at cs.ru.nl>
To: zuurb078 at planet.nl
Cc: Clean List <clean-list at science.ru.nl>
Subject: Re: [clean-list] how do I fill this record?
Message-ID: <51ED348A.2070402 at cs.ru.nl>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
On 22-7-2013 11:59, zuurb078 at planet.nl wrote:
> So why is
> :: *Record = {field :: [*Char]}
>
> an accepted type?
In function types the compiler accepts [*Char], and changes this to
*[*Char]. Unfortunately this is not implemented for (other) type
definitions. The compiler should reject this type, or add a '*'. The current
compiler accepts this useless type.
Kind regards,
John van Groningen
------------------------------
Message: 5
Date: Mon, 22 Jul 2013 17:11:43 +0200
From: <zuurb078 at planet.nl>
To: "Clean List" <clean-list at science.ru.nl>
Subject: Re: [clean-list] hd (drop 1000000 [1..]) heapFull
Message-ID:
<CADF5EBE816E3442BA4BF7F7BB8978531F747E55 at CPEXBE-EML19.kpnsp.local>
Content-Type: text/plain; charset="iso-8859-1"
So is this desired behaviour, in the context of hd?
________________________________
On 19-7-2013 22:10, Pieter Koopman wrote:
> Hi Erik,
>
> there seems to be a problem with the generator.
>
> Start = hd (drop n [1..n+10]) where n = 1000000
>
> works fine. Hopefully John can explain this.
[1..] generates a list in the following way:
let
gen_list n = [n : gen_list (n+1)] in
gen_list 1
Because gen_list is not strict in argument n, a thunk is created for the
expression (n+1) at runtime.
The first time this creates a thunk t0 with 1+1, the next time a thunk t1
with t0+1, then t2 with
t1+1, ..
So after 1000000 elements, the heap contains 1000000 thunks.
The arguments of the function generated for [1..n+10] are strict, because 1
is compared with n+10, so no increment thunks are created.
> On 7/19/13 4:41 PM, zuurb078 at planet.nl wrote:
>> Re: [clean-list] Matrix operations
>> Start = hd (drop 1000000 [1..])
>> with standard heap (2M) leads to a heapfull message; not when I only
>> drop 1000.
>> I had expected the garbage collector to kick in so this would
>> effectively run in constant space Any ideas?
>>
>>
>> _______________________________________________
>> clean-list mailing list
>> clean-list at science.ru.nl
>> http://mailman.science.ru.nl/mailman/listinfo/clean-list
>
>
>
>
> _______________________________________________
> clean-list mailing list
> clean-list at science.ru.nl
> http://mailman.science.ru.nl/mailman/listinfo/clean-list
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://mailman.science.ru.nl/pipermail/clean-list/attachments/20130722/5106
f988/attachment-0001.html>
------------------------------
Message: 6
Date: Sat, 20 Jul 2013 17:51:19 -0700
From: "The Second International Conference on E-Learning and
E-Technologies in Education (ICEEE)" <cn at sdiwc.net>
To: undisclosed-recipients:;
Subject: [clean-list] Last CFP: ICEEE2013 - IEEE - Poland
Message-ID:
<1adf1b3ea2e38d19d9514bec2711ac45.squirrel at secure82.inmotionhosting.com>
Content-Type: text/plain;charset=iso-8859-1
Apologies if you receive multiple copies of this CFP.
Kindly forward to colleagues who might be interested. THANK YOU!
=========================================================================
The Second International Conference on E-Learning and E-Technologies in
Education (ICEEE2013) Lodz University of Technology, Lodz, Poland September
23-25, 2013
All papers will be submitted to IEEE for potential inclusion to IEEE Xplore.
The conference welcome papers on the following (but not limited to) research
topics:
- E-Testing and new Test Theories
- Distance Education
- Security Aspects?
- Computer-Aided Assessment
- Errors in E-Learning
- Accessibility to Disabled Users
- E-Learning Platforms, Portals?
- Learning Organization
- Joint Degrees
- Blended Learning
- Teacher Evaluation
- Educating the Educators
- Assessment Software Tools
- E-Learning Success Cases
- Intelligent Tutoring Systems
- Collaborative Learning
- Community Building
- Context Dependent Learning
- Mobile Learning (M-learning)
- Standards and Interoperability
- Digital Libraries for E-Learning
- E-Learning Hardware and Software
- Ontology and Meta-Data Standards
Submission Deadline: August 05, 2013
Notification of Acceptance: 4 weeks from the date of submitting the paper or
September 05, 2013 Camera Ready Submission: September 15, 2013
Registration: September 15, 2013
Conference Dates: September 23-25, 2013
Submission guidelines and full details at
http://sdiwc.net/conferences/2013/iceee2013/
------------------------------
_______________________________________________
clean-list mailing list
clean-list at science.ru.nl
http://mailman.science.ru.nl/mailman/listinfo/clean-list
End of clean-list Digest, Vol 104, Issue 7
******************************************
More information about the clean-list
mailing list