in

B# .NET Technical Community Homepage

Bart De Smet's online technical community
All Tags » Type theory (RSS)

Browse by Tags

  • Taming Your Sequence’s Side-Effects Through IEnumerable.Let

    Introduction Side-effects don’t fit together very well with functional-style delayed computation, as observed in LINQ. Having such constructs embedded in an otherwise eagerly evaluated imperative language like C# can cause quite some confusion from time to time. A few samples (due to Erik Meijer) of...
    Posted to B# .NET Blog (Weblog) by bart on 09-12-2009

  • Type Theory Essentials in Pictures – Part 1 – Answers

    A while back I posted Type Theory Essentials in Pictures – Part 1 – Quiz , a series of non-annotated pictures representing concepts from type theory. Though the first part was intended to be simple, I got some feedback that people were puzzled about it… So let’s go ahead and explain it today. Next time...
    Posted to B# .NET Blog (Weblog) by bart on 04-16-2009

  • Type Theory Essentials in Pictures – Part 1 – Hints

    A few colleagues hinted kindly my post on Type Theory Essentials in Pictures – Part 1 – Quiz might be a little to subtle or non-obvious despite the verbal hints in the surrounding text. So I decided to give away the first couple of pictures (including titles that is) to set a bit more context. Here’s...
    Posted to B# .NET Blog (Weblog) by bart on 02-20-2009

  • Type Theory Essentials in Pictures – Part 1 – Quiz

    I'm currently in the middle of preparing my talks for a trip to Europe the first two weeks of March (I’ll post a conference/session list later this week). One thing I love about speaking to (technical) audiences is to bring rather theoretical but essential topics in a way that’s easy to consume in...
    Posted to B# .NET Blog (Weblog) by bart on 02-19-2009
Page 1 of 1 (4 items)
Powered by Community Server (Non-Commercial Edition), by Telligent Systems