/dpt/ - Daily Programming Thread

Idris with Lisp syntax

kill yourself lisplet

Were bootcamps a mistake?

Not for the people running them; they're goldmines.

Scheme is really fun to use but macros still confuse me. How exactly do they work?

Which language is the most beneficial to learn in terms of becoming a better programmer in general?

>yuros go to bed
>posts by butthurt OOPsies stop
who would have guessed

whatever is least like what you already know

Sit down, user. Lets talk about FP.
FP is better becase:
>*cool stuff* basically useful for CRUD and theories only but still cool!
>it produces bloated executables
>it's slow.
>immutability is the best choice for real world program where everything changes
>immutability is the best choice for real world program where everything changes
ignore above line, I accidentally wanted to mutate it.
>it may produces 1 GB of garbage per second
>FPLs care more about the language and programming theories rather than the actual use. This means great langs for all of us to look at and admire!
But FP is...
>not popular because nobody understands it
>taking over... slowly... slowly...someday! You will see, all your PLs will have map and filter!! even java has it now!
>not realiable but it is not intended to fail(or be good at anything other than CRUD)! I promise!
>not readable but it has much fewer lines which are all one-liners!
>prone to shit itself on small changes in the source code but it is not like you need to maintain and modify it!

Attached: laughz.jpg (500x465, 26K)

Not sure if this is the right place to ask but does anyone know how you'd go about manually updating an older phone's database?

I read about some USSD codes but none of them seem to let me update the Java applications like games,dictionarys ect

stuff like picrealted

Attached: Samsung Gravity.jpg (445x400, 36K)

Spoke too soon.

>FP is bad because I'm bad at it

I submitted a number sequence to the OEIS today, generated with a program.

added some more adapters to my pure functional, static, lazy range lib

Attached: 2018-08-21--1534894029_792x405_scrot.png (792x405, 16K)

See if you can guess what generates this sequence.

1, 54, 60, 237, 1134, 2208, 2916, 3240, 3258, 3423, 3600, 3727, 4022, 4316, 5990, 6639, 6971, 7267, 7505, 7621, 7693, 7856, 7988, 8011, 8249, 8957, 9073, 10570, 10857, 10986, 11163, 11193, 11730, 12615, 12786, 13859, 14220, 14390, 14399, 14714, 15011, 15070, 15245, 15292, 15404, 15650, 16126, 16189, 17056, 17188, 17369, 17420, 17534, 18125, 18254, 18302, 18844, 19345, 19432, 19522, 19967, 20852, 21118, 21143, 21531, 21783, 21813, 23088, 23448, 23515, 23583, 24504, 24510, 24931, 25262, 25321, 26453, 27767, 28062, 28400, 28495, 28554, 28933, 29582, 29635, 30056, 30410, 31244, 31480, 31826, 32113, 32180, 33507, 33891, 34038, 35484, 36176, 36251, 36664, 37319, 37966, 38389, 38792, 38979, 39362, 39561, 39716, 39850, 40204, 40943, 41002, 42961, 45225, 45933, 46928, 46951, 47282, 47335, 47846, 48377, 48662, 50108, 50645, 50692, 50704, 52124, 52551, 52720, 52838, 53068, 53495, 53524, 54210, 55668, 55803, 56506, 56801, 56907, 56998, 57529, 57884, 58970, 60244, 60622, 61349, 62006, 62362, 62539, 62577, 62773, 62942, 63460, 63637, 64642, 64854, 65367, 66429, 66996, 67423, 68040, 69442, 69737, 70304, 71071, 72290, 72473, 72536, 73246, 73712, 73948, 74440, 74780, 75004, 75187, 75368, 76259, 77799, 77976, 79150, 79525, 79883, 80210, 80239, 80277, 80357, 80591, 80705, 80873, 81280, 81634, 81959, 82216, 82407, 82637, 82785, 83152, 83482, 84131, 85925, 86808, 86991, 87882, 88242, 88944, 88950, 89286, 89469, 90322, 91325, 91723, 92608, 92817, 93466, 94130, 94397, 94633, 96608, 97758, 98148, 98289, 98573, 99523, 99818

This is all of them from 0 to 100,000

>it was designed at Ericsson
and all erlang calls were done in C++ afair

that fucking font.

Remember to ignore wannabe hackers and trannies with a god complex

Remember to no bully the OOPsie

seems to be a log() 2bh

>Haskell programmer: *writes one line reduce function*
>Java programmer: "lol you know that's not the way computers really work right?"
>*Writes 1,500 line program that spans across 5 files and 12 classes that accomplishes the same thing*

You forgot the 500 additional lines of exception handling.

P R A C T I C A L

>call procedure
>"the procedure has been called with 3 arguments, it requires exactly 4 arguments"
>remove one (1) argument
>"the procedure has been called with 3 arguments, it requires exactly 4 arguments"
>add on one (1) extra argument
>"the procedure has been called with 5 arguments, it requires exactly 4 arguments"

Attached: genuineAnger.jpg (720x706, 33K)

you're probably calling an overload.

>Haskell programmer
I thought those went extinct.
Also,
>Javeet
>knowing the way computers really work
sepples!

>Haskell programmer: *cannot find a job yet shitposts in /dpt/ about how great Haskell is* *cognitive dissonance exacerbates existing mental health issues and eventually leads to suicide*

*autistic screeching about OO* intensifies

OOP isn't the opposite of functional programming

I'm currently doing a PhD in programming languages at the second best university in my country (Czech Republic) and, for reasons that would be too time-consuming to explain atm, I can _assure_ you that C++ is a better language than Haskell and, in general, OOP is a better paradigm than FP.

