University of Minho, Braga, Portugal, FP thought f...
# arrowt
tmg
08/13/2019, 2:07 PMUniversity of Minho, Braga, Portugal, FP thought first there.
s
simon.vergauwen
08/13/2019, 2:51 PMThat's so awesome! Let's all go to Portugal :D
🇵🇹 2
t
tmg
08/13/2019, 3:50 PMErlang is also taugh as part of the concurrency course.
There is a course on "program calculi" where point-free programming, (cata|ana|hylo)morphisms are taught
s
simon.vergauwen
08/13/2019, 3:51 PMWow :O What did you study?
t
tmg
08/13/2019, 3:54 PMComputer Science.
s
simon.vergauwen
08/13/2019, 3:56 PMMsc?
t
tmg
08/13/2019, 4:01 PMThere are 2 degrees that share a lot of similarities in the 3 years bachelors, the computer science one and the "Integrated Master's in Informatics Engineering". The CS one is a 3 year bachelor degree, which is pretty much just math and well programming and its theory. The other has most of the CS for the first 3 years, with some physics added (some required stuff to be part of the Portuguese engineer's order), then the later 2 is to conclude master's degree, with specialization and thesis. Basically It's a 5-year course that is bachelors+MSc.
I took just the Computer Science one, that is just 3 year bachelor. It does have some theoretical stuff like category theory that is not part of the other degree, as it doesn't have stuff like "physics topics".
tmg
08/13/2019, 4:02 PMWe had things like language theory that goes into stuff like Regex and Grammars early on, which lays some theoretical foundation before we get into the compilers course.
😱 1
3 Views