Options

# 18.S097: Programming with Categories

edited January 14

Hi!

is anyone attending the course remotely? So far I find it very interesting and well taught.

http://brendanfong.com/programmingcats.html

Cheers,

Ubaldo

• Options
1.

I'm attending from NZ! I've been programming in Haskell for a few years, which is how I found these lectures.

Comment Source:I'm attending from NZ! I've been programming in Haskell for a few years, which is how I found these lectures.
• Options
2.

Hi,

I'm a software developer watching the videos from Canada. I try to use concepts from Math and Category Theory in development projects. This might be a good time and opportunity to finally learn some Haskell. I hope to write a few comments as the course progresses. Thank you Brendan, Bartosz, and David.

Ken

Comment Source:Hi, I'm a software developer watching the videos from Canada. I try to use concepts from Math and Category Theory in development projects. This might be a good time and opportunity to finally learn some Haskell. I hope to write a few comments as the course progresses. Thank you Brendan, Bartosz, and David. Ken
• Options
3.

Hi, I'm "attending" from Cambridge, UK; we've a small learning group (in Russian) in Telegram, too

Comment Source:Hi, I'm "attending" from Cambridge, UK; we've a small learning group (in Russian) in Telegram, too
• Options
4.

I'm watching from Cleveland, OH. Hoping to improve my Swift through Haskell

Comment Source:I'm watching from Cleveland, OH. Hoping to improve my Swift through Haskell
• Options
5.
edited January 14

Are you planning to do the Problem Sets too? Do you think it could be useful to create separate discussions for each Problem Set?

BTW, I am attending the course from Italy.

Comment Source:Are you planning to do the Problem Sets too? Do you think it could be useful to create separate discussions for each Problem Set? BTW, I am attending the course from Italy.
• Options
6.

Hello! Attending from Boston, but virtually. Glad to see you all here :)

For the "7 sketches" course, each question (not each problem set) had its own post. Something similar might work well here.

Comment Source:Hello! Attending from Boston, but virtually. Glad to see you all here :) For the "7 sketches" course, each question (not each problem set) had its own post. Something similar might work well here.
• Options
7.

Good idea. I just created a categories for Programming with Categories Course, and another category for exercises for the course.

Comment Source:Good idea. I just created a categories for Programming with Categories Course, and another category for exercises for the course.
• Options
8.
Comment Source:Created a wiki-page to make navigation of this discussion page easier, similar to [https://www.azimuthproject.org/azimuth/show/Applied+Category+Theory+Course](https://www.azimuthproject.org/azimuth/show/Applied+Category+Theory+Course): [https://www.azimuthproject.org/azimuth/show/Programming+With+Categories+Course](https://www.azimuthproject.org/azimuth/show/Programming+With+Categories+Course)
• Options
9.
edited January 15

Hello everyone! I'm David from Colombia but I'm attending from Spain hoping to learn a lot.

Comment Source:Hello everyone! I'm David from Colombia but I'm attending from Spain hoping to learn a lot.
• Options
10.

@JakeGillberg, thanks! Bookmarked :)

Comment Source:@JakeGillberg, thanks! Bookmarked :)
• Options
11.
edited January 15

Attending from my couch in Lexington, KY :) I'm a mathematician working as a software developer. I really enjoyed Bartosz's category theory course and some of David's lectures. I'm super excited to learn Haskell in this context!

@JakeGillberg, thanks for the invite and great work on the page! Is the idea to ask questions or comment solutions on the exercises?

Comment Source:Attending from my couch in Lexington, KY :) I'm a mathematician working as a software developer. I really enjoyed Bartosz's category theory course and some of David's lectures. I'm super excited to learn Haskell in this context! @JakeGillberg, thanks for the invite and great work on the page! Is the idea to ask questions or comment solutions on the exercises?
• Options
12.

@IssacDeFrain Yup, feel free to add your solutions or questions to the exercises on the exercise-specific thread (or create new exercise threads for exercises that you come up with or unposted exercises). Feel free to also contribute to the discussion in the lecture-specific threads or ask general questions here!

Comment Source:@IssacDeFrain Yup, feel free to add your solutions or questions to the exercises on the exercise-specific thread (or create new exercise threads for exercises that you come up with or unposted exercises). Feel free to also contribute to the discussion in the lecture-specific threads or ask general questions here!
• Options
13.

@JakeGillberg Thanks for creating that syllabus page. I put a link to it in the announcement discussion. The announcement will serve as the "front door" for materials on the course.

Comment Source:@JakeGillberg Thanks for creating that syllabus page. I put a link to it in the announcement discussion. The announcement will serve as the "front door" for materials on the course.
• Options
14.

Just a university student from Ottawa that finds this topic interesting!

Comment Source:Just a university student from Ottawa that finds this topic interesting!