Re: Strange Loop Conference Call for Presentations

2016-04-13 Thread QAston via Digitalmars-d-announce
On Wednesday, 13 April 2016 at 15:00:53 UTC, Joakim wrote: On Wednesday, 13 April 2016 at 14:33:01 UTC, Andrei That conference had a strange incident last year where they kicked a guy out for his political views, that had nothing to do with his technical talk:

Re: Strange Loop Conference Call for Presentations

2016-04-13 Thread Joakim via Digitalmars-d-announce
On Wednesday, 13 April 2016 at 14:33:01 UTC, Andrei Alexandrescu wrote: http://thestrangeloop.com/cfp.html This edition seems to be a very good fit for us. From the page: "Frequently accepted topics: functional programming, logic programming, dynamic/scripting languages, new or emerging

Re: The Strange Loop conference

2011-09-23 Thread Christophe
Timon Gehr , dans le message (digitalmars.D:145067), a écrit : I did: http://pastebin.com/2rEdx0RD Nice! port of some haskell code from RosettaCode (run it ~20 min to get results, haskell runs in less than 2s) http://pastebin.com/Vx4hXvaT The main performance issue is the garbage

Re: The Strange Loop conference

2011-09-23 Thread Timon Gehr
On 09/23/2011 10:07 AM, Christophe wrote: Timon Gehr , dans le message (digitalmars.D:145067), a écrit : I did: http://pastebin.com/2rEdx0RD Nice! port of some haskell code from RosettaCode (run it ~20 min to get results, haskell runs in less than 2s) http://pastebin.com/Vx4hXvaT The

Re: The Strange Loop conference

2011-09-23 Thread Simen Kjaeraas
On Thu, 22 Sep 2011 11:22:10 +0200, Jacob Carlborg d...@me.com wrote: auto newrange = filter!a5(map!2*a(range)); At first some people get the heebiejeebies when seeing string-based lambda and the implicit naming convention for unary and binary functions. More importantly, there's the

Re: The Strange Loop conference

2011-09-23 Thread Jacob Carlborg
On 2011-09-23 18:05, Simen Kjaeraas wrote: On Thu, 22 Sep 2011 11:22:10 +0200, Jacob Carlborg d...@me.com wrote: auto newrange = filter!a5(map!2*a(range)); At first some people get the heebiejeebies when seeing string-based lambda and the implicit naming convention for unary and binary

Re: The Strange Loop conference

