libera/#lisp - IRC Chatlog
Search
22:15:03
mariari
dependently typed language in general can express refinements, it's just a matter of how natural is it, and what makes it easy to support. Those are the hard issues as far as I can tel
22:30:42
mariari
I believe this is the link http://okmij.org/ftp/Scheme/macros.html#syntax-rule-dark-corner
23:15:25
yottabyte
how can I use dolist to return early? apparently I can use return according to these docs: http://www.lispworks.com/documentation/HyperSpec/Body/m_dolist.htm, but they don't provide an example
23:20:39
moon-child
yottabyte: in particular, the body of 'dolist' is implicitly enclosed in a block named nil. return-from will exit the lexically closest block of the given name, yielding whatever value(s) you provide, and return is the same except that it assumed that the name is nil. So this is nothing really special about dolist, except that dolist happens to enclose its body in a block
23:23:35
moon-child
(although, we are presently arguing about arcana there, so despite admonitions to the contrary, perhaps not right at the moment)
23:24:30
yottabyte
reading this http://www.lispworks.com/documentation/HyperSpec/Body/s_block.htm#block was insightful
23:24:44
yottabyte
I didn't even know what an implicit block named nil really meant until I read that
1:56:11
pjb
yottabyte: the hyperspec is a transcription of the ANSI standard for CL (which hasn't changed since it was finished in 1994).
2:51:58
nirnam
alot of thing still be written in C89, I guess you can consider CL standard fairly modern
2:59:09
aeth
Unicode as the default char-code/code-char, UTF8 as the default format for reading/writing files/etc. (although something like UTF32 might be the actual internal string format), metaobject protocol, bordeaux-threads, cffi, gray streams, extensible sequences, package local nicknames, etc.
2:59:31
aeth
Most of the latter stuff have trivial wrapper libraries or are the names of such libraries (e.g. closer-mop for the MOP)
3:03:38
aeth
That's most of them, but note that it doesn't include unicode because there is no such library for that, unfortunately.