thanks for clearing things up

Are there any purely functional OO languages?

never claimed it was. just calling out the haskell toddler

that's a subset of c++

Attached: .jpg (1920x1080, 176K)

Correct. The clue is in the acronym: it stands for Opposite Of Programming.

It is almost like those two aren't pure shit on their own.

if you use inheritance in your code you get the gas

Attached: 0iecz450p.jpg (690x784, 78K)

Idk what to do in my free time. I like being taught stuff and given projects to do in university. Now I am on summer break and idk what to do.

well done user, you just invented mutual exclusion

Like brap gas or hall of cost gas?

nerf gas

The entire point of using abstractions and higher level languages is that "it's not the way computers really work"

if i ever get my hands on the OOP shitters who have made my programming career a thousand times more frustrating than necessary, i'll make the hall of cost seem like a teddy bears' picnic

I haven't written a line of code in over 2 months but I still shitpost in /dpt/ daily

No. It's to more easily represent and map intention and meaning. That doesn't exclude low level control.

that's me

programming is so fucking garbage that i can't bring myself to wade through the fucking cancer anymore, but you're going to hear my opinions on how rubbish it is

Join the haskell club and optionally get a tripcode. we just have one right now but the club will grow some day!

>OOPajeet complains about Haskell programmers
>"Y-you're unemployed!!!"
As if Haskell is the only language I know. Like I can't have a favorite to use for non work projects. Years later, once you've explored beyond the Java you were taught in CS class, you'll realize I'm right.

You're playing semantics, when you're using "low level control", you're using less abstractions almost all of the time.

>you'll realize I'm right
Let's leave that part to you, freshman.

By that time those of us who currently know this will have moved on to even better languages. Ha, it's amusing to think that one day Haskell will be looked down on in the same way Java is today.

A pajeet at work literally thought Java became a haskell-tier FP language when Java 8 came out.
>Why does Haskell even exist? Java has everything now

>Haskell will be looked down on in the same way Java is today.
Compare it to Idris.

Does india have a real life Java-cult yet?
Is gosilng a god to them?

>freshman
I said I was employed in the post you responded to, reading comprehension please user! You'll never graduate if you can't pass your non-major English classes!

Indeed, and Idris is gathering steam. Hopefully won't be long before we can leave Haskell behind. Onward, forever and ever!

>I said I was employed in the post you responded to
>I am employed guise!
lurk moar

>Establish low level mechanics
>Use abstraction facilities on those
Generative C++ is something I'm happy to see forming. Not being able to make meta-use of the eg enums has been bothersome, even though most compilers will generally reorder switches and still generate the intended jump-table.

vs.
>Use abstract thing, like "var" or "set var=%var2%"
>Use thing with even further abstraction, relying on intelligent layout, use of registers, so on.

Not semantic. There is a definite hard, functional basis for the distinction.

Fuck no.

its a lot more obscure and useless than that

>less abstractions
Not necessarily. There's a method of programming called stepwise refinement where you start with an abstract (high level) specification and refine it into a concrete (low level) implementation.

A simple example of refinement is instantiating a template in C++. The abstraction exists alongside the concretion.

How tf did we go from asm and C to Java, Haskell and Idris?

What went wrong?

Attached: 1534871386931.jpg (724x540, 136K)

We strayed from the true path.

i want to nakadashi chihaya

Remember when /dpt/ was gud? Me neither

Attached: 1520624422089.webm (600x440, 240K)

>A simple example of refinement is instantiating a template in C++.
I should add that this includes specialization but only if the specialized code is equivalent to what it would be with pure substitution.

>complaining about Java, Haskell, and Idris when Javascript, Rust, and Go exist

It's just lisp generating lisp. If you're interested from the book practical common lisp, the story of Mac.

wm-help.net/lib/b/book/2895812152/59

you someone attaches a boomer picture to their post, you can assume 99.9999999999% of the time, they're shitposting.

This thread has been very focused on Haskell and Idris. I added Java because I wasn't solely trying to shit on FP.

You are a gay nigger.

Prove me wrong.

But seriously. Idris barely scratches the surface of what's possible under the Curry Howard correspondence.

What's the new fad after dependent types, then?

Honestly if someone posts in /dpt/ then you can assume 99.999% of the time they're shitposting. And also that they're a shitty programmer, myself included.

>Czechian education
>implying it's worth anything

Seems to be gradual and intersection types.

linear/unique types, completely 100% unironically. (which idris also has)

Will a Lain picture in a portfolio project turn away potential employers?

Attached: resigned to my fate.png (364x364, 191K)

Possibly. A lot of normies find anime weird, especially anime schoolgirls.

They might not seem to understand.

Depends if the employer understands, or just assumes you identify with / like drawings of prepubescent school girls.

Despite possibly understanding, I myself may or may not hire a lainon.

A shame, they seemed like honest men.

Damn, I didn't catch the joke. Great song.

blog.vmchale.com/article/ats-performance

Attached: 1521639509030.jpg (720x855, 73K)

Functional reactive programming is intimately linked to hybrid systems. Hybrid automata model hybrid systems and generalize finite state machines. Coroutines correspond to finite state machines. What corresponds to hybrid automata?

I'm about to start a "software engineering" college course. Does anyone recognize these books and if so could you tell me how fucked I am?

Attached: books.jpg (830x506, 85K)

did this a little while ago, I have git bash saved in my git folder... does that make sense? I'm trying to learn how to use it

If your course is anything like mine, you won't need the books at all.

My course was like this as well, everyone just Googles Stack Overflow solutions

c++ is the best language ever because there's nothing you can't do in it, enough said