By turing tarpits, I mean programming languages such as the SKI calculus, bitwise cyclic tag, rule 110, brainfuck and so on. I'm interested in studying those languages, as well as their properties, but I couldn't find a single useful reference, book or anything.
Specifically, I'm curious in:
An extensive list of turing tarpits similar to SKI calculus (that is, work by expression reduction).
Sorting that list based on the kolmogorov complexity of a specific function under that system.
And so on. Anything to help me?submitted by eluspac
[link] [7 comments]
There are those that exists that may be having trouble solving an NP-Complete problem using haskell, and are possibly requesting the help of the mighty and ingenious people of /r/haskell.
This request is not made lightly, dozens of man hours have been spent by not-so-great minds trying to solve this problem, all to no avail. After countless hours reading about haskell and attempting to code, the heads are hitting the proverbial code wall.
The problem is thus:
Given 2 command line parameters, # of students and # of groups, create a program that outputs complete unique groups for 8 assignments, with a student being unable to work with another student more than once across all assignments. If the number of students and groups are such that this is not possible, an error message should print out.
Any input would be appreciated - solutions (YAY!), hints, websites or other threads that we have not found, literally anything.
You are Thanked in Advance, mighty denizens of this subreddit.submitted by CluelessInHaskell
[link] [1 comment]
It would be really great if someone uploaded a linux distro with every package on Hackage installed.
I'm saying this as someone really frustrated with Cabal. I'm sorry, I don't know what is wrong, but I can not get it to work. I waste hours/days trying to install a lib, and I don't understand the error messages. Yes, I've read the manual. This is my #1 problem with Haskell - everything else being great. To be honest, I am completely unable to do anything useful with Haskell because 95% of the time I am fighting Cabal. I'm not joking. So, yea, maybe it is a flaw on my part, but what can I do? If someone on this community is willing to be the hero, I would be really, really thankful for a linux distro with Haskell.submitted by eluspac
[link] [34 comments]