- Timber - Haskell.org

Timber Source code Developer documentation
by asp imho 05 Dec '15

05 Dec '15

Hi, I'm trying to understand the layout and design of the Timber language compiler.. could not find any documents on this. I see that in Execution.hs function passes compile time arguments to the compiler/linker linkO cfg clo r o_files ++ " -DROOT=" ++ rootId ++ " " ++ " -DROOTINIT=" ++ initId ++ " " and the main function in rts.c file: (is this the starting point of ANY Timber function) and from here we give the "start" (or ROOT) of the timber program at compile time? main() { ROOTINIT(); envStart(ROOT); } is there a "Developers/ Hackers" document to timber? any pointers to great..

1 2

Lista de emails listas de emails gratis email lista
by Ed Soares 23 Nov '13

23 Nov '13

Lista de emails listas de emails gratis email lista emails empresas que incluem lista de emails, emails de pessoas emails lista: http://www.maladiretaemails.com superior o que e mailing, é excelente para muitas pessoas. lista emails gratis lista de emails gratis adicionalmente lista de emails, servidor de email malas direta, o objetivo de nosso website. Se você precisa de lista de empresas, emails de pessoas e mala direta em casa: http://www.maladiretaemails.com é ótimo lista de emails e acima de tudo listagem de empresas, lista emails gratis mail marketing. é excelente lista emails assim como que é mala direta. como fazer mala direta mala direta como fazer, emails de empresas. No presente momento envio de emails composta de Enviar email, listas de emails pode ser ótimo. é realmente a função do nosso website: emails de pessoas, Enviar email, e, além disso list mail. Temos o melhor de envio de emails list mail, como fazer mala direta.

1 0

Aprovados rela��o publicada Cacimbinhas
by Edson 29 May '13

29 May '13

Aprovados relação publicada Cacimbinhas: Reserva do Cabaçal: AMANDA FARIAS TELES, LEONARDO LICARIAO DE MELLO MENEZES, FRANCISCO AGEU DE SOUSA NOBREGA, PAMELA NOBREGA MENEZES, JOÃO CARLOS MOREIRA DE CARVALHO, CLYCIA MONTEIRO FERREIRA, MARIA DE LOURDES FERREIRA BRITO, IZALANA PEREIRA NEPOMUCENO. SARA MARIA BEZERRA DOS SANTOS, ERALDO FREITA DA SILVA, MAYKSON CALISTA DE MELO, JOZENILDA BATISTA GOMES, WELIDA WENDY ARAUJO DA SILVA. Lago da Pedra. Cacimbinhas, ANNIBERG CORDEIRO DE SOUZA SILVA, LUCAS FONTENELE SILVA DE CARVALHO, GERLANDE MARIA FERREIRA, RAFAELLA SAMPAIO DE ALENCAR, JOÃO CARLOS MOREIRA DE CARVALHO, DENISE ARAÚJO JUSTINO, MARIA NIVANEIDE DE ABREU LIMA, JOELMA CÂNDIDO DA SILVA. TERESA RAQUEL DE MORAES ANDRADE, CARLA NAYANNE MOREIRA DE SOUZA, MAIRA NOGUEIRA ALVES, IAN VIEIRA LIMA AMORA DE SOUZA, ROBERTO ALMEIDA PIRES. Caetanópolis. Nova Itarana e ANA CLARA DE MORAES HOLANDA, LORENNA DOS SANTOS SILVA, FRANCISCO JEFERSON GUERRA DA COSTA, PEDRO AMARANTE SILVA FILHO, JOÃO CARLOS MOREIRA DE CARVALHO, DANIEL AGUIAR DE SOUSA, MARIA ISABELA DE BRITO MORAIS, JARDEL SOUSA DA SILVA. SILVANA FERREIRA DE ARAÚJO, ARTHUR MAURICIO DE SOUZA RODRIGUES, LUCAS RAMOS DE LIMA, GLEYCIANNE M. DE CARVALHO, REBECCA ERONIDES NOJOSA ARRUDA. Itarumã.

