02:08 <bremner> _sfiguser: it depends a bit what you mean by "lisp inspired". If you mean have s-expressions for syntax, it makes writing macros much easier.

02:08 <bremner> In a sense macros help you write more concise expressions.

07:40 <rlavery> Are there accepted file i/o idioms in Typed Racket? I'm not sure how to assuage the type checker about the fact that read and load can return multiple values.

07:41 <rlavery> For my purposes I'm fine throwing away all but the first value.

07:41 <rlavery> Or all but the last, for that matter.

07:42 <rlavery> I was hoping wrapping it in a begin would do the trick, but apparently not.

08:15 <rlavery> Well, I don't know how idiomatic it is, but I managed to inform the type checker of my intentions. http://pasterack.org/pastes/77237

08:24 <lexi-lambda> rlavery: I think in this case it’s useful to consider what the typechecker is telling you: `read` makes no guarantee what value it will return, so if the input file were to contain a valid s-expression but not a valid piece of state for your application, then things will go wrong.

08:25 <lexi-lambda> So the question you should ask yourself is this one: what *ought* to happen in that case? Do you want to ignore garbage data, or raise an error and halt the program?

12:00 <evdubs> does anyone happen to have a generic list-box% implementation that can support 'clickable-headers and sort the contents by their string value?

16:16 <rlavery> lexi-lambda: thanks! fits my intuition of why my solution worked.

16:17 <rlavery> every time I fight the type checker it's right and i'm wrong, go figure. i'm pretty delighted with how my program behaves now!

16:18 <rlavery> much better than the eval-using proof-of-concept I hacked together using no-check, haha