/dpt/ - Daily Programming Thread

Now i have to start all over again

FOR
FUCK
SAKE

lesson learnt at least

What's the best way of finding pointers on the stack in C++?

>liquid types
thats a new one

this, but without the stupid ug;ly retard anime

An Android App made with kotlin which uses volley to pick up cryptocurrency data using the coinmarketcap API. It's a little cute exercise. I still have to put all the coin data in a viewable format and implement caching and other stuff.

dep types make liquid types redundant.
what you mean to say is dependent linear types., which Idris 2 S O O N

this, but without the stupid ugly retard post

good look reading dwarf tables lmao

LOL mad. the whole "copying the previous post format to make the opposite point" is gettin OLD my man. gotta get that HEADGEAR SPINNIN for somethin original homeboy. also there's nothing to "this" if you're disregarding the whole post. jerk-store-tier comeback. try harder sweatie . . .

Hey guys. I have a Java program with a bunch of class files. I'm new to C++. Will it allow me to make class files like in java? Some important stuff is taken care of by the class files and I want to write the whole program again in C++

I have no idea what I should program.

That's not entirely true, fully dependent types don't have a good story for subtyping and intersection types and in many cases they're overkill and don't justify the loss of those features.

C++ has classes but you can't just copypaste Java and expect it to work.

liquid types are a subset of dependant types, yes.
however they are easier to use and go hand to hand with efficient development when you don't want the full expressiveness of dep types.

d×mn......... story of my life . . .

how bout— like... uber for the ice cream man?
ever get sick of hearing the ice cream man a block away only for him never to show up at your house? welp, just pull out the APP & CALL him over to your block on a sunny summer day. boom instant ice cream delivery.

so more like DOORDASH or UBER EATS i guess

gib arduino project ideas.

what important things? C++ doesn't have class files. They compile into object files.

>subtyping and intersection types
I feel like this is more a haskell thing, i've never really felt limited.
> when you don't want the full expressiveness of dep types.
which is never

Fuckbot.

>tfw no gf

AMD just announced 7nm GPU
say something nice bout it

do i seriously need to learn sepples
god, please no

not if you learn haskell

Take a shot everytime a Haskell faggot says "types"

>Haskell faggot
This doesn't type-check.

types

take a shot everytime a shitlang user bitches about FP.

I like FP I just hate Haskellers
also get triggered retards

take a shot every time a sepplesfag says template

the orange chink

This Lain is off-model.
If you want systems programming with dependent types, you can have it today with ATS. Not that I'd recommend it.

>I like FP I just hate Haskellers
you sound like someone who likes it in "concept" while actually using none of it in practice.

I'm actually an expert Functional programmer in JS

Swift is great.
class Stack {

// ...

func pop() -> Int? {
if let value = top?.value {
top = top!.next
return value
} else {
return nil
}
}

}

Attached: sicp2.jpg (980x411, 126K)

>not using ordered types to enforce the order in which elements are consumed

post some code

I'm too new to know what ordered types are

They're the key to saving systems programming

imagine a type system where
fun(x, y) = y + x

didn't necessarily compile but
fun(y, x) = y + x

did

I've made a functional programming language

In Haskell this is just
pop [] = Nothing
pop (x : xs) = Just x

pop :: Foldable f => f a -> Maybe a
pop = getFirst . foldMap (First . Just)

It's more like peek than pop

an afternoon of hacking together your own LISP flavor is hardly making your own FPL.

how can a brainlet like me learn algorithms?

how would you express it's type signature?

>enforced argument order
for what reason?

dragon book

pop :: [a] -> Maybe a
pop = unsafeCoerce

that's the compiler book

No, it's a real language, nothing to do with Lisp, actually used in deployed code

>unsafeCoerce
collect this

Something like
fun : (Int, Int) -> Int

I.e. order mattering is the default.
I'm sure you could think of reasons. Like needing to perform certain operations in a certain order, or something like that.

oh right
SICP then

post a sample

so basically all functions have to take arguments in the same order... you would probably need some flipping combinators to make it useful.
kool idea desu

Here's another pop() implementation in swift:
class Stack {

// ...

func pop() -> Int? {
let value = top?.value
top = top?.next
return value
}
}

Attached: sicp.jpg (500x492, 95K)

>Like needing to perform certain operations in a certain order, or something like tha
i feel like you should just add some sort of priority signature to the type then.

It obviously depends on the system, but you may have e.g. a modality that expresses re-orderability (e.g. !T is a re-orderable T), or a subset of types that can always be re-ordered.

Yeah this is sort of like linear types vs linear arrows. You could probably have an ordered arrow.

How do I set up VS Code on a USB with Golang intellisense?
Go is on the USB and changing the GOPATH and GOROOT in VS Code does nothing.

Why isn't it working? What should GOPATH and GOROOT be pointed to?

That sounds tricky if it's on a stick as the fullpath will change depending on which port the drive is j-j-j-jammed into. I'd suggest make a script that detects new drives and attempts to find something that looks like a GOPATH/GOROOT and sets the $DRIVE_ROOT to whatever the E/D/U/etc. prefix is.

If GOPATH and GOROOT are both set as the absolute paths and the same port is always used, this shouldn't be a problem right?
But it's still not working.

Whats a non shit ide for c? I tried like four of them and they all gave my weird errors so I just immediately gave up since I'm lazy and eventually found dev c++ but the debugger is garbage compared to what I'm used to.

I use wordpad.exe unironically

Notepad is better

EMACS YOU FOOL

Recommend me a scripting language

for me its zip

C compiled with TCC

>zips monster

Should I learn Forth or APL?

Attached: 1540809987795.png (350x350, 160K)

lua

Remember: C++ code gets easier to write and simpler every release.

C++20:
struct Foo {
T1 x1;
T2 x2;

auto operator(const Foo&) const = default;
};

C++17:
struct Foo {
T1 x1;
T2 x2;

bool operator==(const Foo &rhs) const {
return (x1 == rhs.x1 && x2 == rhs.x2);
}

bool operator(const Foo &rhs) const {
return *this != rhs && !(*this < rhs);
}

bool operator=(const Foo &rhs) const {
return *this > rhs || *this == rhs;
}
};

Attached: 1523182569683.jpg (2560x1440, 661K)

it's a shame they never adapted tsukihime into an anime

Does C++ have yearly installments now like Madden or Call of Duty?

Remember: C++ makes you want to kill yourself more and more in each new release

>He prefers the C++17 version to the C++20 version

C++ is eternal, unlike deadlangs and memelangs.

so. many. features. so. much. bloat.
its unironically easier to keep up with javascript and all of its ecmsa releases than c++.

why arent you just using rust user?

gist.github.com/bkaradzic/2e39896bc7d8c34e042b
sepples is literally catholic rape priest at this point

>complains about features and bloat
>uses Rust
Hmm

>He finds it difficult to keep up with some relatively simple features that make life a lot easier

Rust is acquiring features at a faster rate than C++. Most of them aren't stable.

what is the best free online bootcamp or mooc to get a job asap?

why doesn't C have lambdas for fuck sake

muh language bloat.
Despite the fact it makes code cleaner and simpler

C doesnt even have strings or arrays why would it have lambdas

gcc has extensions statement expression + local functions which you can use like lambdas.
clang has extension for ^blocks which are lambdas.