1 0

Bindings
by Per Lindgren 03 May '10

03 May '10

Hi Consider: ------------- module Err1 where import POSIX root :: RootType root w = do env = new posix w temp = "12" temp = "abc" env.stdout.write (show temp) What is the defined behavior? (The result using timberc is no compiler error and the output "12" when executed. If that is what's intended, then we might be in for some confused programmers. ) /Per

4 4

IFL 2010: Call for papers
by Johan Nordlander 20 Mar '10

20 Mar '10

CALL FOR PAPERS 22nd Symposium on Implementation and Applications of Functional Languages (IFL 2010) September 1-3, 2010 Utrecht University Alphen aan den Rijn, The Netherlands http://www.cs.uu.nl/wiki/bin/view/IFL2010/WebHome After a first successful visit to the USA, the Symposium on Implementation and Applications of Functional Languages returns to Europe for its 22nd edition. The hosting institution is Utrecht University in the Netherlands, although the conference itself will take place in the ornithological theme park Avifauna in Alphen aan den Rijn, situated conveniently close to Schiphol (Amsterdam Airport). The symposium dates are September 1-3, 2010. The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2010 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. Following the IFL tradition, IFL 2010 will use a post-symposium review process to produce formal proceedings which will be published by Springer Verlag in the Lecture Notes in Computer Science series. All participants in IFL 2010 are invited to submit either a draft paper or an extended abstract describing work to be presented at the symposium. At no time may work submitted to IFL be simultaneously submitted to other venues. Here we follow the ACM Sigplan republication policy as defined on http://www.sigplan.org/republicationpolicy.htm . The submissions will be screened by the program committee chair to make sure they are within the scope of IFL, and will appear in the draft proceedings distributed at the symposium. Submissions appearing in the draft proceedings are not peer-reviewed publications. After the symposium, authors will be given the opportunity to incorporate the feedback from discussions at the symposium and will be invited to submit a revised full article for the formal review process. These revised submissions will be reviewed by the program committee using prevailing academic standards to select the best articles, which will appear in the formal proceedings. INVITED SPEAKER Johan Nordlander of Lulea University, the designer and developer of the Timber language, is the invited speaker at IFL 2010. Timber is a functional programming language that draws some of its concepts from object-oriented programming, and has built-in facilities for concurrent execution. The language is specifically targeted at implementing real-time embedded systems. TOPICS IFL welcomes submissions describing practical and theoretical work as well as submissions describing applications and tools. If you are not sure that your work is appropriate for IFL 2010, please contact the PC chair at jur(a)cs.uu.nl. Topics of interest include, but are not limited to: language concepts type checking contracts compilation techniques staged compilation runtime function specialization runtime code generation partial evaluation (abstract) interpretation generic programming techniques automatic program generation array processing concurrent/parallel programming concurrent/parallel program execution functional programming and embedded systems functional programming and web applications functional programming and security novel memory management techniques runtime profiling and performance measurements debugging and tracing virtual/abstract machine architectures validation and verification of functional programs tools and programming techniques industrial applications of functional programming PAPER SUBMISSIONS Prospective authors are encouraged to submit papers or extended abstracts to be published in the draft proceedings and to present them at the symposium. All contributions must be written in English, conform to the Springer-Verlag LNCS series format and not exceed 16 pages. The draft proceedings will appear as a technical report of the Department of Computer Science of Utrecht University. PETER LANDIN PRIZE The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. IMPORTANT DATES Draft proceedings submission deadline July 25, 2010 Registration deadline August 1, 2010 IFL 2010 Symposium September 1-3, 2010 Submission for review process deadline October 25, 2010 Notification Accept/Reject December 22, 2010 Camera ready version February 17, 2011 PROGRAM COMMITTEE Jost Berthold University of Copenhagen (DIKU), Denmark Olaf Chitil University of Kent, UK John Clements California Polytechnic State University, USA Matthew Fluet Rochester Institute of Technology, USA Andy Gill Kansas University, USA Jurriaan Hage (Chair) University of Utrecht, Netherlands Bastiaan Heeren Open University, Netherlands Ralf Hinze University of Oxford, UK John Hughes Chalmers University of Technology, Sweden Yukiyoshi Kameyama University of Tsukuba, Japan Gabriele Keller University of New South Wales, Australia Pieter Koopman Radboud University Nijmegen, Netherlands Luc Maranget INRIA, France Simon Marlow Microsoft Research, UK Marco T. Morazan Seton Hall University, USA Rex Page University of Oklahoma, USA Ricardo Pena Universidad Complutense de Madrid, Spain Sven-Bodo Scholz University of Hertfordshire, UK Tom Schrijvers Catholic University of Leuven, Belgium Don Stewart Galois, USA Wouter Swierstra Vector Fabrics, Netherlands Don Syme Microsoft, UK Peter Thiemann University of Freiburg, Germany Phil Trinder Heriott-Watt University, Scotland Janis Voigtlaender University of Bonn, Germany Viktoria Zsok Eotvos Lorand University, Hungary

1 0

bug (?) in ASYNC implementation
by Ivan Tarasov 27 Oct '09

27 Oct '09

I'm trying to understand what constitutes an RTS and how a Timber program translated into C is actually executed. So, I'm reading the RTS implementations' code. In rtsARM/rts.c, in ASYNC implementation, lines 439-442 we can see the following code: if (LESS(m->baseline, now)) { m->baseline = now; // debug("^"); } Same code is present in ASYNC implementation in rtsPOSIX/rts.c, lines 354-355 That means that if the absolute time value for the baseline for the action to be scheduled is in the past, we set the baseline to the current time. However, since all the time calculations are relative to the baseline, that would mean that all the following actions to be scheduled from the one being scheduled at the moment would "drift". Is this an intended behavior? I'm not sure that's the right decision. Ivan

4 6

GC questions
by Ivan Tarasov 25 Oct '09

25 Oct '09

1. Is there any good description of GC used on POSIX and on ARM? Why is the code for the GCs different (and could it be shared)? 2. Is there explanation of possible effects of the GC on real-timeness of the application in Timber? That looks like an important point to consider before embarking on writing real-time control in Timber. 3. (from my quick look at the rtsARM/gc.c) It looks like the GC only starts to work after the heap is 13/16 full. If that's true, I'm not sure it's the best policy: the processor may be cycle idly while it could have been collecting garbage (when the next planned event is not going to happen too soon). Thus when the event happens, it may get unnecessarily constrained by the small amount of free heap left. Ivan

1 0

Vim syntax file for Timber
by Ivan Tarasov 24 Oct '09

24 Oct '09

I made a Timber syntax file by modifying the Haskell syntax file. I added all the keywords I was able to find in the documentation on timber-lang.organd in the examples files. I also added coloring of some useful words like “sec”, “millisec”, “timer”, etc. To install the syntax file, unpack the attached archive inside your ~/.vim directory. The archive contains two files: ftdetect/timber.vim and syntax/timber.vim. Should you have any suggestions for improvements, don't hesitate to contact me. Enjoy! Ivan

2 2

Re: platforms specification
by Ivan Tarasov 05 Oct '09

05 Oct '09

Hello, is there some kind of description of Timber supported platforms? I can see the ARM and POSIX platforms, and I can see that ARM is actually not just for any ARM device, but the one with some kind of TFT (and probably other hardware). What is exactly meant by ARM there? I have a hobby project in mind, for which I'm likely to use ARM9 hardware — does that mean that I'd need to create my own RTS (just like rtsARM and rtsPOSIX in current sources)? Or should current ARM RTS be made more general instead? Ivan

2 2

syntax coloring
by Ivan Tarasov 05 Oct '09

05 Oct '09

Is there a Timber syntax description file for Vim? Ivan

2 1