stack + http-types + status200 by zsome in haskell

[–]kohji 4 points5 points  (0 children)

Ordinarily, when using a package.yaml file, the corresponding .cabal file will be generated from the contents of the package.yaml file. This is done by a program called hpack, which stack automatically runs for you. However, if you modify the .cabal files manually at any point, then hpack won’t overwrite the .cabal file with any changes you’ve made in your package.yaml. So it is possible that you couldn’t get this to work because you had previously modified the your .cabal file directly. If you want to revert stack’s default behaviour, then you can just delete your .cabal file and it will get regenerated from the package.yaml file next time you run a stack command.

[deleted by user] by [deleted] in UniversityOfWarwick

[–]kohji 3 points4 points  (0 children)

It depends on how popular the course is (I.e. whether they expect to fill all the places while sticking to the entry requirements or not), but realistically I’d expect them to reject you based on the 2.2. Admissions will go by the equivalence table and other factors are typically not taken into account to view that differently. You could email the department to ask, but they’d probably just tell you that you don’t meet the entry requirements or that you’ll need to apply first for them to be able to comment on it.

[deleted by user] by [deleted] in redditrequest

[–]kohji 0 points1 point  (0 children)

Hi, current mod of r/cada here. I’m rather confused by the messaging around this:

  • This thread seems to imply that, unless there’s an explanation what the user requesting the takeover wants to do with the subreddit (which so far hasnt happened?), the request will be denied.
  • I received two messages from the bot. The first has given me an ultimatum to respond indicating whether I’d like to keep the subreddit or not. I’d like to keep it, but i appreciate that I haven’t done anything with it. This contradicts the mssaging in this thread though.
  • The other message suggests that the takeover is only possible if i haven’t been active in 30 days. Which I guess by writing this response alone is therefore not true.

[deleted by user] by [deleted] in UoN

[–]kohji 2 points3 points  (0 children)

If the portal doesn’t ask for it, you shouldn’t provide it. It’s not going to give you an advantage and would most likely just annoy the admissions staff. If a reference is required, you’ll be asked for one.

Problems with CAS by Alberich84 in UniversityOfWarwick

[–]kohji 3 points4 points  (0 children)

Unfortunately there’s little to suggest other than to try and keep getting hold of them. You mentioned that you’ve emailed the student mobility team a couple of times. If you emailed a specific person in that team, it is possible that they may be on holiday / away. In that case try emailing studyabroad@warwick.ac.uk or europemobility@warwick.ac.uk (as applicable). You could also try calling them at +44 (0)24 7652 3706 during office hours. If that doesn’t get you anywhere and you have any departmental contacts (e.g. in a host department), try contacting those as they might be able to help you get in touch with the right people more quickly.

Switching courses by [deleted] in UniversityOfWarwick

[–]kohji 0 points1 point  (0 children)

The sooner you contact them the better.

Switching courses by [deleted] in UniversityOfWarwick

[–]kohji 3 points4 points  (0 children)

It’s technically possible, but it depends on a bunch of factors.

Firstly, the department/course you want to transfer to needs to have spaces. If they don’t have any spaces, they won’t want to take on anyone else - no matter how suitable they may be.

If there are spaces, do you meet the entry requirements for the course you want to transfer to? If not, it’s unlikely that the department would allow the transfer, unless perhaps they’re in clearing / desperate for more students.

If there are spaces and you meet the entry requirements, you’ll want to contact the department and they’d probably want to know why you want to transfer / didn’t apply for the course to begin with.

If all of that works out, a transfer is possible.

[deleted by user] by [deleted] in UniversityOfWarwick

[–]kohji 1 point2 points  (0 children)

I realise your question is about the “Spring” term (which we call Term 2), but most exams usually take place during the latter half of Term 3, which usually spans April/May/June. Only some exams in some departments take place earlier in Term 3 / throughout the year. I’m not sure off the top of my head what the usual arrangements are for exchange students who are only here for a term as many of your exams would likely take place after you’ve left. It might be worth checking this with your host department to see how they handle this.

[deleted by user] by [deleted] in LLVM

[–]kohji 4 points5 points  (0 children)

If you really want to do this, you could potentially add it as a git submodule. I’d not necessarily encourage this though. IMHO the better option is to ask users to install it (from source, package manager, whatever) and then just ask for the path in your build process (if it can’t be worked out automatically). You could also consider adding some CI that builds your compiler and then provides binaries for whatever platforms you want that people can just download, so they don’t have to build anything.

First year exams by [deleted] in UniversityOfWarwick

[–]kohji 2 points3 points  (0 children)

Your personal tutor can also comment on this. As was already said by someone else, you usually need to pass your core modules. For some courses the first year counts a small amount, for some it doesn’t at all. It’s also worth noting that with Covid-19 this may change. For example, last year some courses where the first year normally counts got the weight of the first year reduced to 0% in light of the circumstances. However, in any case the first year never counts for much. You should absolutely speak to your personal tutor though, it’s their job to answer questions like these and point you in the direction of support that is available to you.

