Hello and a talk inquiry
21 views
Skip to first unread message
marek
Oct 12, 2015, 1:36:59 PM10/12/15
to Functional Programming Brno
Hi folks,
first of all, let me introduce myself. I am Marek Bernat, I studied physics in Prague, worked for a few software companies there and recently moved to Brno to work with an amazing Haskell team here and was delighted to discover FPBrno as well.
I'd love to give a talk about type theory (which I am a huge fan of), since it is a great tool for understanding relations between and various features of functional languages but I'm not sure how well-suited it is for this group. Would anyone be interested in something like that (meaning perhaps a bit less practical)?
In case the answer to the above is no, I also like Functional Pearls (be sure to check it out if you haven't yet!), so I could give a talk about some cool functional algorithms or data structures.
Cheers,
Marek
P.S.: If you haven't yet, please consider joining out our new Meetup group. Besides being another channel for finding other FP enthusiasts, it might be a good place for scheduling events (as opposed to ad-hoc Doodles here).
first of all, let me introduce myself. I am Marek Bernat, I studied physics in Prague, worked for a few software companies there and recently moved to Brno to work with an amazing Haskell team here and was delighted to discover FPBrno as well.
I'd love to give a talk about type theory (which I am a huge fan of), since it is a great tool for understanding relations between and various features of functional languages but I'm not sure how well-suited it is for this group. Would anyone be interested in something like that (meaning perhaps a bit less practical)?
In case the answer to the above is no, I also like Functional Pearls (be sure to check it out if you haven't yet!), so I could give a talk about some cool functional algorithms or data structures.
Cheers,
Marek
P.S.: If you haven't yet, please consider joining out our new Meetup group. Besides being another channel for finding other FP enthusiasts, it might be a good place for scheduling events (as opposed to ad-hoc Doodles here).
Peter Trško
Oct 12, 2015, 2:32:11 PM10/12/15
to Functional Programming Brno
Hi.*,
On Monday, 12 October 2015 19:36:59 UTC+2, marek wrote:
I'd love to give a talk about type theory (which I am a huge fan of), since it is a great tool for understanding relations between and various features of functional languages but I'm not sure how well-suited it is for this group. Would anyone be interested in something like that (meaning perhaps a bit less practical)?
Wait, what is not practical about type theory? :-) This is something I would love to attend.
In case the answer to the above is no, I also like Functional Pearls (be sure to check it out if you haven't yet!), so I could give a talk about some cool functional algorithms or data structures.
Same big YES here.
How about at least one of both? Maybe not on the same meetup, though.
Cheers,
Peter
Jan Šipr
Oct 12, 2015, 2:51:46 PM10/12/15
to fpb...@googlegroups.com
Hi .*,
I must say, I'm interested in both. So, if it is possible, give as some talk,
pleas ;).
BTW: I'm really excited about the way this whole group is heading. Let's keep
it up ;).
Cheers,
Honza
On Monday, October 12, 2015 11:32:10 AM Peter Trško wrote:
> Hi.*,
>
> On Monday, 12 October 2015 19:36:59 UTC+2, marek wrote:
> > I'd love to give a talk about type theory (which I am a huge fan of),
> > since it is a great tool for understanding relations between and various
> > features of functional languages but I'm not sure how well-suited it is
> > for
> > this group. Would anyone be interested in something like that (meaning
> > perhaps a bit less practical)?
>
> Wait, what is not practical about type theory? :-) This is something I
> would love to attend.
>
> > In case the answer to the above is no, I also like Functional Pearls
> > <https://wiki.haskell.org/Research_papers/Functional_pearls> (be sure to
I must say, I'm interested in both. So, if it is possible, give as some talk,
pleas ;).
BTW: I'm really excited about the way this whole group is heading. Let's keep
it up ;).
Cheers,
Honza
On Monday, October 12, 2015 11:32:10 AM Peter Trško wrote:
> Hi.*,
>
> On Monday, 12 October 2015 19:36:59 UTC+2, marek wrote:
> > I'd love to give a talk about type theory (which I am a huge fan of),
> > since it is a great tool for understanding relations between and various
> > features of functional languages but I'm not sure how well-suited it is
> > for
> > this group. Would anyone be interested in something like that (meaning
> > perhaps a bit less practical)?
>
> Wait, what is not practical about type theory? :-) This is something I
> would love to attend.
>
> > In case the answer to the above is no, I also like Functional Pearls
Vladimir Still
Oct 13, 2015, 2:45:50 AM10/13/15
to fpb...@googlegroups.com
Hi,
I would also be interested in both talks :-).
Cheers,
Vláďa
I would also be interested in both talks :-).
Cheers,
Vláďa
marek
Oct 13, 2015, 1:16:00 PM10/13/15
to Functional Programming Brno, xst...@fi.muni.cz
Hey,
thanks for the encouraging words. So I'll try to prepare something about the type theory first.
The topic is huge, so I'll probably cover just the basics and/or applications to real-world languages and we'll see how it works.
Cheers,
Marek
thanks for the encouraging words. So I'll try to prepare something about the type theory first.
The topic is huge, so I'll probably cover just the basics and/or applications to real-world languages and we'll see how it works.
Cheers,
Marek
Reply all
Reply to author
Forward
0 new messages