/dpt/ - Daily Programming Thread

>>60553458
machine learning

Learning Rust, everything seems straightforward and sensible so far.

File: 1439648511159.jpg (116KB, 469x469px) Image search: [Google]

116KB, 469x469px

>>60553458
Thanks for using an anime image, but you forgot the old thread link: >>60547482

learning perl

>>60553645
This is why we can't have nice things.

>>60553664
Fucking what. Users having more space available is not a license to use it for your shitty app that you can't be bothered to write properly.

File: 1481781995516.png (580KB, 862x890px) Image search: [Google]

580KB, 862x890px

>OOP

>>60553664
how is 500mb unacceptable for an IDE?

trying to learn c++ so I do better in my upcoming courses because i hardly paid attention in both my intro classes and barely passed both with D's.
Would retaking those into classes to get a higher grade be worth it?

File: 1492831891533.png (341KB, 556x561px) Image search: [Google]

341KB, 556x561px

>>60553729
>500MB for a fucking glorified text editor

Daily reminder that Lisp is the most powerful language in the universe.
If you don't know lisp or its scheme cousin, then you can't call yourself a programmer.

File: 1492099673616.jpg (290KB, 800x820px) Image search: [Google]

290KB, 800x820px

>FP

>>60553751
>politics
>>>/pol/

>>60553686
On a 10 TB hard drive, a 500 MB binary literally only takes up 0.005% of disk space.

>>60553748
heard the names but don't know much about either

>>60553746
kill yourself, it's a full-fledged development environment, you suck ass if you don't know how to make use of it other than as a text editor, and 500mb should only be a small fraction of your overall physical memory

>>60553757
And I could be filling that space with an episode of animu instead of your shitty program's bloat.

>>60553748
>Lisp is the most powerful language in the universe
What is a "Powerful" language? And in which "universe"?

>>60553748
Whatever, loser.
Lisp binaries are at least 30mb.

>>60553778
suit yourself

>>60553789
this, and it's also slower than python

File: 1461737108240.png (860KB, 841x720px) Image search: [Google]

860KB, 841x720px

>>60553770
>IDE babby

>>60553757
So what? It still eats through my usage allowance to download it, it eats up my disk I/O reading it, it eats up my CPU cache running it, and it eats up my disk capacity that could be used to store actual content, not another copy of a web browser engine.

>>60553800
cry harder fag

>>60553800
>I/O
Stopped reading right there.

>>60553788
Powerful = you can mold it to whatever you want.
In all the universes actually.

>>60553819
Not surprising, I'd already made my point by that point.

>>60553812
My latest project is under one megabyte, and that's the debug build.

So... how many copies of the QT core .dll are around on a typical windows computer?

>>60553843
>My latest project is under one megabyte, and that's the debug build.
sounds hardcore

>>60553853
>hardcore
Not especially, it's just not anywhere near as bloated as most software made today.

>>60553843
My python programs are kilobytes big.
Git gud, nigger.

>>60553789
>pajeet

tinyScheme can be compiled down into about a 20K executable

>>60553872
kill yourself retard

>>60553885
My programs don't need a shitty interpreter installed in order to run.

http://codecpack.co/download/xy-vsfilter.html
>More efficient Clip code (significantly faster + up to 1.8GB reduction in RAM usage when rendering gradients)
>up to 1.8GB reduction in RAM usage when rendering gradients
what was meant by this?

>>60553828
>you can mold it to whatever you want
What do you mean by "whatever"? You can't possibly claim this is true as it's currently written.
>In all the universes actually.
So even in the universe where Lisp was precisely defined to be the least powerful language?

>>60553902
Unless you want an easy way to update them without replacing the entire binary

>>60553898
That's not very nice, anon. Why don't you channel that energy into something productive, like making your software less bloated?

OPCode "1" takes two arguments : a number and an address
usage example :

address       content
6510                1 ; opcode
6511              420 ; number
6512            10220 ; destination address
6513             9666 ; extra address ??

what happens at 6513 ?

>>60553828
you could, if you were a god and huge lisp projects were scalably manageable

>>60553919
you're a joke for comparing your shitty software to a full-fledged IDE

>>60553918
What is this "update" you're referring to? Is that what you have to do if you write buggy software?

>>60553902
Your programs are jokes that will never be used in the real world.
If your compiled language doesn't take its time compiling your program, then your program is useless.

File: dlang_chan.jpg (139KB, 470x545px) Image search: [Google]

139KB, 470x545px

Threadly reminder that dlang-chan is not dead; she's going to have her GC tumor removed (eventually); and she's super duper cute and easy to prototype in! Say something nice about her, /dpt/!

>>60553757
Who the hell goes around with a bloody 10 TB hard drive? And some people still have to deal with a 5 MB/minute download rate, not to mention that an IDE shouldn't be anywhere near a third of the size of a Linux ISO.

>>60553796
Not if it's compiled.

File: 1446332804490.png (328KB, 672x706px) Image search: [Google]

328KB, 672x706px

>My compilation of Linux is 4.8MiB
>Anon can't even fit his text editor in less space than this

The elitism is sickening. Is it autism? One would think as a "good programmer" you would want to help others get on your level.

>>60553940
How do you determine if a world is "real"? Am I in a "real world" right now?

>>60553955
>4chan
>good anything

>>60553953
>Linux
Sounds like an IQ problem.

>>60553955
No, you're shit. Don't post here until you get good.

>>60553953
totally programming related good jaaab gooood jab

>>60553914
Throught metaobject protocol and metaprogramming, you could write whatever you want.
Metaobject protocol allow you to change the actual implementation of the language
Metaprogramming allows you to DSL.