2011-09-22 Thread Jacob Carlborg
On 2011-09-21 22:20, Andrei Alexandrescu wrote: On 9/21/11 2:29 PM, Timon Gehr wrote: On 09/21/2011 06:55 PM, Andrei Alexandrescu wrote: I'm back from the Strange Loop conference. It's been an interesting experience. The audience was very diverse, with interest in everything functional (you'd

Re: The Strange Loop conference

2011-09-22 Thread Nick Sabalausky
Peter Alexander peter.alexander...@gmail.com wrote in message news:j5dhe0$2ln6$1...@digitalmars.com... For example, in Haskell, map (correctly) has the signature: map :: (a - b) - [a] - [b] but in D, std.map has the signature (expressed in some Haskell/D pseudocode) map :: (a - b) - [a]

Re: The Strange Loop conference

2011-09-22 Thread Christophe
Nick Sabalausky , dans le message (digitalmars.D:145002), a écrit : For example, in Haskell, map (correctly) has the signature: map :: (a - b) - [a] - [b] but in D, std.map has the signature (expressed in some Haskell/D pseudocode) map :: (a - b) - [a] - Map!((a - b), [a]) except that

Re: The Strange Loop conference

2011-09-22 Thread Dmitry Olshansky
On 22.09.2011 1:53, Timon Gehr wrote: On 09/21/2011 11:11 PM, Andrei Alexandrescu wrote: On 9/21/11 3:34 PM, Peter Alexander wrote: What if foo is a virtual member function? Those can't be templates. Then it would need to take a dynamic Range as parameter, parameterized with the element

Re: The Strange Loop conference

2011-09-22 Thread bearophile
Andrei Alexandrescu: I have missed to answer a small part: On 9/21/11 5:22 PM, bearophile wrote: This is why I have asked for functions like amap/afilter in Phobos, because in many situations in D you need an array instead of a lazy range. I don't think that was being asked. I don't

Re: The Strange Loop conference

2011-09-22 Thread Timon Gehr
On 09/22/2011 02:29 PM, Christophe wrote: Nick Sabalausky , dans le message (digitalmars.D:145002), a écrit : For example, in Haskell, map (correctly) has the signature: map :: (a - b) - [a] - [b] but in D, std.map has the signature (expressed in some Haskell/D pseudocode) map :: (a - b)

Re: The Strange Loop conference

2011-09-22 Thread Sean Kelly
You might wan to play with GC.reserve. Sent from my iPhone On Sep 22, 2011, at 4:35 PM, Timon Gehr timon.g...@gmx.ch wrote: On 09/22/2011 02:29 PM, Christophe wrote: Nick Sabalausky , dans le message (digitalmars.D:145002), a écrit : For example, in Haskell, map (correctly) has the

Rewrite rules [Was: Re: The Strange Loop conference]

2011-09-22 Thread bearophile
Timon Gehr: Furthermore, DMD does not do any advanced optimizations In Haskell there are ways to add library-defined optimizations, with rewrite rules: http://www.haskell.org/haskellwiki/Playing_by_the_rules http://www.haskell.org/haskellwiki/GHC/Using_rules There are also papers about this.

The Strange Loop conference

2011-09-21 Thread Andrei Alexandrescu
I'm back from the Strange Loop conference. It's been an interesting experience. The audience was very diverse, with interest in everything functional (you'd only need to say Haskell or monad to get positive aahs), Web/cloud/tablet stuff, concurrent and distributed systems. Mentioning C++ non

Re: The Strange Loop conference

2011-09-21 Thread bearophile
Andrei Alexandrescu: which has enjoyed moderate audience and success. I uploaded the slides at http://erdani.com/d/generic-programming-galore.pdf and the video may be available soon. In future talks I suggest to show some downsides too, like explaining how much memory uses the D RE engine,

Re: The Strange Loop conference

2011-09-21 Thread Timon Gehr
On 09/21/2011 06:55 PM, Andrei Alexandrescu wrote: I'm back from the Strange Loop conference. It's been an interesting experience. The audience was very diverse, with interest in everything functional (you'd only need to say Haskell or monad to get positive aahs), Web/cloud/tablet stuff

Re: The Strange Loop conference

2011-09-21 Thread Andrej Mitrovic
What is the purpose of this ternary operator on slide 16? static if (is(typeof(1 ? T[0].init : T[1].init) U))

Re: The Strange Loop conference

2011-09-21 Thread Timon Gehr
On 09/21/2011 09:44 PM, Andrej Mitrovic wrote: What is the purpose of this ternary operator on slide 16? static if (is(typeof(1 ? T[0].init : T[1].init) U)) This does the bulk of the work to get the combined type of T[0] and T[1]. It basically just asks the compiler what the combined type

Re: The Strange Loop conference

2011-09-21 Thread Andrei Alexandrescu
On 9/21/11 12:59 PM, bearophile wrote: Andrei Alexandrescu: which has enjoyed moderate audience and success. I uploaded the slides at http://erdani.com/d/generic-programming-galore.pdf and the video may be available soon. In future talks I suggest to show some downsides too, like explaining

Re: The Strange Loop conference

2011-09-21 Thread Andrei Alexandrescu
On 9/21/11 2:29 PM, Timon Gehr wrote: On 09/21/2011 06:55 PM, Andrei Alexandrescu wrote: I'm back from the Strange Loop conference. It's been an interesting experience. The audience was very diverse, with interest in everything functional (you'd only need to say Haskell or monad to get positive

Re: The Strange Loop conference

2011-09-21 Thread Peter Alexander
On 21/09/11 8:29 PM, Timon Gehr wrote: Where D still loses when compared to Scala is functional code syntax: val newcol = collection filter {x=x5} map {x=2*x} or maybe val newcol = for(x-collection if(x5)) yield 2*x vs auto newrange = filter!((x){return x5;})(map!((x){return 2*x;})(range));

Re: The Strange Loop conference

2011-09-21 Thread Sean Kelly
On Sep 21, 2011, at 12:59 PM, Andrei Alexandrescu wrote: On 9/21/11 12:59 PM, bearophile wrote: Andrei Alexandrescu: which has enjoyed moderate audience and success. I uploaded the slides at http://erdani.com/d/generic-programming-galore.pdf and the video may be available soon. In

Re: The Strange Loop conference

2011-09-21 Thread Andrei Alexandrescu
On 9/21/11 3:34 PM, Peter Alexander wrote: The problem it's simply intractable to do lazy computation in D while maintaining the 'correct' static typing. For example, in Haskell, map (correctly) has the signature: map :: (a - b) - [a] - [b] but in D, std.map has the signature (expressed in

Re: The Strange Loop conference

2011-09-21 Thread Timon Gehr
On 09/21/2011 10:20 PM, Andrei Alexandrescu wrote: On 9/21/11 2:29 PM, Timon Gehr wrote: On 09/21/2011 06:55 PM, Andrei Alexandrescu wrote: I'm back from the Strange Loop conference. It's been an interesting experience. The audience was very diverse, with interest in everything functional

Re: The Strange Loop conference

2011-09-21 Thread Timon Gehr
On 09/21/2011 11:11 PM, Andrei Alexandrescu wrote: On 9/21/11 3:34 PM, Peter Alexander wrote: What if foo is a virtual member function? Those can't be templates. Then it would need to take a dynamic Range as parameter, parameterized with the element type. Would it be a good idea to allow

Re: The Strange Loop conference

2011-09-21 Thread bearophile
Peter Alexander: auto newrange = filter!a5(map!2*a(range)); At least I think that works?? It works: import std.stdio, std.range, std.algorithm; void main() { auto r = iota(20); auto n = filter!q{ a 5 }(map!q{ 2 * a }(r)); writeln(n); } The problem it's simply intractable to

Re: The Strange Loop conference

2011-09-21 Thread Peter Alexander
On 21/09/11 10:11 PM, Andrei Alexandrescu wrote: On 9/21/11 3:34 PM, Peter Alexander wrote: The problem it's simply intractable to do lazy computation in D while maintaining the 'correct' static typing. For example, in Haskell, map (correctly) has the signature: map :: (a - b) - [a] - [b]

Re: The Strange Loop conference

2011-09-21 Thread Andrei Alexandrescu
On 9/21/11 5:22 PM, bearophile wrote: This is why I have asked for functions like amap/afilter in Phobos, because in many situations in D you need an array instead of a lazy range. I don't think that was being asked. Of course, if every function that accepts a range becomes a template then

Re: The Strange Loop conference

2011-09-21 Thread bearophile
Andrei Alexandrescu: Feel free to spare the patronizing part, it won't be missed. I am sorry. I have full respect for Walter's and yours work. Bye, bearophile

Re: The Strange Loop conference

2011-09-21 Thread Don
On 21.09.2011 22:32, Sean Kelly wrote: On Sep 21, 2011, at 12:59 PM, Andrei Alexandrescu wrote: On 9/21/11 12:59 PM, bearophile wrote: Andrei Alexandrescu: which has enjoyed moderate audience and success. I uploaded the slides at http://erdani.com/d/generic-programming-galore.pdf and the

CfP: Strange Loop Conference 2011

2011-05-19 Thread Andrei Alexandrescu
A kind reader let me know about this conference: https://thestrangeloop.com/sessions-page/call-for-presentations Please consider submitting! Andrei