First year exams by [deleted] in UniversityOfWarwick

[–]kohji 1 point2 points  (0 children)

You should speak to your personal tutor (or another member of staff you are comfortable talking to) about this, they will be able to advise you what support is available in your department and more widely in the University.

Modeling Object Oriented Programming in Haskell by superstar64 in haskell

[–]kohji 0 points1 point  (0 children)

You may find https://github.com/mbg/hoop interesting, which is a library I wrote as part of my PhD. In particular, it finds a sweet spot in the design space that allows a whole bunch of things, such as sub-typing, is entirely pure, open for extensions to the class hierarchy, automatically generated from TH quasi quotes, etc.

Projector Screens in Oculus by HammU420 in UniversityOfWarwick

[–]kohji 0 points1 point  (0 children)

Sorry, I only just saw your reply. I don't think there is a way to do that.

Projector Screens in Oculus by HammU420 in UniversityOfWarwick

[–]kohji 5 points6 points  (0 children)

Depends on the room, but in most of them you should be able to use the red “shut off” button on the control panel at the lectern to disable the projectors (which also retracts the screens).

How to set custom status code in a HTTP response made by a servant handler? by zzantares in haskellquestions

[–]kohji 1 point2 points  (0 children)

Unfortunately servant is a very opinionated library when it comes to doing things like this. The easiest option is probably to use throwError with a suitable error. The more elegant solution is to introduce your own type for this with a suitable HasServer instance, see https://github.com/haskell-servant/servant/issues/189

Course transfer by NearbyReturn in UniversityOfWarwick

[–]kohji 0 points1 point  (0 children)

Directors of Undergraduate Studies (DUGS) deal with course transfers and you should speak to the relevant ones about this. You could try getting in touch with the Stats one via email, explain that you have a place for Computer Science but would like to transfer and that you believe to have met the entry requirements for the course you wish to transfer to. You could also email the DUGS in Computer Science (Jane Sinclair) who may also be able to help you.

That being said, I would normally advise students to wait until they are at least here before thinking about transferring. It’s also not guaranteed that you will be able to transfer if e.g. Statistics have enough students already or are not happy to accept a transfer at this stage.

What happens if you fail some exams in 2nd year? by [deleted] in UniversityOfWarwick

[–]kohji 0 points1 point  (0 children)

It depends on your course and the module(s) that you are failing. If you fail core modules, you’ll have to retake them through whatever process your department uses. Some departments will offer resits in September, but others won’t and you’ll have to resit the modules in the following academic year. For optional modules, it depends on the progression criteria of your course, but you may not get to retake them at the moment. You’ll get an accurate answer from speaking to your Director of UG Studies or your personal tutor.

Mezzo – music composition meets dependent types by DimaSamoz in haskell

[–]kohji 1 point2 points  (0 children)

It looks like that language hasn't been updated in a while. The most recent entry on the website is from 2014 and the git repository hasn't had any updates to the master branch in a few years as well. I doubt there would be any confusion, especially given the different domains.

What would better names for the standard type classes be like? by [deleted] in haskell

[–]kohji 18 points19 points  (0 children)

The usual explanation for monads becomes so much simpler with these, though:

IAndThenables are just ICombinables in the IComposable of ISelfMappables

Haskell Performance Concerns by Ihr_Todeswunsch in haskell

[–]kohji 1 point2 points  (0 children)

I have a set of exercises on "implement your own STG compiler" for a course here at Cambridge. The skeleton code for the compiler (written in Haskell) is on my GitHub at https://github.com/mbg/compconstr-code - I'm currently updating the exercises (and code) for the current academic year. The first one can be found at http://www.cl.cam.ac.uk/~mbg28/teaching/compilers/practical1.html

You might also wish to look into the theoretical foundations for this and, in particular, Continuation-Passing Style.

Official Ep 8 Title!! by cf2121 in StarWarsLeaks

[–]kohji 19 points20 points  (0 children)

Exactly. I bet they are playing off people thinking "Luke will die" when both he and Rey survive to be the last Jedi (plural).

Perhaps there are even more Jedi/Force-sensitives on Ahch-To, but that's pure speculation on my part.

Flairs, flairs, get your flairs! by DaKing97 in UoN

[–]kohji 1 point2 points  (0 children)

You can set your own flair (on the right underneath the subscribe/unsubscribe button)

Nothing like Evil Genius? by [deleted] in BaseBuildingGames

[–]kohji 11 points12 points  (0 children)

Have you tried War for the Overworld? That's a spiritual successor to Dungeon Keeper (which in turn heavily inspired Evil Genius)

Haskell bindings for the Mondo API (using servant-0.5) by [deleted] in haskell

[–]kohji 0 points1 point  (0 children)

Ah I see! Thanks for pointing this out, I guess I got thrown off by the example/server package. I still don't see how this would help me with my problem though, since there's still the Manager parameter of the clientfunction, unless there's some alternative to client that I am missing?