>>60553938
No, they're called new features Mr. Pajeet

@60553955
>The elitism is sickening
Perhaps you should return to your home website then.

>>60553953
>he thinks linux is comparable to an IDE

>>60553956
>>>/his/

File: Julialogo.png (10KB, 370x208px) Image search: [Google]

10KB, 370x208px

You should all try Julia! So Lisp-like, that code using the GTK wrapper library have something like 30 macro expansions in 20 lines! (Though it did admittedly work very well for me with no other issues).

In clojure, how do I decide which functions to export in a file? I have a bunch of utility functions that I defn'd but I only want to export one big function.

>>60554010
Juali dev pls go.

>>60553997
What do you even need all of that fucking space for?
Are you going to defend VS being 20GiB or whatever the fuck is is?

>>60553982
>you could write whatever you want
What is "whatever"? This can't be true unless you specify what "whatever" means.
>Metaobject protocol allow you to change the actual implementation of the language
>Metaprogramming allows you to DSL.
My own language already does this. Why would I need an otherwise inferior and slower language like Lisp then?

>>60553902
Then you should count all your dependencies as well. I highly doubt that you can fit an ELF/PE loader and a libc along with your program in under 1 MB.

>>60554025
>My own language
hehehehehehhehehehehehehehhehehehheeh

>>60554021
why don't you make a 1mb IDE and become a multimillionaire entrepreneur like those jetbrains fags

>>60553938
I guess you wouldn't have any bugs since nobody is using your toy hobby software

@60554025
>What is "whatever"?
goddamn the autism is unparalleled

File: 1361141843001.jpg (109KB, 1100x914px) Image search: [Google]

109KB, 1100x914px

>his language of choice doesn't have generics that can have generic arguments

>>60554025
Lisp is turing complete, so "whatever" in that sense.
But these facilities make the process easy.
There's no need to kill yourself by repeating yourself too often like in many procedural languages.
Why, because you can mold it.

>>60554069
This is why Haskell Curry advocated dynamic typing.

>>60554069
inb4 what is generics

>>60554082
What is generics.

>--<..--- 60554065
It can't solve unsolvable problems. Which means it can't do "whatever".

>>60554076
>procedural languages
I see, so you confuse imperative languages with procedural languages. That's all I needed to determine your incompetency. Thanks.

>>60553458
https://www.youtube.com/watch?v=JpmK0zu4Mts

>>60553921
Either define all instruction encodings as fixed width (equal to or greater than the longest opcode/operand combination of any instruction) or define the next instruction as beginning immediately after all required operands to the preceding instruction.

>>60553938
Nobody can write code that doesn't need updates. Even professional projects like Windows and Linux require regular updates.

>>60553997
Why should something with the functionality of a scriptable text editor be bigger than an entire operating system?

>>60554069
>>60554082
>>60554091
What is a ``Generics"?

wish i had a gf

>>60554099
>the functionality of a scriptable text editor
ahahahahahahaha stay delusional fag and enjoy writing those scripts to get even a fraction of the functionality of an out of the box IDE

>>60554121
>>60554116
Samefag

Nigger

>>60554079
Why would someone advocate for something nonexistent?

>>60554126
What are these supposed features that you're talking about?

>>60554121
gfs are some fucking normie bullshit they're not that great in reality.

>>60554143
>ribbit version of "normalfag"
I don't want reddit stink nearby. Fuck off.

>>60554079
Why would you choose dynamic typing over HKTs?

fuck this. /dpt/ is fucking ruined because of 2 or 3 """programmers""" with severe autism.
I'm going to 8ch.

uh, so how do I stop polluting the global namespace in clojure? any idiot can come along and break my program by defining the wrong name:

(defn my-test [x y] (+ x y)) 
(defn my-fun [] (println (str (my-test 1 2))))

^ test.clj

user=> (load-file "test.clj")
#'user/my-fun
user=> (my-fun)
3
nil
user=> (defn my-test [x y] 50)
#'user/my-test
user=> (my-fun)
50
nil

how do I prevent this?

>>60554069
Ada doesn't have this problem

>>60554161
>Why would you choose dynamic typing over x?
No reason since "dynamic typing" doesn't exist and can't exist.

>>60554095
Forigve me, I barely use other languages that I don't really care much about what their types are.

>>60554158
you're clearly the redditor, that's why you're so insecure about it and associate non-reddit things with reddit because the only place you saw them was reddit

>>60554161
Because dynamic types let you encode runtime information into the types.

In you statically typed language of choice, can an ellipse become a circle if you set the axes to be equal?

>>60554182
I wish I didn't see your kind here on a daily basis. I truly wish.
But as reality currently stands that doesn't seem possible so it's obvious that I would learn about your kind.

>>60554126
>trying this hard to sell us Visual Studio

Where is your referral link my pajeet friend I wish to purchase right away to get all these amazing functionality things you speak of.

Actually I worked somewhere that made it's own OCaml IDE, and insisted we all use it though for working at home in my spare time I was able to write an emacs mode that did the exact same thing in one afternoon

>>60554199
>I wish I didn't see your kind here on a daily basis. I truly wish.
then fuck off you don't have to spend all of your time posting your garbage in /dpt/

>>60554126
Computers these days come with something called a "web browser". It lets you access these things called "websites" which are basically like folders, except they're on somebody else's computer that your computer connects to over a network. You can go to a "website" where other people post their scripts, and download them to your computer to use them for yourself if they suit your needs. You don't need to write everything from scratch.

>>60554189
>dynamic types let you ...
How can something nonexistent let you do something? Are you saying that if it existed, then you could do anything with it?
>statically typed language of choice
This reduces to "language of choice"

