|
i wrote a map and a fold function in c using void function pointers. it seemed to work.
|
# ? Nov 21, 2017 13:32 |
|
|
# ? May 13, 2024 06:42 |
|
frame pointers are useful for when you want a stack trace on garbage architectures, op
|
# ? Nov 21, 2017 15:18 |
|
Cocoa Crispies posted:that's really hard to read, you want: i agree, python list/dict comprehensions and map/reduce/lambda expressions are not the easiest thing to read. i mostly use them as specific idioms rather than composing up a piece of fresh line noise, things like flattening a nested list, or reversing a mapping. you can put additional whitespace in as when you are inside an argument as you aren't in semantic whitespace land anymore, but it's an open question of style.
|
# ? Nov 21, 2017 15:22 |
|
atomicthumbs posted:Programming in a functional style can also be accomplished in languages that are not specifically designed for functional programming. For example, the imperative Perl programming language has been the subject of a book describing how to apply functional programming concepts.[29] This is also true of the PHP programming language.[30] step 1 to functional php is using the "render mathy" tool `rm` on all your php files
|
# ? Nov 21, 2017 16:36 |
|
Cocoa Crispies posted:step 1 to functional php is using the "render mathy" tool `rm` on all your php files It certainly does eliminate the side effects of the code
|
# ? Nov 21, 2017 16:40 |
|
Star War Sex Parrot posted:hell yeah check out the sweet invariants I wrote for my hash table ok now do this for the whole windows os easy peasy
|
# ? Nov 21, 2017 16:50 |
|
oh man a FP thread I should come out of the marked threads in my panel more often.
|
# ? Nov 21, 2017 19:25 |
|
functional programmers or as i refer to them, fictional programmers
|
# ? Nov 21, 2017 21:43 |
|
Bloody posted:idk what any of that means tbh it's neat I guess but still feels largely academic to me
|
# ? Nov 21, 2017 22:06 |
|
atomicthumbs posted:Programming in a functional style can also be accomplished in languages that are not specifically designed for functional programming. For example, the imperative Perl programming language has been the subject of a book describing how to apply functional programming concepts.[29] This is also true of the PHP programming language.[30] my dude functional programming has been around as long as C has had function pointers
|
# ? Nov 21, 2017 22:07 |
|
Ludwig van Halen posted:my dude functional programming has been around as long as C has had function pointers functional programming predates c by almost 20 years
|
# ? Nov 21, 2017 22:10 |
|
atomicthumbs posted:Programming in a functional style can also be accomplished in languages that are not specifically designed for functional programming. For example, the imperative Perl programming language has been the subject of a book describing how to apply functional programming concepts.[29] This is also true of the PHP programming language.[30] php: phunctional php
|
# ? Nov 21, 2017 22:38 |
|
https://www.youtube.com/watch?v=a99u2KvQIII
|
# ? Nov 22, 2017 00:27 |
|
how have we not posted https://www.youtube.com/watch?v=BXmOlCy0oBM
|
# ? Nov 22, 2017 05:22 |
|
due to React and Redux i get paid to wack off all day about FP and it owns. the browser stack sucks poo poo but this is the closet im gonna get to a fp job until i can somehow swing an elixir position or w/e in ATX (unlikely afaict)
|
# ? Nov 22, 2017 06:46 |
|
carry on then posted:how have we not posted https://www.youtube.com/watch?v=BXmOlCy0oBM "If you look at Erlang the Movie, Joe and Mike did all the talking and I did all the work " - Robert
|
# ? Nov 22, 2017 18:41 |
|
u were probably sucking me off, op
|
# ? Nov 22, 2017 18:56 |
|
Star War Sex Parrot posted:languages like F* and WhyML allow you to specify contracts with first order logic, and then automated provers can formally verify whether the code actually matches the specification yeah i mostly have no idea how to mentally parse and interpret the contracts
|
# ? Nov 23, 2017 00:14 |
|
functional programming is the high-level equivalent of VLIW. Logging out now
|
# ? Nov 23, 2017 01:17 |
|
carry on then posted:ok now do this for the whole windows os Star War Sex Parrot posted:hell yeah check out the sweet invariants I wrote for my hash table this is what all programming will be like when HP Hovercraft has his way
|
# ? Nov 28, 2017 10:16 |
|
computerphile just posted their what is a monad video, which was somewhat helpful, but stay for the end for the presenter making bitchy spergy functional programmer comment about why they are called monads and not something more understandable for mere computer programmers.
|
# ? Nov 29, 2017 13:36 |
|
I recently went through https://underscore.io/books/scala-with-cats/ and monads finally really clicked for me. recommend.
|
# ? Nov 29, 2017 13:41 |
|
A monad is just a monoid in the category of endofunctors, what's the problem, OP?
|
# ? Nov 29, 2017 14:12 |
|
ultravoices posted:computerphile just posted their what is a monad video, which was somewhat helpful, but stay for the end for the presenter making bitchy spergy functional programmer comment about why they are called monads and not something more understandable for mere computer programmers. unless the comment "it's stupid and historical and literally everybody wishes they were called something else but it's too late now" he's wrong. i mean you can also talk about why it was named that originally i.e. sperg about endofunctors and natural transformations between categories of functors but that 1) doesn't mean it is a good name and 2) gently caress youuuu they're not even the same i actually covered monads in my maths theory masters and i didn't recognise haskell's monads in it at all. at best they're kind of similar.
|
# ? Nov 29, 2017 14:19 |
|
monads fewer problems
|
# ? Nov 29, 2017 14:21 |
|
fart simpson posted:monads fewer problems tempting, but my current username still isn't getting old for me. i'll consider this next time i change it
|
# ? Nov 29, 2017 14:24 |
|
ultravoices posted:computerphile just posted their what is a monad video, which was somewhat helpful, but stay for the end for the presenter making bitchy spergy functional programmer comment about why they are called monads and not something more understandable for mere computer programmers. computerphile is kind of bad lol
|
# ? Nov 29, 2017 14:35 |
|
MALE SHOEGAZE posted:I recently went through https://underscore.io/books/scala-with-cats/ and monads finally really clicked for me. recommend. I'm a little bit disappointed the book doesn't have as many cats as I thought it would have
|
# ? Nov 29, 2017 14:38 |
|
*fart-huffing intensifies*
|
# ? Nov 29, 2017 14:40 |
|
gonadic io posted:unless the comment "it's stupid and historical and literally everybody wishes they were called something else but it's too late now" he's wrong. well it is what they are and calling them what they are gives credit to the mathematicians who discovered them for me it's "oh we have this black box of a pure function how to do we get something useful out of it, and that interface is called a monad and it is kind of like wrapping up the function in a case switch which is something like typecasting and something like exception handling and oh god this would all be clear if you were smarter and/or went to college."
|
# ? Nov 29, 2017 17:11 |
|
Symbolic Butt posted:computerphile is kind of bad lol dinkering with old computer is cool or hearing from ancients about the origins of things is neat the guy who parrots lesswrong fears about AI is not so neat
|
# ? Nov 29, 2017 17:12 |
|
ultravoices posted:dinkering with old computer is cool or hearing from ancients about the origins of things is neat fun fact: he goes around campus on his electric skateboard instead of walking and iirc wears fingerless gloves i haven't actually seen him since vaping became a thing but i'm pretty sure he would
|
# ? Nov 29, 2017 19:25 |
|
|>|>|>|>|>|>|>|>|>|>|>|>|>|>|>|>|>|>|>|>|>|>|>
|
# ? Nov 30, 2017 00:59 |
|
when i went to university the first course in the cs program was programming in sml level-wise it was that the first assignment involved implementing integer multiplication as a function without using *, or the standard library (and we were plain not told about looping constructs in ml existing until the end of the course). very very easy recursion from where i am sitting now it was a great assignment because half the class thought they were hot poo poo having learned some things about c or pascal by rote, and everyone ended up being intellectually level because no one really knew anything (or, for that matter, had seen ml before), didn't take anyone long, but no one instantly solved it none of the assignments took more than 30 or so loc as i recall, but i learned a lot, not least about being a know-it-all nerd because i hammered at the keyboard a bunch before i attended the class
|
# ? Nov 30, 2017 20:25 |
|
well id say the first front page articles i really liked were weekend web,, your band sucks, and the fashion ones that zack parsons (?) and david thorpe did together. i was 15 or 16 at the time.
|
# ? Nov 30, 2017 20:33 |
|
i loved leonard j. crabs, and the ICQ logs. oh also some of the quake map reviews and ultra-shovelware walmart special FPS reviews were hilarious
|
# ? Dec 1, 2017 00:03 |
|
leonard j. crabs died in 2007 from an extremely terrible butt condition
|
# ? Dec 1, 2017 00:03 |
|
Farmer Crack-rear end posted:leonard j. crabs died in 2007 from an extremely terrible butt condition your posts killed him?
|
# ? Dec 3, 2017 16:41 |
|
my bitter bi rival posted:well id say the first front page articles i really liked were weekend web,, your band sucks, and the fashion ones that zack parsons (?) and david thorpe did together. i was 15 or 16 at the time. you're making me feel old
|
# ? Dec 11, 2017 07:14 |
|
|
# ? May 13, 2024 06:42 |
|
Farmer Crack-rear end posted:i loved leonard j. crabs, and the ICQ logs. oh also some of the quake map reviews and ultra-shovelware walmart special FPS reviews were hilarious quake map reviews were fun
|
# ? Dec 11, 2017 07:14 |