afp15

Contact owners and managers

1–30 of 178

Welcome to the Advanced Functional Programming course.

http://www.cse.chalmers.se/edu/course/afp/

/Patrik

0 selected

Simon Robillard, procione2

8/8/16

HGL broken dependency on Fedora

just ran into a similar problem. Your suggestion helped. Thanks man.

unread,

HGL broken dependency on Fedora

just ran into a similar problem. Your suggestion helped. Thanks man.

8/8/16

8/20/15

Patrik's Prof. Lecture Friday at 13.00 in EC

For those interested, you are very welcome to attend my inaugural lecture as Professor! Kind regards,

unread,

Patrik's Prof. Lecture Friday at 13.00 in EC

For those interested, you are very welcome to attend my inaugural lecture as Professor! Kind regards,

8/20/15

5/18/15

AFP "re-lab" opportunity in August

https://github.com/AFPChalmers15/AFPcourse/blob/master/re-lab.md As announced by the end of the

unread,

AFP "re-lab" opportunity in August

https://github.com/AFPChalmers15/AFPcourse/blob/master/re-lab.md As announced by the end of the

5/18/15

Patrik Jansson, … Patrik Jansson3

4/15/15

AFP grading (almost) done

Yes it is possible. I suggest you go to the CSE student office and look through your exam at any time

unread,

AFP grading (almost) done

Yes it is possible. I suggest you go to the CSE student office and look through your exam at any time

4/15/15

3/16/15

FYI: MSc thesis topics in the FP group

As examiner for MSc theses in the ProgLang area I'd like to "advertise" the possibility

unread,

FYI: MSc thesis topics in the FP group

As examiner for MSc theses in the ProgLang area I'd like to "advertise" the possibility

3/16/15

Kristian Sällberg, Patrik Jansson3

3/14/15

Thank you Patrik! On Saturday, 14 March 2015 20:50:57 UTC+1, Patrik Jansson wrote: TDA342 and DIT260

unread,

Thank you Patrik! On Saturday, 14 March 2015 20:50:57 UTC+1, Patrik Jansson wrote: TDA342 and DIT260

3/14/15

3/14/15

Extended office hours in preparation for the exam

I have cleared out my agenda except for one meeting so that I am now available for last-minute exam

unread,

Extended office hours in preparation for the exam

I have cleared out my agenda except for one meeting so that I am now available for last-minute exam

3/14/15

Patrik Jansson, … Johan Andersson5

3/14/15

FYI: Exam "summary sheet"

Yes./P 2015-03-14 9:45 GMT+01:00 Johan Andersson <dr....@gmail.com>: "notes of your

unread,

FYI: Exam "summary sheet"

Yes./P 2015-03-14 9:45 GMT+01:00 Johan Andersson <dr....@gmail.com>: "notes of your

3/14/15

Simon, Patrik Jansson3

3/13/15

Code part of assignment 3

Yes. But finally after alot of trickery to make it almost work I couldn't get some C libraries

unread,

Code part of assignment 3

Yes. But finally after alot of trickery to make it almost work I couldn't get some C libraries

3/13/15

3/9/15

Trial exam questions

Hi, for your convenience, the trial exam today was composed of the following four problems taken from

unread,

Trial exam questions

Hi, for your convenience, the trial exam today was composed of the following four problems taken from

3/9/15

3/9/15

Office hours substitution on Wednesday

Hi, just a short announcement: The office hours on Wednesdays which are normally held by Dan in his

unread,

Office hours substitution on Wednesday

Hi, just a short announcement: The office hours on Wednesdays which are normally held by Dan in his

3/9/15

Patrik Jansson, klondike2

3/5/15

FYI: Lab assignment 3 status report

El 05/03/15 a las 23:40, Patrik Jansson escribió: > Pending resubmisson after initial rejection

unread,

FYI: Lab assignment 3 status report

El 05/03/15 a las 23:40, Patrik Jansson escribió: > Pending resubmisson after initial rejection

3/5/15

kris...@purestyle.se2

3/5/15

Multi Player Snake

Forgot to post the monad trans stack version of Program from lect 5, would love to see some cleaner

unread,

Multi Player Snake

Forgot to post the monad trans stack version of Program from lect 5, would love to see some cleaner

3/5/15

kris...@purestyle.se, Patrik Jansson3

3/5/15

same function for different data family instances

So in theory, it would be possible to have some kind of DataFamilyClosed, that can live in one module

unread,

same function for different data family instances

So in theory, it would be possible to have some kind of DataFamilyClosed, that can live in one module

3/5/15

3/5/15

FYI: Reminder about lecture rooms: HA2 now

Just FYI, the lecture now at 10.00 and the same time next week are in HA2. Monday we will have the

unread,

FYI: Reminder about lecture rooms: HA2 now

Just FYI, the lecture now at 10.00 and the same time next week are in HA2. Monday we will have the

3/5/15

kris...@purestyle.se

2/28/15

Exam Summary Sheet Template