>>60554225
define dynamic typing

>>60552520
pls respond

>>60554158
It was always "normie". "Normalfag" was created by redditors on 4chan to show how politically incorrect they are so people would believe they are actual 4channers and not redditors.

>>60554241
It's a self-contradiction.

>>60554219
enjoy your lack of features (because those freetard scripts cover everything yeah sure), bugs, shit performance and bloat

>>60554189
if you use a dependently typed language, then yes
it's simply a dependent pair

(c : Circle, height c = width c)

>>60554246
>It was always "normie"
Wrong. Your kind always tries to rewrite history. Go be retarded somewhere else, like at ribbit.

>>60554249
I asked for a definition of dynamic typing.

>>60554241
I'm not even they guy you're taking to. Dynamic typing is untyped. Dynamic typing is a misnomer.

>>60554270
It's definition is a contradiction. I don't distinguish between different values of "false".

>>60554250
>(because those freetard scripts cover everything yeah sure)
Yeah like there's any reason to think a freetard "IDE" covers things that freetard scripts don't. And I'm sure not going to install a proprietary IDE, since I already have plenty of non-free trash on my machine, I don't want to double it.

>>60554273
You can't use the term you are defining in it's definition. That's not a definition. I asked you to define "dynamic typing".
>>60554284
>It's definition
...which is?

>>60554296
You didn't ask me anything

>>60554273
>Dynamic typing is
that would require for it to exist.
>>60554270
"something which is impossible"

>>60554266
Wrong. References to "normie" date from earliest 2007. References to "normalfag" date from earliest 2011. It was always normie.

>>60554266
I can't "be retarded somewhere else" since that would imply I'm being retarded here, which I can't be, since your posts have such low IQ that it makes anyone with at least the intelligence of a cup of yogurt look like the next Einstein.

>>60554244
So you want your language features to be entirely reliant on the shitty OS API and you wish to hardcode this with magic numbers/global variables.

Whatever you doing seems like AWK could probably do it instead of making some strange syscall DSL

>>60554316
>since your posts have such low IQ
How can posts have an "IQ"?
>that would imply I'm being retarded here
Which you undeniably are.
>Einstein
He was pretty slow on the uptake, just like yourself.

@60554312
Indeed. But that was on some other website you visit.

>>60554308
>He's arguing with someone that's agreeing with him

>>60554300
I'm asking you now. Can you define "dynamic typing" for me?
>>60554308
>"something which is impossible"
something which is not possible = definition of impossible. I'm asking for the definition of "dynamic typing". Are you mentally deficient? Do you not understand what a definition is?

>>60554343
I don't care if someone agrees with me while saying something blatantly wrong.

>>60554354
>I'm asking for the definition of "dynamic typing"
The definition reduces to "absurdity" or any other similar word.
>Are you mentally deficient?
No, but I'm starting to think that you might be.

>>60554361
I don't think you know the definition of misnomer is if you think what I said is different from your autism.

>tfw rustup doesn't work on my phone
>Can't install Rust via Termux
>Rust can target Android, but there do not appear to be Android binaries of the Rust compiler itself

This is bullshit. How am I supposed to compile Rust applications on my phone?

>>60554377
>The definition reduces to "absurdity" or any other similar word.
How so? Can you elaborate?

>>60554407
Use Ada ;)

>>60554289
have fun debugging your text editor while my freetard IDE Just Works™

https://github.com/vim/vim/blob/master/runtime/doc/debug.txt
https://stackoverflow.com/questions/25513162/vim-is-taking-700mb-memory-on-windows-how-can-i-debug-it

https://www.emacswiki.org/emacs/EmacsMemoryDebugging
http://notes.secretsauce.net/notes/2015/09/19_debugging-gnu-emacs-memory-leaks-part-1.html

>>60554400
>Dynamic typing is untyped.
This sentence being true implies the existence of "dynamic typing", which is clearly impossible.
>>60554422
What do you mean?

>>60554339
Proof?

>>60554361
That means you are blatantly wrong as well, though.

Also, what even is this nonsense about dynamic typing not being a thing that exists? It's existed in mainstream implementations of programming languages for decades. It literally just means that "type" is a property of a VALUE rather than of a VARIABLE. For example, C is statically typed; if you store something in an int, that something has to be an int - if it isn't, the compiler tries to convert it to one, and if it can't, you get a compile-time error. Dynamic typing means you have types, but they're a property of the value. So you could say x = 5, where 5 happens to be a value with type of integer, but you could just as well, even later in the same program, say x = "hello world" where "hello world" is a value with type of string. And this latter practice is pretty widespread in scripting languages, so I'm not sure how you're claiming it doesn't exist. I mean, do you think Javascript and Python don't exist?

>>60554440
You've lost the plot autist.

>>60554440
How is dynamic typing impossible?

>>60554407
You're not supposed to use phone/tablet operating systems as a build environment.

>>60554438
The only "freetard IDEs that just work" that I've encountered are basically text editors with compiler and debugger shortcuts added. Which, again, are trivial to implement via scripting.

>>60554407
use a vps, or home server via ssh

another possible way is try lambdanative to write a scheme wrapper around it

>Type theorists are at it again

Dynamic typing refers to the quality of a language to perform type checking at runtime, rather than at compile time. The first dynamically typed language was Lisp, which was created in 1958.

>>60554424

Gnat is also not in the fucking repositories.

Goddammit, I really only have Clang¸ nothing else.

>>60554443
>That means you are blatantly wrong as well, though.
Nope. His sentence being correct would mean I'm wrong, his sentence isn't correct and therefore his agreement doesn't imply me being wrong.
Didn't read the rest of your mindless retardation by the way. If you come up with something which doesn't contradict itself in the first sentences, let me know.

