#Haskell

[nicuveo]

New project starting next week!

more information about this project: youtu.be/uCQ2hjx_7-Y project's repo and documentation: github.com/nicuveo/pietre streams start next week on twitch: www.twitch.tv/nicuveo

[secondwheel]

This again?? Check out a similar post for the sciences

[triandot]

[catscomputerscreativewriting]

Today on episode 8923173289119 of "Programmers Should Not Be Allowed To Name Anything Ever Again":

(The paper in which I found this citation: https://dl.acm.org/doi/pdf/10.1145/3236797)

(The actual paper: https://link.springer.com/chapter/10.1007/978-3-540-27764-4_6)

[theveryevilblog]

Haskell > anything else

Haskell is the best programming language because it lets you write a fully functioning web server with three lines of code and zero understanding of how anything works You don't write programs, you declare intentions, and the compiler decides if you're worthy Every other language lets you make mistakes. Haskell waits patiently then destroys your ego at compile time Besides, who needs to 'build skill' in programming anyway?

Not even comparable to python, which is just... so annoyingly uncomplicated and pointless (to make good python syntax you need to make it as un-python as possible) and javascript? Who needs fast languages anyway? So unsatisfying And don't even get me started on C, C++ or C#, which are literally the same language by the way Rust? Bro, just send me the virus already. I don't care PHP? What does that even stand for? Poverty Holding Person? Like you? Java? You stopped being relevant about thirty years ago Swift? Buddy, I do not care about your apple vision pro R? You couldn't even spare another letter? What are you, C-- or something? Ruby? Just admit that Ruby on Rails died last decade... Go? Go where? Out the door? Because currently, that is what Go developers are being asked to do by employers Perl? I don't even know what that language is

[perigordtruffle]

[red-viscountess-emika]

a Tridaily Dose of Emika

(because of exams)

programming languages I use

I do programming, sometimes. I will list the languages I know, chronologically.

Scratch (when I was 10 or something)

Processing/weird combination of a Java library and a very shitty integrated code environment that comes with it, or whatever that word is. (when I was 14, maybe??)

Python (I dunno, used it for the first time at 16, I would guess)

C (when I was either 20 or 19)

HTML, CSS, Javascript (when I was 20??)

Haskell (when I was 20 (I am still 20))

So Scratch is just adorable, right??

Processing?? I dunno, it helped me learn the concepts????? It was really weird looking back at it. I feel like I was very shitty, but it had a library to make visual stuff easy, so it worked. I wouldn't know how to use actual Java, though, because classes were an advanced concept for me back then, and I forgot it since, and I don't ever use classes with the other languages I use.

Python sucks so bad, I hate it, but school coerces me into using it sometimes.....

C is my favourite, and the one I'm the best at. It's just very satisfying, I guess. I've been building a datastructure library lately.

HTML and CSS are kinda funny, Javascript sucks, but you need it I guess

Haskell is so cute, I love it, but I suck at it as of now. I had a month orso of using it and then went back to C, but I do plan to learn more of it later on :3 now, I will tell you more about these languages

Scratch is just some little kid who is throwing paint around (they are fine??? like they're a kid.... you can't judge them)

Processing is some friendly old white dude (he is fine)

Python is some 30-year old in lower upper management of some multinational who thinks very highly of himself and stuff (we hate him)

C is a 25-year old non-binary cool person (we like them)

HTML is not a person

CSS is not a person either

Javascript, we don't know enough to tell, and with we, we mean I

Haskell is a 16 or 17 year old alt girl (we like her)

[cerulity]

Too many languages tack on null as an implicit variant of a value, be it a local, parameter, or member. I think that is a language design error.

Null is a distinct type.

If something may be null, it can only be so if its type is a union of the object's non-null type and the null type. Newer languages are pivoting to explicit null. Rust has Option, Haskell has Maybe, and most others use a ? after the type name. Any way you implement it, it's explicit. Null reference exceptions should not be as common as they are, but two of the most popular languages are Java and JavaScript, and they are culprits of null unsafety. Java allows you to pass null into any non-primitive, and JavaScript has two nulls, alongside the weakest type system I've ever seen (which I also believe is a language design error for how critically the language is used).

When you accept a string as a parameter of a function, you should expect, well, a goddamn string. Not "fuck around and find out".

[ccelest1al]

all anarchists love haskell because its stateless

[toonilumi]

Fun facts about romantic relationships between the dgm/ee cast?

here are some of the ones ive been rotating in my mind:

- roxanne's favorite date spot to take both kami AND fry is the bowling alley. she goes easy on them until someone starts watching, THEN she lets her true skills come out. sometimes she worries about being too much for her partners, but they honestly like it.

- while cyrus is very apprehensive about letting people touch his hair (really only bow is allowed to do it), he lets apollo mess with it. apollo mentioned how nice it was once, and cyrus hasn't stopped thinking about it.

- madame and lyra have a habit of mirroring one another. when one tilts their head, the other will do the same. its subconscious but once they started noticing it they couldnt stop.

- gertrude is apart of a gaming group with juno, cyrus, and apollo. these days she's been inviting hanayo to join, and making specific requests that the games aren't too intense for her. that way, they can play together.

- aramis and molly both come from pretty high-class backgrounds, as such they can be rather frivolous with funds. they both get each other crazy expensive gifts and they treat it like nothing, much to the horror of everyone else.

- in exchange for not really having a mouth, syntax lightly zaps haskell as a sort of kiss. its the most physical affection they'll do in public, and it slips by a lot of people which is a win for them.

[commieclimbercatboy]

Functional programming is really cool right up to the point you learn about monads. We have this beautiful way of writing code completely stateless, but then we realise that state is useful sometimes, and instead of saying "functional programming is useful but not for everything, we can use it as a tool in the toolbag among other techniques", they introduce state in the worst way possible.

[mossrotts]

oh naur. i got the brainrot. it's my tav, the half drow ranger Haskell. is their alignment good? evil? neutral? none, officer. it's make friend with animal.

[postcard-from-the-past]

"Flowers Fair"

American vintage postcard, illustrated by Haskell Collin

[monaddecepticon]

now I just need to figure out what to write about and I'll be unstoppable

[chicinsilk]

US Vogue July 1954

Summer Stockings. Left to right: Light pearl shadowfoot by Holeproof. Centre: Creamy pearl sandalfoot, by Phoenix. Right: Blush pearl sandalfoot, by Bryans. Underfoot, in profusion: ropes and ropes (each 60") of pearly, coloured, and golden beads and stones. By Haskell, Richelieu, and Marvella.

Bas d'été. De gauche à droite : Light pearl shadowfoot de Holeproof. Centre : Creamy pearl sandalfoot, par Phoenix. À droite : Blush pearl sandalfoot, par Bryans.. Sous les pieds, à profusion : cordages et cordages (chacun 60") de nacrés, colorés, et des têtes et des pierres d'or. Par Haskell, Richelieu et Marvella.

Photo John Rawlings vogue archive

[catscomputerscreativewriting]

Our Paper got Accepted at ICFP!

The paper I'm helping with, "Story of Your Lazy Function’s Life A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs," was conditionally accepted to appear at the International Conference on Functional Programming this year (ICFP 2024). Woo hoo!

I'll post the pre-print and link it in my profile after we've updated it based on reviewer feedback. In the meantime, if you'd like to see it (the pre-pre-print, if you will), poke me and I'll toss you a link. :D

One of these days, I'm hoping to write up a more undergraduate-CS-friendly version of the basics of the paper. I want to make that a habit for super technical things I work on. Life is a little too busy for it right now, but also keep an eye out for that...

That's all. Yay, first paper!