Crazazy
@Crazazy@feddit.nl
- Comment on Academic writing 1 month ago:
I got taught that rule in my freshman year, but then my thesis advisor told me to stop doing that because “only old people write like that”
So I suppose academia is evolving (however you still aren’t allowed to use first person speech)
- Comment on The mark 1 month ago:
Image Ayooo
- Comment on Recommendation engine: Downvote any game you've heard of before 2 months ago:
Spheres of Chaos is an old asteroids based game that really ups the ante on trippyness and cool sounds
I should warn you though that it is very flashy, so epilepsy warning is in order
- Comment on Explain yourselves, comp sci. 6 months ago:
That’s only if you’re working with the perspective of it being a polynomial. When you’re considering the polynomial as a vector however, that operation simply doesn’t exist
- Comment on FLOSS communities right now 9 months ago:
Thunderbird has matrix support now? 🤯
- Comment on Steam keeps on winning 10 months ago:
Count this comment as irrelevant if you will, but I think one of the biggest missed opportunities of EGS is mod support. They have this world-class game engine, and they do so little with it. Maybe it is because of Unreal Tournament 4 failing to take off. Maybe they think just hamfisting a bunch of this modding stuff into Fortnite is all they need, but still I feel like the EGS version of the steam workshop is an open goal. Hell, with the money they’re saving from pawning off Bandcamp you can even buy off mod.io to get support for virtually no work at all. Like why hasn’t this happened yet?
- Comment on Unison | A friendly, statically-typed, functional programming language from the future · Unison programming language 11 months ago:
I think that when it comes to functional programming with effect systems, unison is currently the closest to showing how it is actually done. Koka and languages like Effekt are of course very nice, but they don’t show much going for them besides the example nondeterminism and exception effect. Verse, that language that was going to be used as Fortnite’s scripting language, also plans on adding these effect systems a la Koka.
Overall, I think one of 2 things will happen:
- unison will slowly gain more and more adoption and grow out to become a formidable niche language
- Verse will blow unison out of the water and everyone who once even considered unison will be moving to Verse instead
- Comment on Which programming language is hard to understand? 1 year ago:
Alright as someone who likes Haskell and has dabbled in unison before, I believe I can answer all these questions for you:
- Why is
helloWorld
there twice?
It is common in languages like haskell and ocaml to first mention the type of a function, so in this case:
- the type of
helloWorld
is'{IO, Exception} ()
. That is it’s type signature (important for later) - the implementation of
helloWorld
is\_ -> println "Hello, World!"
- What’s the
’
for? - What are the
()
for?
Here is where I have to get into the nitty gritty of how unison actually works. Unison has what programming language researchers call an effect system. The type signature of
helloWorld
indicates that it can perform theIO
andException
types of side effects, and these need to be handled. (in this case, they are handled by the compiler, but other types of side effects can be handled by the programmer themselves)
However, for reasons Unison does not like dealing with eagerly evaluated non-function values with side effects. For this reason, there is'
. Essentially, what it does is turn a value into a function that accepts()
as it’s argument. We could therefore say that the type signature ofhelloWorld
is also() -> {IO, Exception} ()
. The last()
indicates that, next to it’sIO
andException
side effects, it also returns()
as a value. This is because, in functional programming languages, all functions need to return values (or run infinitely, but that is for another topic)Now I’ve been used to functional programming for quite a while now, so things that seem natural to me can be absolutely woozy for anyone not used to this paradigm. So if anything still feels vague to you feel free to comment
- Why is
- Comment on sudo rm -🇫🇷 /* 1 year ago:
Even worse is when the bash script you downloaded is only there to do some uname checks and then download and execute more code from the internet
- Comment on Looking for games with strong female leads for my daughter (even just to watch as I play). Came across this link, but they're a bit old. Any suggestions from the community? 1 year ago:
I know 5 year old me would have a little trouble sleeping from some of the sounds (example when you pick up an orb) coming from that game, never mind the occasional worm or kummitus jumpscare