>>60554452
In the same way you not being retarded is impossible. Since it's basically your definition.

If a language has only one type, is it dynamically typed or statically typed?

Anyone here gets a 403 Client error when trying to interface with 4chan API?

>>60554143
Keep telling yourself that. I was a wizard, but getting a girlfriend was the best thing that happened to me.

>>60554475
There is a cross compiler to Android though

>>60554494
>If a language has only one type
Irrelevant.
>is it dynamically typed
The answer is "no" regardless of anything else.
>statically typed?
The answer is "yes" regardless of anything else.

>>60554497
nice roleplaying

>>60554497
Nice. Which daki did you buy?

>>60554485
How can you know if I am retarded or not? Do you personally know me?
What makes type checking at runtime rather than compile time impossible?

>>60554485
>If you come up with something which doesn't contradict itself in the first sentences, let me know.
I did though, I explained that dynamic typing means type is attached to a value rather than a storage location. I mean seriously, just type the following into your browser console and try to tell me that dynamic typing is impossible:

var x = 5; console.log(typeof(x)); var x = "hello world"; console.log(typeof(x)); 

>>60554524
>How can you know if I am retarded or not?
I'm assuming this isn't an elaborate act. If this is true then your actions alone are enough to conclude that you are retarded.
>What makes type checking at runtime rather than compile time impossible?
I never claimed this.

>>60554530
>I did though
But you didn't.
>I explained that dynamic typing means ...
You could replace the rest with anything which is by definition impossible and your sentence wouldn't lose its meaning.

>>60554473

Don't tell me what I can and can't use as a build environment! I believe in building and running applications on the same platform wherever possible. I'd compile rustc from scratch myself, were it not for the fact that it is in fact, written in Rust.

>>60554506

I don't want to cross compile
I want a native Android compiler that runs on Android.

>>60554530
He won't do that. He'll bitch about how javascript isn't a real language and that will be the end of it.

>>60554273
Dynamic typing is definitely typed in most cases. I prefer the term "lazily typechecked types" though.

>>60554559
>I want a native Android compiler that runs on Android.
Why? Mobile is literally the worst development environment possible, even ahead of Windows.

>>60554575
>Dynamic typing is ...
You shouldn't have even bothered writing the rest. You could replace it with anything false and your sentence will make just as much sense.

>>60554323
>shitty OS API

Linux's better than libc.

>magic numbers

I will have a symbol-to-syscall-number converter function

>>60554264
Huh, that is actually really beautiful. Which dynamically typed languages let you do this in particular? Can I define an alias for this type?

>>60554556
Run the script included on my post, and tell me what it outputs.

Damn, there is so much shit in webdev these days, it's overwhelming af

Procedural vs Imperative?

>>60554559
Then port GCC to termux

>>60554610
This isn't the webdev thread.

>>60554612
Procedural is just the non-idiotic subset of imperative.

>>60554556
>I never claimed this.
"type checking at run time rather than compile time" is essentially the definition of dynamic typing. So I'm going to ask you why it's impossible? What is wrong with the term "dynamic typing"? Saying it's impossible is what is wrong is not an answer.

>>60554601
>dynamic
no, dependently typed
and yes, you could
you would need a runtime test to determine that the case is true in order to construct the proof that width c = length c, so you could have e.g.

Ellipse -> Maybe Circle

>>60554612
Procedural languages are a subset of imperative languages.
Pure procedural code (without structured/procedural programming) is basically akin to writing a retarded version of assembly without any of the actual advantages.

>>60554624
there is no webdev thread though

>>60554601
>Which dynamically typed languages let you do this in particular?
None. Since there doesn't exist a single "dynamically typed" language.

>>60554608

number
string
undefined

>>60554628
>"type checking at run time rather than compile time" is essentially the definition of dynamic typing
For this to be true "type checking at run time rather than compile time" should be impossible.

>>60554594
Daily reminder that when Haskell Curry wrote down the Curry-Howard isomorphism, he was a die-hard proponent of dynamic types. Then again, SMT solvers weren't around so static checking of dependent types was impractical.

>>60554641
>Pure procedural code (without structured/procedural programming) is basically akin to writing a retarded version of assembly without any of the actual advantages.
Yeah, see traditional versions of BASIC/COBOL/FORTRAN.

>>60554624
>>60554641
>Procedural is just the non-idiotic subset of imperative.
>Procedural languages are a subset of imperative languages.
Is this a joke or just pure retardation?

File: eggy.jpg (59KB, 500x526px) Image search: [Google]

59KB, 500x526px

>>60553754
>pol
>>>/trash/

>>60554668
It's not nice to make fun of him. He has severe autism.

>>60554653
>he was a die-hard proponent of dynamic types
Which means his opinion is entirely irrelevant. Somehow who is a "proponent" of a self-contradiction is probably mentally ill.
>checking
We weren't talking about checking anything.

>>60554642
Isn't there /wdg/?

>>60554645
>number
>string
>undefined
You can ignore the third result. The first result is the type of the variable "x" at the time the print function was first executed. The second result is the type of the variable "x" at the time the print function was executed the second time. Does this not prove that dynamic typing can exist in a real language?

>>60554668
>>60554678
You fuckfaces should really go look up some definitions.

>>60554681
>Does this not prove that dynamic typing can exist in a real language?
No. If you can give me a proof of "dynamic typing" being possible I can give you a proof of literally anything.

>>60554668
show me A) a non-imperative procedural language B) a non-procedural non-idiotic imperative language

>>60554681
I'm thinking he knows dynamic typing is real, but he has an issue with the terminology "dynamic typing", but he won't elaborate on why.

