#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

[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)

[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)

[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.

[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.

[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

[river-official]

Coding stupid stuff in Haskell is so much fun

[upside-down-a]

I'm using advent of code as an excuse to learn haskell, and made this pattern-matching map, which feels slightly abominable.

extractNumeral :: String -> (Maybe Char, String) extractNumeral ('o':'n':'e':xs) = (Just '1', 'e':xs) extractNumeral ('t':'w':'o':xs) = (Just '2', 'o':xs) extractNumeral ('t':'h':'r':'e':'e':xs) = (Just '3', 'e':xs) extractNumeral ('f':'o':'u':'r':xs) = (Just '4', xs) extractNumeral ('f':'i':'v':'e':xs) = (Just '5', 'e':xs) extractNumeral ('s':'i':'x':xs) = (Just '6', xs) extractNumeral ('s':'e':'v':'e':'n':xs) = (Just '7', 'n':xs) extractNumeral ('e':'i':'g':'h':'t':xs) = (Just '8', 't':xs) extractNumeral ('n':'i':'n':'e':xs) = (Just '9', 'e':xs) extractNumeral (x:xs) = if isNumeral x then (Just x, xs) else (Nothing, xs) extractNumeral [] = (Nothing, [])

I don't know if i'm proud or disappointed by this. This feels like it could be done in a smoother fashion, but then again one gotta do some kind of lookup of spelling for letters anyway.

How should I have done this? Also, is there some way to avoid the 's':'p':'e':'l':'l':'i':'n':'g':[] of letters like this?

[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!

[stygiomedusae]

not enough people on tumblr talking about purely functional data structures. here i'll give you a list of every fibonacci number to ponder:

fibs = 0 : 1 : zipWith (+) fibs (tail fibs)

[lady-inkyrius]

In always surprised when I remember that most languages don't support UFCS, allowing methods and functions to use the same syntax, i.e. f(a,b,c) == a.f(b,c) whether f is a method or a free function.

To me it just seems so intuitive – that's essentially how I've always interpreted methods anyway – but it seems to only be implemented in Nim and D, both of which are relatively obscure languages.

Maybe it's just the functional programming bias influencing me again. The reversed form of this is quite common in languages with currying / easy partial application like Haskell, where many functions on a data structure will place it as the last argument, so it can be easily placed into composition chains. Essentially all UFCS does is allow left-to-right function composition, which makes for nice and readable code.

I wonder if I can come up with a nice syntax to allow pointfree functions where the data structure is the first argument and the composition runs left-to-right? Sometimes the very right-to-left nature of Haskell code gets annoying.