tonyg

38 ms·

451.
by tonyg 9y ago
Yep. You can, of course, make a similar argument for Scheme. But you don't get a very interesting type system out of it. Perhaps I should have written "... nontrivially statically typed."
452.
by tonyg 9y ago
Not unless you think assembly language or machine code are statically typed.
453.
by tonyg 9y ago
I made a mistake, believing that `ag` could handle extended glob syntax. The real numbers are: ~/src/racket/racket/share/pkgs$ find . -iname '*.rkt' | xargs ag lambda | wc -l 33589 ~/sr
454.
by tonyg 9y ago
We will continue to suffer problems like this so long as we continue to use languages which offer machine words in place of general integers.
455.
by tonyg 9y ago
This is certainly not the case. Some, but by no means all, of the core maintainers prefer the unicode glyph, but the vast majority of the code uses a spelled-out lambda. In my current checkout of the codebase, I see the following: ~&#
456.
by tonyg 9y ago
They tend not to survive roundtripping well, for example. JSON describes data; comments are metadata. To do them well you'd have to bring them into JSON infoset, such as it is. (ETA: JSON already has problems with canonicalization. Add
457.
by tonyg 9y ago
Gensym is not enough. There are two kinds of hygiene: avoiding capture by the macro of identifiers used in expressions supplied by the user, and avoiding capture by the user of identifiers supplied by the macro. See http://commun
458.
by tonyg 9y ago
You might find Mixed Member Proportional an interesting option. It is directly proportional in the party vote and also includes electorate MPs. It does not suffer from some of the strategic voting problems that STV suffers from.
459.
by tonyg 9y ago
This is not true: Erlang is a counter-example.
460.
Drawing Presentable Trees(llimllib.github.io)
1 points by tonyg 9y ago|0 comments
461.
Awesome Object Capabilities and Capability-Based Security(github.com)
1 points by tonyg 9y ago|0 comments
462.
Hop: a multitier JavaScript(hop.inria.fr)
2 points by tonyg 9y ago|0 comments
463.
by tonyg 9y ago
Reminds me of "multitier" programming, which is more focussed on a client/server split, but otherwise a similar idea. See for example http://hop.inria.fr/home/index.html and the extensive research litera
464.
Generational Garbage Collection and the Radioactive Decay Model [pdf](cesura17.net)
2 points by tonyg 9y ago|0 comments
465.
by tonyg 9y ago
This looks really useful. Thank you for the link.
466.
Miniircd: A (very) Simple Internet Relay Chat (IRC) Server(github.com)
1 points by tonyg 9y ago|0 comments
467.
by tonyg 9y ago
I wonder what dbe0, dbe1, and df{c0-c7} do? They are present and undocumented in all of Intel, AMD and VIA's variations (see p4-p5 of the paper).
468.
by tonyg 9y ago
You might be interested in W7, an object-capability Scheme variant: http://mumble.net/~jar/pubs/secureos/secureos.html Starting from something like the lambda-calculus seems more sensible than starting from s
469.
by tonyg 9y ago
ISTR that Locomotive's RENUM took optional arguments that let you renumber chunks of the program separately... yep! You could renumber starting from a given line number through the end of the program, so in principle you could do a who
470.
by tonyg 9y ago
This is one of the reasons why having an implementation that correctly handles tail calls is so important.
471.
A New Concurrent ML(wingolog.org)
57 points by tonyg 9y ago|5 comments
472.
by tonyg 9y ago
The Rhino javascript implementation has continuations. Chris Double once stuck it in Jetty, and I threw together a horrifying proof-of-concept Seaside-like continuation-based web programming library based on that: http://homepage
473.
by tonyg 9y ago
Interestingly, we get .LC0: .string "Lorem ipsum" [...] movl $.LC0, %esi movl $ptr2, %edi xorl %eax, %eax jmp bogus
474.
A Whirlwind Tutorial on Creating Really Teensy ELF Executables for Linux(muppetlabs.com)
2 points by tonyg 9y ago|0 comments
475.
by tonyg 9y ago
My favourite page on ELF executables of all time: http://www.muppetlabs.com/~breadbox/software/tiny/teensy.htm... , "A Whirlwind Tutorial on Creating Really Teensy ELF Executables for Linux (or, 'Siz
476.
by tonyg 10y ago
This is such a cool idea. One potential application is doing something like F#'s type providers for typed access to a SQL database. You could use `trivial` to get fully typed SELECT statements integrated with Typed Racket. In fact, Ben
477.
by tonyg 10y ago
It's back now!
478.
Exploring 3-Move – A LambdaMOO inspired environment(bluishcoder.co.nz)
74 points by tonyg 10y ago|15 comments
479.
by tonyg 10y ago
If you can step outside the confines of existing desktop environments (i.e. you are writing your own user interface), you can get event streams from each pointer device independently by reading `/dev/input/*`.
480.
by tonyg 10y ago
In principle, maybe; in practice, currently, no: Scheme requires proper tail calls, and Javascript engines as a rule do not provide them. Yet.

More ›