>>60554588

Programming on the go, lol.

Anyways, I'm going to try grabbing the nightly arm-unknown-linux-gnueabihf binaries and running them on my phone. See what happens.

>>60554700
So then explain how that is not a proof of dynamic typing. A variable has one type at one point in time, and another type at another point in type. You can even look at the source code, it's available to you. How is this behavior possible in a statically typed language?

>>60554702
>a non-imperative procedural language
Any non-imperative language which uses procedures as its main component.
>non-idiotic
This is unanswerable as written.

>>60554475
>quality of a language to perform type checking at runtime

Precisely, dynamic typing treats class mismatches as checked errors during runtime since uni-type safety property breaks down once more than one class of value is admitted.

For example, if the natural numbers are added as a primitive to a function, then it is possible to incur a run-time error by attempting to apply a number to an argument.

The lambda calculus is uni-typed, and the guy who invented Lisp (McCarthy) said he implemented dynamic PCF to fix errors in the language. Classification is not free of course, storage is required for the class label, and it takes time to detach the class from a value each time it is used and to attach a class to a value when it is created so that's a major problem with Lisp and every other dynamically typed language these days.

>>60554700
The variable is being typed dynamically. Is it not? If not, then how is it being statically typed?

>>60554732
>Any non-imperative language which uses procedures as its main component.
That's not the definition of procedural programming, you stupid fuck.

>>60554709
>I'm thinking he knows dynamic typing is real
I outright stated that I acknowledge its existence being an impossibility.

>>60554726
>So then explain how that is not a proof of dynamic typing
You can't come up with a proof of something impossible unless you are using a blatantly contradictory (just like "dynamic typing") system, in which case it's irrelevant.

>>60554746
>The variable is being typed dynamically. Is it not?
Replace this with anything which is always false and repeat the question. Maybe then you will understand how retarded it sounds.

>>60554754
It is. Any other alternative definition is useless since it doesn't immediately follow from the way it's written.

Still waiting for IPv6 adoption.

Are your programs IPv6-aware, anon :^)?

>>60554739
>dynamic typing treats ...
Your whole post is rendered invalid.

>>60554773
>IP
>>>/g/wdg

>>60554757
Can you define "dynamic"? Also can you define "data type"?

>>60554804
Can you define "define" first?

so why is there no compiler for a lisp-like language that transpiles to HTML

>>60554770
>The world doesn't follow my special-snowflake definitions
>I'm right; the world is wrong
With your shitty attitude, how the fuck can communication even exist?

>>60554813
So, you're going to play more games to avoid confronting the idiocy are your arguments. Okay.

>>60554804
>Can you define "dynamic"?
The standard definition or even a basic understand of English will do.
>can you define "data type"
No. It's too retarded of a word to seriously consider using.

>>60554846
"procedural" implies "procedures". Anything else is unnecessary. You can use your alternative definitions, but keep them to yourselves.

>>60554813
can you define "can you define"?

>>60554850
>No. it's too retarded of a word to seriously consider using.
Why is that? Care to elaborate?

>>60554816
because your gay

>>60553754
>getting triggered over the mere image of our president
>/reddit/

>>60554875
Can you define "elaborate"?

>>60554875
The first word there is unnecessary. If you get rid of it then the standard (non-self-contradictory) definition of "type" will do.

>>60554894
Ok. Define "type" in the context of a computer programming language.

>>60554865
You need to be more specific about what you mean by "procedure".
If you weren't fucking retarded, "procedure" implies imperative, but knowing you, it probably means "bread" or something.

File: Screenshot_20170523-185132.png (126KB, 1080x1920px) Image search: [Google]

126KB, 1080x1920px

So much for that, lol.

>>60554850
>I will not admit I'm a retard, the post

>>60554905
Can you define "language"?

>>60554906
>"procedure" implies imperative
It doesn't. Unless you want to claim that every programming language which has so called "functions" is imperative.

>lisp is most powerful language
>doesn't even have goto

>>60554905
I already said that the standard definition will do.
>>60554912
Is that the best you can do?

>>60554925
>so called "functions"
True mathematical functions, "function" in the C-like sense, or another of your special-snowflake definition like "aluminium"?

>>60554911
>rustc
>glibc
>trying to run it on android
>bionic libc

>>60554946
I'm just pointing out you blatantly avoided the question.

>>60554954
>"function" in the C-like sense
The correct way to call that would be "procedure". "function" is an abuse of terminology.
For example, gcd is a function which is implemented by a procedure.

>>60554968
I didn't. I gave him the instructions to find a definition.

>>60553736
drop out faggot

>>60554938
Learn to program properly, goto is the first sign of laziness and ineptitude.

>>60554972
>The correct way to call that would be "bread". "aluminium" is an abuse of terminology.
>For example, square root is some aluminium which is implemented by bread.
Please anon, you're not helping me here. Define what the hell you're talking about so people can actually argue against you.

threadly reminder that ELF can be used to write object-oriented assembly code
>every unit is a class
>to instantiate a class, just allocate space on the text page, copy it in, and jump to its constructor

>>60554963

Figures it would have issues running dynamically linked applications. Statically linked gnueabihf executables normally have no problem, but /lib is weird in Android.

>>60555004
>Please anon, you're not helping me here.
Yes, I can see that by your retardation.
A "function" is something which truly exists only in the mind. A "procedure" is a more concrete thing which is able to implement a "function".

>>60554980
>No. It's too retarded a word to seriously consider using.
Sure thing. You can't even define words or explain your rationale. You're a moron.

>>60554732
>Any non-imperative language which uses procedures as its main component.
Give me a specific example then.