Haskell lovers, I have created a latex template that you can use to create a legible (more so than

unread,

Exam Summary Sheet Template

Haskell lovers, I have created a latex template that you can use to create a legible (more so than

2/28/15

Adam Sandberg Eriksson, Dan Rosén2

2/25/15

2015 version of assignment 3

On 25 February 2015 at 20:46, Adam Sandberg Eriksson <ad...@sandbergericsson.se> wrote: Hello,

unread,

2015 version of assignment 3

On 25 February 2015 at 20:46, Adam Sandberg Eriksson <ad...@sandbergericsson.se> wrote: Hello,

2/25/15

2/22/15

Fwd: [Proglog] Wed Feb 25 13:15 Magnus Myreen, ''CakeML: a formally verified compiler for ML''

For those interested there will be an AFP-related research talk by Magnus Myreen on Wednesday. See

unread,

Fwd: [Proglog] Wed Feb 25 13:15 Magnus Myreen, ''CakeML: a formally verified compiler for ML''

For those interested there will be an AFP-related research talk by Magnus Myreen on Wednesday. See

2/22/15

Fredrik Sjöholm

2/22/15

Hello everyone! My lab partner dropped out of the course, so I need a new one. If anyone is in the

unread,

Hello everyone! My lab partner dropped out of the course, so I need a new one. If anyone is in the

2/22/15

Anton Ekblad, Leo Anttila3

2/20/15

Re-submitting accepted labs for a higher grade

Well this is embarrassing, I answered the wrong email. Everyone please disregard :D On 20 February

unread,

Re-submitting accepted labs for a higher grade

Well this is embarrassing, I answered the wrong email. Everyone please disregard :D On 20 February

2/20/15

Dan Rosén, Adriaan2

2/19/15

Re: liftIO not working in ActionM

This solution did indeed work, thanks! On Wednesday, February 18, 2015 at 3:46:51 PM UTC+1, Dan Rosén

unread,

Re: liftIO not working in ActionM

This solution did indeed work, thanks! On Wednesday, February 18, 2015 at 3:46:51 PM UTC+1, Dan Rosén

2/19/15

2/18/15

liftIO not working in ActionM

We're having some trouble doing IO in Scotty. Trying to compile this program {-# LANGUAGE

unread,

liftIO not working in ActionM

We're having some trouble doing IO in Scotty. Trying to compile this program {-# LANGUAGE

2/18/15

Simon, … Jeff chen3

2/16/15

Hello AFP15 group, My partner also decided to drop, therefore I'm looking for new partner too

unread,

Hello AFP15 group, My partner also decided to drop, therefore I'm looking for new partner too

2/16/15

kris...@purestyle.se, Patrik Jansson3

2/15/15

thanks for the quick reply On Sunday, 15 February 2015 18:39:02 UTC+1, Patrik Jansson wrote: Software

unread,

thanks for the quick reply On Sunday, 15 February 2015 18:39:02 UTC+1, Patrik Jansson wrote: Software

2/15/15

Simon, Adriaan Leijnse2

2/11/15

Type constraints on a?

I had the same issue; make sure you only use show/read when pattern matching on the result of io :: (

unread,

Type constraints on a?

I had the same issue; make sure you only use show/read when pattern matching on the result of io :: (

2/11/15

2/10/15

Lab 2 Part 1 Task 3: Replace the IO monad with a State monad.

Hi, during today's question time two or three groups asked me what the lab description means when

unread,

Lab 2 Part 1 Task 3: Replace the IO monad with a State monad.

Hi, during today's question time two or three groups asked me what the lab description means when

2/10/15

2/10/15

Office hours Wed 10-12 cancelled

Dear all, Unfortunately I have to cancel my office hours tomorrow 10-12 (Wed, Feb 11). Fortunately,

unread,

Office hours Wed 10-12 cancelled

Dear all, Unfortunately I have to cancel my office hours tomorrow 10-12 (Wed, Feb 11). Fortunately,

2/10/15

2/9/15

Today's lecture swapped for Thursday's exercise session

Hi all, due to illness, today's lecture at 13:15 will be replaced by an exercise session. The

unread,

Today's lecture swapped for Thursday's exercise session

Hi all, due to illness, today's lecture at 13:15 will be replaced by an exercise session. The

2/9/15

2/8/15

Office hours moved from Monday to Wednesday this week

Hi all, due to my troublesome traveling schedule, my office hours tomorrow (Monday 9/2) are canceled.

unread,

Office hours moved from Monday to Wednesday this week

Hi all, due to my troublesome traveling schedule, my office hours tomorrow (Monday 9/2) are canceled.

2/8/15

2/6/15

Patrik away for a week, but the course continues

I will be away for a week on vacation but the usual scheduled lecture-times still apply. Monday after

unread,

Patrik away for a week, but the course continues

I will be away for a week on vacation but the usual scheduled lecture-times still apply. Monday after

2/6/15

Search

Clear search

Close search

Google apps

Main menu