June 2017 meetup

[Boris Rozinov]

Hello,

Is it next Wednesday? What will be the topic?

Thanks,

Boris

[dann toliver]

The June Haskell meeting is indeed this coming Wednesday, June 21 -- thanks for asking! Here's the link with directions: https://bentomiso.com/events/haskell-meetup-2017-june

The topics of conversation are an open topic at this point. Feel free to suggest topics here in the mailing list, or we can just figure it out when folks arrive. :)

See you all there!

Dann

--
You received this message because you are subscribed to the Google Groups "Toronto Haskell User Group" group.
To unsubscribe from this group and stop receiving emails from it, send an email to toronto-haske...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[Ben Darwin]

We could consider pfenning and davies, "a judgemental reconstruction of modal logic" (2000) ... it's relevant to Haskell through the claimed curry-howard correspondence and through their presentation of moggi's monadic metatheory as a modal logic (although the translation from category theory is not given in this paper).  I've been reading it although I don't understand all details/motivations.

On Sunday, 18 June 2017, dann toliver <00d...@gmail.com> wrote:

The June Haskell meeting is indeed this coming Wednesday, June 21 -- thanks for asking! Here's the link with directions: https://bentomiso.com/events/haskell-meetup-2017-june

The topics of conversation are an open topic at this point. Feel free to suggest topics here in the mailing list, or we can just figure it out when folks arrive. :)

See you all there!

Dann

On Jun 14, 2017, at 5:50 PM, Boris Rozinov <sip...@gmail.com> wrote:

Hello,

Is it next Wednesday? What will be the topic?

Thanks,

Boris

--
You received this message because you are subscribed to the Google Groups "Toronto Haskell User Group" group.

To unsubscribe from this group and stop receiving emails from it, send an email to toronto-haskell+unsubscribe@googlegroups.com.

For more options, visit https://groups.google.com/d/optout.

--
You received this message because you are subscribed to the Google Groups "Toronto Haskell User Group" group.

To unsubscribe from this group and stop receiving emails from it, send an email to toronto-haskell+unsubscribe@googlegroups.com.

[Boris Rozinov]

Thanks

[Boris Rozinov]

I would suggest some topic that can start with some more practical issue so we can have some takeaways for our daily Haskell programming.  

On Sunday, 18 June 2017 15:38:28 UTC-4, dann toliver wrote:

[dann toliver]

Those both sound like great ideas -- maybe we can even mix them together and explore the practical aspects of Moggi's Monadic Metatheory (which, surprisingly, is not something found in Unearthed Arcana). 

[_Boris _]

Probably. But I would , personally, prefer that our discussion start with some practical aspect and use cases and then (if applicable) move to exploration of theoretical foundation of the topic. For example, Pipes (just as an example): One need to have basic Haskell knowledge to understand how to start using  it and benefit for that. But then it can be extended further to explanation  in context of category theory. The great example of somewhat similar approach for Lenses presentation (https://www.youtube.com/watch?v=T88TDS7L5DY&t=786s) by Edward Kmett

To unsubscribe from this group and stop receiving emails from it, send an email to toronto-haskell+unsubscribe@googlegroups.com.

For more options, visit https://groups.google.com/d/optout.

--
You received this message because you are subscribed to the Google Groups "Toronto Haskell User Group" group.

To unsubscribe from this group and stop receiving emails from it, send an email to toronto-haskell+unsubscribe@googlegroups.com.

For more options, visit https://groups.google.com/d/optout.

--

Thanks,
Boris Rozinov
Click to call for free or dial 16472586007:
http://callme.comfytel.com?tel=16472586007

[dann toliver]

Just for reference, Ben mentioned a topic in an earlier email that doesn't seem to be included in this thread, and that's what I was referring to below. We'll definitely talk about both his topic and your topic, Boris. 

It might be easier to get into the practical aspects if you bring a few questions, or better yet some code that we can look at and explore. It's also possible someone will put together some material for us that verges on the practical, but questions and code are an easy entry point into that discussion. 

Looking forward to seeing you all soon!

Dann

[_Boris _]

OK, thanks