>>60555028
"data type" implies there is some other "type" which is somehow not "data". Which doesn't make sense to any non-retarded person.

>>60555040
Pick any popular non-imperative non-OO language.

>>60555041
>The concept of a meter is data in and of itself
Want to try again?

>>60555024
No, I'm pretty sure aluminium is a real thing, and bread does not implement it.
Anyway, if you're actually going to define a fucking function, you can at least give the mathematical definition, some some handwavy vague bullshit.

>>60555068
>you can at least give the mathematical definition
If you know the mathematical definition then my posts should make sense to you. They don't seem to, which means you're mentally deficient.

>>60553843
is that just total segment size or including other metadata?
(assuming elf, of course)

>>60555060
I don't know of any.

>>60555067
Did you fail grade school? Your reading comprehension is pretty bad.

>>60555093
>I'll resort to ad hominem, that will get him!
>I still won't answer the question!
Really making me think

>>60555108
>ad hominem
Are you underage? I didn't claim your argument was wrong because you were retarded, I simply stated that you were retarded.
>I still won't answer the question!
What question? I answered everything you gave me.
>Really making me think
Sadly at this point I don't believe that's even possible.

>>60555128
> I'm still not doing it!

Where do I learn about scope and extent are and what they do in Common Lisp?

>>60555041
>"data type" implies there is some other "type" which is somehow not "data".
But there IS a kind of "type" which is not a "data type." Numerous such kinds, in fact. Examples:
>type of person
>type of fruit
>type of printed character (unicode, ascii?)
>etc
The expression "data type" exists to clarify that one is using the word "type" specifically as it applies to programming languages, and not to other topics surrounding computation, nor to anything which may be only tangentially related to the documentation in which the phrase appears, like where the author went for his birthday.

>>60555139
I don't even understand your posts at this point. Stop being cryptic if you want to continue the conversation.

>>60555150
>type of person
>type of fruit
>type of printed character (unicode, ascii?)
All of those are a form of data. A type is itself data.
>The expression "data type" exists to clarify that one is using the word "type" specifically as it applies to programming languages
Nope. Never heard it used that way. You either associate with people who use words in a non standard way or you're simply lying. I would like to believe it's the former.

>>60555196
Your "definition" didn't define anything. In fact it added two more words you didn't define. Stop avoiding questions.

>>60555224
>Your "definition" didn't define anything.
This doesn't make sense so I'm ignoring it.
>In fact it added two more words you didn't define.
You have to stop being cryptic.
>Stop avoiding questions.
What 'questions' are you referring to?

>>60555237
>I'll pay dumb for the (You)s
Last one from me

>>60555254
Good. You're starting to annoy me by being so retarded and indirect.

>>60555196
>All of those are a form of data. A type is itself data.
Wrong. You and I are not data in the sense relevant to computing.
>Nope. Never heard it used that way. You either associate with people who use words in a non standard way or you're simply lying. I would like to believe it's the former.
I think you're the one who understands the phrase in a nonstandard way.

>>60555281
Just ask for definitions, he'll just play dumb.

>>60555281
>You and I are not data in the sense relevant to computing.
I am though. I can compute things in my head. You can use my brain to compute things, which uses up certain resources just like any other computation.
You might not be able to do this given your situation, but that's not the case for every person.

>I think you're the one who understands the phrase in a nonstandard way.
I've never said the words "data type" and people understood what I meant, so it must be standard after all.

File: 22.jpg (17KB, 300x180px) Image search: [Google]

17KB, 300x180px

Why are you fags still arguing about types? Almost all of you are wrong.

You realize there is a definitive, authoritative book on this subject right? http://www.cs.cmu.edu/~rwh/pfpl/ There's a free draft there too.

This is the 'what are you working' on thread not the type definition lawyering thread.

Either this guy is severely autistic, or a troll of the next level. Bravo.

Should I design the most retarded OOP language in the world?
>it doesn't have classes, instead all types are traits and all objects instances of sums of traits
>except it doesn't call them traits and objects, it calls them "adjectives" and "nouns"
>traits can be added to and removed from objects at runtime
>functions are called "verbs"
>"adverbs" are like traits but for functions, they change the function's behavior by modifying the closure contents
>member functions don't use the convention of the hidden "this" parameter, instead the closures are modified with adverbs such that they contain "this" variables
>functions that return iterators are called "prepositions"
>etc
>on top of it all it's not even an OOP language it's actually a data-oriented language with an OOP frontend

>>60555384
Fuck you.

Is there any good OpenGL literature, or should I just rely on online documentation?

>>60555335
>I am though. I can compute things in my head. You can use my brain to compute things, which uses up certain resources just like any other computation.
Allow me to rephrase: you and I are not data in the sense relevant to computing, in the modern sense of the word "computing," which involves artificial computers.

>I've never said the words "data type" and people understood what I meant, so it must be standard after all.
You've never said the words "data type," and people understood what you meant, and therefore the way you understand the word "data type" must be standard? That makes no sense. Your conclusion doesn't follow from your premises.

>>60555368
>Why are you fags still arguing about types?
I'm not. "dynamic typing" is a self-contradiction.
>authoritative book on this subject right?
This is an invalid argument. Ignored your entire post.

Help, i'm not sure what to make anymore, and I'm too lazy to use dpt roller.

