[PL-sem-jr] [Reminder] PL Jr today at 2
Hyeyoung Shin
shin.hy at husky.neu.edu
Fri Mar 22 14:04:58 EDT 2019
WVH 366 is not available for Wednesday 1pm - 2pm. Ashley will look for one
outside WVH and get back to me.
I will close the poll today. If you haven't indicated your availability but
intend to come to the meetings, please do so by 5 pm.
Thank you!
Hyeyoung
On Fri, Mar 22, 2019 at 11:49 AM Artem Pelenitsyn <a.pelenitsyn at gmail.com>
wrote:
> Hello all!
>
> The poll seems to be done. Actually, I just recalled that we also have
> Milo most of the times. If someone could ping him too, that'd be nice.
>
> So far, there is only one 1-hr spot suitable for everyone: Wed 1pm-2pm. We
> might decide to move there next week. Any opinions?
>
> --
> Best, Artem
>
> On Fri, 22 Mar 2019 at 11:16 Artem Pelenitsyn <a.pelenitsyn at gmail.com>
> wrote:
>
>> Hi!
>>
>> At this point, we have everyone's vote except for Matt (if I remember
>> correctly). Can anyone ping him?
>>
>> --
>> Best, Artem
>>
>> On Thu, 21 Mar 2019 at 15:46 Hyeyoung Shin <shin.hy at husky.neu.edu> wrote:
>>
>>> Nice! Let's begin our next meeting with a brief discussion over this
>>> exercise.
>>>
>>> If you missed today's meeting, the homework is to read chapter 8.
>>>
>>> Here is the poll to decide an alternative meeting time:
>>>
>>> https://www.when2meet.com/?7675795-TtBik
>>>
>>> Please indicate your availability.
>>>
>>> Thank you!
>>>
>>> Hyeyoung
>>>
>>>
>>> On Thu, Mar 21, 2019 at 3:27 PM Artem Pelenitsyn <a.pelenitsyn at gmail.com>
>>> wrote:
>>>
>>>> Hello everyone,
>>>>
>>>> As a *short* follow-up exercise for today's discussion, I suggest you
>>>> all try the following.
>>>>
>>>> Section 7.1.7 of the book introduces the Reader functor `((→) r)` i.e.
>>>> the type constructor for all function types accepting a value of type r as
>>>> an argument. Just like the Maybe type constructor maps `Int` to `Maybe Int`
>>>> etc., Reader r maps `Int` to `r → Int` (a function type from r to Int's),
>>>> etc.
>>>>
>>>> Exercise. Find out why (→ r) — a type constructor for function types
>>>> *returning* values of type r — is NOT a functor. (The `(→ r)` type
>>>> constructor maps `Int` to `Int→ r`, etc.) Where does the definition of
>>>> Functor breaks for (→ r)?
>>>>
>>>> Hint: it breaks real quick.
>>>>
>>>> --
>>>> Best wishes,
>>>> Artem Pelenitsyn
>>>>
>>>> On Thu, 21 Mar 2019 at 11:08 Artem Pelenitsyn <a.pelenitsyn at gmail.com>
>>>> wrote:
>>>>
>>>>> Hi everyone,
>>>>>
>>>>> Nearly a month ago Celeste wrote to Slack channel #pl-sem-jr:
>>>>>
>>>>> *The pl-sem-jr happens right exactly on my TA hour. Would it be
>>>>> possible to move it to almost any other time on Thursday? (besides
>>>>> 10-11--that’s not free on the 7th)*
>>>>>
>>>>> I'd fine with moving to 1pm-2pm instead of current 2pm-3pm. But I
>>>>> guess various ppl will have different requirements. So leaving this for
>>>>> today's meeting.
>>>>>
>>>>> --
>>>>> Best, Artem
>>>>>
>>>>> On Thu, 21 Mar 2019 at 11:03 Hyeyoung Shin <shin.hy at husky.neu.edu>
>>>>> wrote:
>>>>>
>>>>>> Dear juniors,
>>>>>>
>>>>>> This is a reminder that we have a meeting today at 2 pm (WVH 366).
>>>>>>
>>>>>> HW: Read Chapter 7. Functors.
>>>>>>
>>>>>> See you all there!
>>>>>>
>>>>>> Sincerely,
>>>>>>
>>>>>> Hyeyoung
>>>>>> _______________________________________________
>>>>>> Pl-sem-jr mailing list
>>>>>> Pl-sem-jr at lists.ccs.neu.edu
>>>>>> https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr
>>>>>>
>>>>> _______________________________________________
>>>> Pl-sem-jr mailing list
>>>> Pl-sem-jr at lists.ccs.neu.edu
>>>> https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr
>>>>
>>> _______________________________________________
> Pl-sem-jr mailing list
> Pl-sem-jr at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr
>
-------------- next part --------------
HTML attachment scrubbed and removed
More information about the Pl-sem-jr
mailing list