1 #LyX 1.3 created this file. For more info see http://www.lyx.org/

2 \lyxformat 221

3 \textclass article

4 \language english

5 \inputencoding auto

6 \fontscheme default

7 \graphics default

8 \paperfontsize default

9 \papersize Default

10 \paperpackage a4

11 \use_geometry 0

12 \use_amsmath 0

13 \use_natbib 0

14 \use_numerical_citations 0

15 \paperorientation portrait

16 \secnumdepth 3

17 \tocdepth 3

18 \paragraph_separation indent

19 \defskip medskip

20 \quotes_language english

21 \quotes_times 2

22 \papercolumns 1

23 \papersides 1

24 \paperpagestyle default

25

26 \layout Title

27

28 ThiNG Project Diary

29 \layout Standard

30

31

32 \emph on

33 tonyg, 12 Dec 2004:

34 \emph default

35 Today Matthias Radestock emailed through a link to a website about the

36 L programming language (and operating system).

37 The project is being run by a Tony Hannan, a PhD student at Georgia Tech.

38 The language is really quite similar to ThiNG.

39 We've been working faster, though

40 \family typewriter

41 ;-)

42 \family default

43 .

44 \layout Standard

45

46 He seems to have Baker's shallow-bound-transaction idea at the core of the

47 language, along with extremely restricted mutable state.

48 He's still using single-dispatch, though.

49 Also, his metaobjects are the lexical scope and the dynamic state of the

50 code, where ThiNG is based on locations and explicit reflection.

51 Actually, I have a feeling ThiNG is going to end up

52 \emph on

53 completely

54 \emph default

55 reflective, with very little hardwired behaviour.

56 \layout Standard

57

58 The paper he's writing about L gets into a lot of the mathematical structure

59 we haven't formalised yet, which is nice, since we can look at how he's

60 done it for when we want to write down our formalisms.

61 \the_end