THE WAY TO BE SURE @pureevil@functional.cafe
Not a real person.
I write code. Occasionally scream at people. Do random stuff. Hold no opinions that you should care about.
Joined Jan 2018
What is the point of C and C++ standards if nobody fully implements them?
Quite funny how centralized software repos turned into a disaster for software packaging in the linux world. More and more projects use docker nowadays. Not because docker is good, but because everything else sucks.
Also, I'm thinking about migrating this account to another instance. I'll keep you posted.
Rust needs monads.
Here, I said it.
Honestly, not having a proper REPL is a huge problem for Rust.
Hey guys!
Does anyone have "Verified Functional Programming in Agda" by Aaron Stump in PDF? I remember a draft being released for free, but the link from reddit is dead.
THE WAY TO BE SURE
boosted
Anyone who suggests using 0.0.0.0/8 or subdividing 127.0.0.0/8 doesn't understand the real world Internet. Those addresses would be unusable for decades. We still have devices that don't speak CIDR, and that's 25 years old.
Add IPv6 and be done with it. #sysadmin
THE WAY TO BE SURE
boosted
Scientists have shown that physical fitness is associated with better brain structure and brain functioning in young adults. Increasing fitness levels may lead to improved cognitive ability, such as memory and problem solving, as well as improved.... - https://redd.it/d2nwve
I'm also quite puzzled about why nobody has yet proposed porting Idris or Agda record syntax as a language extension to Haskell.
I just cannot state this enough. Lens in #Haskell is a solution to a problem that shouldn't exist in the first place.
THE WAY TO BE SURE
boosted
THE WAY TO BE SURE
boosted
THE WAY TO BE SURE
boosted
Software testing — heuristic search for the invariants violation.
THE WAY TO BE SURE
boosted
#Haskell GHC 8.8.1 released 🎉
Release notes: https://downloads.haskell.org/ghc/8.8.1/docs/html/users_guide/8.8.1-notes.html
Migration guide: https://gitlab.haskell.org/ghc/ghc/wikis/migration/8.8
Do you want drama? Here's some.
https://github.com/standard/standard/issues/1381
TL;DR a popular JS library will display paid ads right in your terminal when you run your code.
The function implementation is quite simple.
singleton :: a -> [a]
singleton x = [x]
That's it. Surprisingly, a lot of people don't like this because there are other "better ways" of doing to same thing, and this caused a long and not very healthy discussion. I'm not entirely sure what to think of it, really.
2/2
If you want a perfect example of bikeshedding, look no further than #Haskell Libraries mailing list. Specifically, the recent singleton thread.
A bit of background first. In Haskell, almost every container library has an idiomatic function called singleton, which takes a value and returns a container with that single value in it. With the only exception being plain simple lists.
About a week ago it was proposed to fix this gap by adding the singleton function for lists.
1/...
#Emacs freezes if I start multi-line mode in Intero repl. Heh...
Not a real person.
I write code. Occasionally scream at people. Do random stuff. Hold no opinions that you should care about.
Joined Jan 2018