>>60555405
not too hard please ;(

>>60555415
Read the book, you clearly have no clue what you are talking about.

>>60555420
Help me figure out why 4chan API is being an ass today

>>60555414
>you and I are not data in the sense relevant to computing
I am. You might not be, but please speak just for yourself.
>which involves artificial computers
No. A brain is also a computer in that it "computes". I don't care about your non-standard conventions.
>therefore the way you understand the word "data type" must be standard?
Therefore my understanding of the word "type" must be standard, since people understand it when I say it.
>Your conclusion
No, it's your conclusion. You twisted my words. Perhaps out of retardation, or at least I hope so. The only other possibility is outright dishonesty.

>>60555452
I didn't say anything about the book, I merely pointed out why your post can be safely ignored. Feel free to rewrite it.
That book contains blatant self-contradictions so I won't touch it. You could release an edited version of it though, and maybe then I'll read it.

https://www.youtube.com/watch?v=daYmVkHtkeU

>>60555485
>Since people understand it when I say it
Nobody seems to understand your supposedly "standard" definitions

>>60555410
People tend to shit on The OpenGL Programming Guide or "The Red Book" mainly for typos but it's alright I think. Like a rich reference manual, you know, clrs for algorithms, ecma standard for js or bjarne for c++

>>60555545
Every non-retard I have talked to understood it.

>tfw you finish fapping
>tfw you realize how much you're falling for the sexual reproduction meme
at least now i can get some programming done before i have to fap again

>>60555573
Evidence?

>>60555606
In what country do you live? I could present it to you if we can somehow meet.

>>60555587
This. I hate this goddamn instinct so fucking much
>programming like a madman
>suddenly pussy in my mind

>>60555632
So you have none here?

on a scale from 1-10, how difficult would it be to obtain an IP address from a post on here and then map that IP address to a physical location?

>>60555652
>>>/g/wdg

>>60555651
I have the evidence right here.
If you aren't from Europe we could arrange a meeting.

>>60555652
Dang... That's pretty "leet" as we call it.

>>60555652
10. You would need to break past 4chans security which has held relatively strong for 10+ years with a bunch of autists far better than you trying to get past it and then hope that the mods actually see IPs and not just unique posters.

Even if you got an IP you'd only have the ISP location. You'd then need to get the user of the person of the IP at that specific time from the ISP records.

If you need to ask, you're too stupid to do it.

>>60553541
Wait until you get to the borrow checker part

>>60555652
10. You would need server access and then admin access. Then you would need to break into the ISP server to get the exact person who is using the IP at that time.

>>60555485
>contradictions

No it doesn't, you haven't read it either because you're still posting cringe nonsense

>>60555485
>No. A brain is also a computer in that it "computes". I don't care about your non-standard conventions.
The kind of computer you're describing is irrelevant to the original context of our discussion. The expression "data type" is used in the context of programming artificial computers, and the word "data" in that expression specifically refers to data stored and processed by that particular kind of computer (the kind which is artificial). The word "type" is qualified by the word "data" in this way to prevent misconceptions that one may be referring to "types" in a broader sense, because a broader sense does exist; this, of course, owing to the fact that the kind of "data" being discussed is very specific.
>Therefore my understanding of the word "type" must be standard, since people understand it when I say it.
Your understanding of the expression "data type" is what I was claiming was nonstandard, not your understanding of the word "type."

>>60555698
So your evidence for making a good argument and defining your terms doesn't exist here. Good talk.

>>60555652
If you were the police, it would be a 1 as you'd just need to ask Hirohitomoot for the info and he'd hand it over, if he didn't you could get it from the server host he's using based on timestamps.

Then you'd just need to contact the ISP who would hand over said info too with MLAT warrant.

Otherwise you could trick the poster into clicking your honey pot link which logs their IP, then social engineer the ISP or feed them a tracker so about a 5 difficulty

>>60555955
>trick the poster into clicking your honey pot link which logs their IP
The problem is that you'd never know if the poster you wanted clicked it or some other poster.

>>60555955
4chan wipes their database every 24 hours. I remember Moot mentioning that before. I have no idea if it is still the same now.

>>60556000
>their
>4chan is nonbinary
help

>>60555982
people have still done it, easiest method is a post with comments avail so they leave you some.

For example some autist here going on about Ruby or something. Write post "Why Ruby Is Shit" and fill it with some illogic. Link the post in discussion here. Allow comments, wait for angry reply with IP. Numerous methods of implanting tracker cookies galore or screw around with bEef the browser exploit framework for trackers. This has happened many times on irc and even here

>>60556000
police don't need logs anymore they can go straight to snitch machine cloudflare for timing analysis or whoever is hosting 4chins

>>60556063
>whoever is hosting 4chins
4chan has it's own servers.

>>60556000
Hirochan is famous for selling data tho

what is the best book for learning python?

>>60555384
example code

adjective friendly {
   noun hello_world_string = "hello world";
   verb say_hello_world() {
      print(hello_world_string);
   }
}
friendly noun greeter;
greeter.say_hello_world();
// => hello world
print(greeter.hello_world_string);
// => hello world
adverb grimly {
   noun hello_world_string = "goodbye world";
}
greeter.(grimly say_hello_world)();
// => goodbye world
print(greeter.hello_world_string);
// => [still] hello world

>>60556009
Collective entities are usually ``non-binary". 4chan isn't one person, you know.

>>60556076
And are either colocated somewhere or renting bandwidth all of which is logged by higher up ISPs.

>>60556096
>4chan isn't one person, you know.
FUCKING LIES

>>60556000
didn't stop Jake Brahms from getting arrested in 2007 or whenever that was shitposting threats on /b/

not to mention the countless other idiots arrested for shtiposting threats over the years or the guy who posted himself breaking into that politicians email account his 4chin posts w/ID were part of the criminal complaint released by the feds as part as the case against him.

>>60555740
It claims the existence of "dynamic typing". Which is a self-contradictory term.

>>60555779
I didn't read even the first part of your post since I can already tell that it's completely fucking retarded.
>Your understanding of the expression "data type" is what I was claiming was nonstandard
The supposed truth of your claim doesn't follow from my previous posts so I don't even know why you mentioned it.

>>60555815
It exists. Right here. I am currently very close to Australia. Also there is one condition you have to fulfill to gain access to the evidence. And that condition is not being European. I don't deal with them.

>>60556076
Never forget. https://vine.co/v/MKmtdg72YiW

>>60556181
You know you have a mental illness right? What medications are you supposed to be taking

>>60556181
>I didn't read even the first part of your post since I can already tell that it's completely fucking retarded.
Wrong. It conclusively resolves our miscommunication.

>>60556095
>his language deliberately formalizes and advocates the notion of breaking encapsulation
leave

>>60555384
>tries to make the most retarded OOP language
>ends up making the best OOP language of all

>>60556181
>It exists
I believe all that exists where you are is a moron that can't remember what they've posted, even a few minutes ago.

>>60556291
>I believe all that exists where you are is
wew lad

#60556327
What did he mean by this?

File: what.png (57KB, 353x173px) Image search: [Google]

57KB, 353x173px

what the fuck is this thread
also is pic related a pot of banana slugs because that's really disgusting

im wondering how to program this in python 2.7

total base instances = 20
target = ['list','of','targets']

while instances is more than 0
    for every found target:
        split instances evenly to every target

    if targets > instances
        every target after the limit of 20 will get a brand new instance outside of the maximum

to clarify on the instance splitting thing, say there are 2 targets, so that means each target gets 10 instances
if its an odd number like 19 it will still try to split it, all targets get 1 instance and one target will have 2 instances

File: 1238157980_scanners_-_head_explosion.gif (425KB, 400x295px) Image search: [Google]

425KB, 400x295px

>>60556358
>I
>BELIEVE
>ALL
>THAT
>EXISTS
>WHERE
>YOU
>ARE
>IS

>>60556411
>It's a drunk Aussie posts trash, episode
Bravi

anyone know of anything generic i can insert over
hands, legs and a torso?

how hard would it be to recognize a specific video clip in a video stream? I assume there's gotta be packages for this already, anyone able to throw me a couple keywords to search?

>>60556358
He means you need to know for have to be since being of when you are.

>>60556508
what?

>>60556207
>What medications are you supposed to be taking
No medicine at all. Or not that I know off.

>>60556210
It doesn't. It's fucking stupid.

>>60556291
We can arrange a meeting if you meet the conditions. That's all there is to it.

File: thewolfman.gif (472KB, 500x281px) Image search: [Google]

472KB, 500x281px

How do I make my own OS?
I took an algorithms class once, and know a little bit about pointers. I don't care if it's garbage, I just want to make my own OS.

File: Screen Shot 2017-05-24 at 2.00.54 PM.png (424KB, 1136x640px) Image search: [Google]

424KB, 1136x640px

ive got these blobs (the white rectangle) and i need to somehow replace them with some image. im not sure how to distinguish between whether a blob is an arm, torso, or leg so im trying to find something generic that i can just apply to all of them

File: 07d.jpg (239KB, 500x750px) Image search: [Google]

239KB, 500x750px

This is the shittiest shit-thread of shitposts I have yet seen in my time on /g/. Bravo. Well done.

9 more left

>>60556563
What's a generic thing that can be inserted over hands, legs and a torso?

>>60556586
What a "Generic" though?

>>60556574
This is a good place to start.
http://www.osdever.net/tutorials/view/hello-world-boot-loader
The most fundamental thing you need to know about writing an OS that's different from writing other software is how to build your code in such a way that it becomes bootable and can interface with the keyboard and monitor. The rest is up to your own discretion (although there are certain widely accepted standards, of course).

PUSH IT TO THE LIMIT

>>60556610
something that can be applied without finer requirements

>>60556614
Thanks, I'll start reading.

>>60556586
>inserted
>over
i don't think that means what you think it means

>>60556628
So is it like a rule or something?

>>60556648
what a non-post

>>60556679
what a non-non post

>>60556689
ummmmmm LOL okay sweetums you realise double negation makes that A POST riiiiiite? :) te-REEEEE-why againy-wheny (:

File: 13241377_282112168791416_8845355918894621277_n.png (42KB, 952x672px) Image search: [Google]

42KB, 952x672px

>>60556689
Huh-HO!
Huh-huh-HOH!!
Man, WHAT a POST, am I right?

>>60556712
>double negation makes that A POST
I don't accept classical logic.

>>60556679
it's not even clear what you're asking. you want to insert something *into* hands? you want to wear something? what?

>>60556729
i want to layer an image over it

>>60556584
alll because one autist that apparently lives in New Zealand?

>>60556746
>>>/g/wdg
>>>/gd/

>>60556712
>POST
>>>/wdg/

New thread:
>>60556768
>>60556768
>>60556768

>>60556754
Australia* as in the continent. Not the country.
>autist
Also, die painfully.

>>60556759
its not really a technical question i was just wondering if anyone can think of something that goes on your feet, hands and chest

File: 215.jpg (36KB, 600x582px) Image search: [Google]

36KB, 600x582px

>>60556584
THE SCOOPS DAHNALD

>>60556780
tattoos?
cum?

>>60556648
I mean you can add it on when other things are already there.

>>60556780
Clothing? Apparel? Attire?

>>60556861
i'm not quite sure what you're asking. try in >>>/wsr/ or >>>/gd/

what do you guys think of whatanime.ga or dejavu? I want to learn more about stuff-recognition algorithm but wondering if they are 'worth' a look? whatanime.ga is definitely powerful