This demonstrates yet another problem with not simply *writing a blog post* or something on "The Trouble With Types". Not only do videos require enormous bandwidth (which mobile users often pay metered rates for, and most people not actually metered have caps with overage charges for exceeding them), and sometimes get stuck buffering, and eat up disk space if you download to keep a local copy to avoid the buffering, and google can't see inside them, nor can control-F, nor can you read them at *your* pace, nor can you skim them, nor can you copy and paste bits to quote and discuss them, nor can you print them and highlight key passages, nor etc. etc. etc., but fairly often the damned things are locked behind paywalls or similar idiocy, which is rarely the case with textual content such as blog posts.
And in an awful lot of cases the giant extra bandwidth, and loss of most of the search, navigation, and UI capabilities that have built up around text but are sorely lacking for audio/video, is suffered merely to deliver several tens of megabytes of pictures of someone's talking head, with maybe some slides showing some useful diagrams now and again, and of course sometimes the site *wants* to make quoting and even viewing more difficult for their own (perceived, at least; it's often illusory, especially in the case of copy-protection) pecuniary benefit. Text, with maybe a few illustrative jpegs or even an animated .gif or two if needed, for the win. :) On Tue, Oct 8, 2013 at 6:32 AM, Leonardo Borges <leonardoborges...@gmail.com > wrote: > There's a link to his presentation there actually: > http://www.infoq.com/presentations/data-types-issues?utm_source=infoq&utm_medium=QCon_EarlyAccessVideos&utm_campaign=StrangeLoop2013 > > However is says this: > > *Thank you for attending Strange Loop 2013* > This is a restricted presentation that can only be viewed by Strange Loop > 2013 attendees! > > Maybe Alex can comment on whether it's possible for those who didn't > attend to watch this video at all. > > I'd be very keen. > > Leonardo Borges > www.leonardoborges.com > > > On Tue, Oct 8, 2013 at 2:11 AM, gaz jones <gareth.e.jo...@gmail.com>wrote: > >> Martin Odersky gave a keynote at Strangeloop this year called "The >> Trouble With Types" ( >> https://thestrangeloop.com/sessions/the-trouble-with-types) which made >> me never want to use a type system again (probably the exact opposite of >> his intention). The video should be coming out on infoq at some point: ( >> http://www.infoq.com/conferences/strangeloop2013/). I've never looked at >> Scala before and I'm pretty sure I never will after sitting through that... >> >> >> On Mon, Oct 7, 2013 at 9:26 AM, juan.facorro <juan.faco...@gmail.com>wrote: >> >>> Thanks for the link! I really liked the interview, it was interesting >>> and fun to watch. >>> >>> J >>> >>> On Monday, October 7, 2013 9:49:24 AM UTC+9, brad bowman wrote: >>>> >>>> > zcaudate <z...@caudate.me> Oct 05 08:35PM -0700 >>>> > I'm a little bit miffed over this current craze of `types` and >>>> > `correctness` of programs. It smells to me of the whole `object` >>>> craze of >>>> > the last two decades. I agree that types (like objects) have their >>>> uses, >>>> > especially in very well defined problems, but they have got me in >>>> trouble >>>> > over and over again when I am working in an area where the goal is >>>> unclear >>>> > and requirements are constantly changing. >>>> >>>> Joe Armstrong and Simon Peyton Jones discuss Erlang and Haskell >>>> http://www.infoq.com/**interviews/armstrong-peyton-** >>>> jones-erlang-haskell<http://www.infoq.com/interviews/armstrong-peyton-jones-erlang-haskell> >>>> >>>> This interview covers some of the strong-types vs flexible development >>>> (apparent) dichotomy, but in a playful, open and non-dogmatic way. >>>> (catmatic?) >>>> >>>> Simon Peyton Jones is one of the Haskell leaders, yet admits to >>>> being envious of type-free generics. Joe Armstrong of Erlang fame >>>> also sees the benefit to thinking in and annotating types. >>>> These two are both leaders of typed or dynamic cults but have >>>> a pleasant friendly and frank conversation about the issues. >>>> (Erlang's Dialyzer sounds somewhat like core.typed) >>>> >>>> A sample: >>>> >>>> SPJ: So, I've told you what I most envy about Erlang. What do you most >>>> envy >>>> about Haskell? >>>> >>>> JA: All the types. I mean they're very nice. I wish we had them. On the >>>> other >>>> hand, wouldn't you love to have all these generic turn-to-binary, these >>>> sort >>>> of things? How can you live without them? >>>> >>>> SPJ: I have a little bit of residual envy about generics. >>>> >>>> JA: You just take anything and compare it to the serializer and then >>>> send it? >>>> >>>> SPJ: That's sinfully easy, and shouldn't be allowed. >>>> >>>> >>>> So if these two can agree that there's strengths and weaknesses in both >>>> approaches, that settles it for me. It's a matter of knowing your >>>> trade-offs and choosing your tools appropriately. >>>> >>>> My suspicion is that type affinity is related to some trait of >>>> personality, >>>> and so trying to "prove" superiority is a likely to work as "proving" >>>> you >>>> are right in any other clash of personalities. >>>> >>>> Brad >>>> >>>> -- >>> -- >>> You received this message because you are subscribed to the Google >>> Groups "Clojure" group. >>> To post to this group, send email to clojure@googlegroups.com >>> Note that posts from new members are moderated - please be patient with >>> your first post. >>> To unsubscribe from this group, send email to >>> clojure+unsubscr...@googlegroups.com >>> For more options, visit this group at >>> http://groups.google.com/group/clojure?hl=en >>> --- >>> You received this message because you are subscribed to the Google >>> Groups "Clojure" group. >>> To unsubscribe from this group and stop receiving emails from it, send >>> an email to clojure+unsubscr...@googlegroups.com. >>> For more options, visit https://groups.google.com/groups/opt_out. >>> >> >> -- >> -- >> You received this message because you are subscribed to the Google >> Groups "Clojure" group. >> To post to this group, send email to clojure@googlegroups.com >> Note that posts from new members are moderated - please be patient with >> your first post. >> To unsubscribe from this group, send email to >> clojure+unsubscr...@googlegroups.com >> For more options, visit this group at >> http://groups.google.com/group/clojure?hl=en >> --- >> You received this message because you are subscribed to the Google Groups >> "Clojure" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to clojure+unsubscr...@googlegroups.com. >> For more options, visit https://groups.google.com/groups/opt_out. >> > > -- > -- > You received this message because you are subscribed to the Google > Groups "Clojure" group. > To post to this group, send email to clojure@googlegroups.com > Note that posts from new members are moderated - please be patient with > your first post. > To unsubscribe from this group, send email to > clojure+unsubscr...@googlegroups.com > For more options, visit this group at > http://groups.google.com/group/clojure?hl=en > --- > You received this message because you are subscribed to the Google Groups > "Clojure" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to clojure+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/groups/opt_out. > -- -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups "Clojure" group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.
