/dpt/ - Daily Programming Thread

Previous thread: What are you working on, Sup Forums?

Other urls found in this thread:

en.wikipedia.org/wiki/Ethnic_groups_in_the_United_Kingdom#Ethnic_Groups_-_2011_Census_data
twitter.com/SFWRedditGifs

Applicatives are just lax monoidal (product) endofunctors with strength, what's the issue?

First for C

3st for cherish and protect your sysadmin

They're strong lax monoidal functors. That's all.

I am making a lisp implementation in C, how can I in a portable way create a struct in runtime that I do not know about in the compile time when I use libffi? It looks like libffi does not provide any facilities for that.

how familiar should I be with quotient space topology if I want to implement a ring buffer

I didn't think it would end this way.

End? No, the journey doesn't end here. Death is just another path, one that we all must take. The grey rain-curtain of this world rolls back, and all turns to silver glass, and then you see it.

What? Gandalf? See what?

White shores, and beyond, a far green country under a swift sunrise.

Well, that isn't so bad.

No. No, it isn't.”

No, just make sure to kill him before he leaves the faraday cage room after being informed of his dismissal.

All a struct does is give you offsets and a size.

learning python from some british poo in the loo on udemy

enterprise managers OUT

>british
>poo in the loo
u wot m8?

Basic modular arithmetic is fine.

But there are also stuff like padding and the format may not be the same in every system.

but that's true

britain is only like 60% white m8, what are you on about?

well, of course it is.

The C standard guarantees a portable layout, assuming known sizes and alignments.

>be me
>minor in compsci
>took functional programming over cryptography

Did I dun goof, Sup Forums?

82% on average, higher outside London. Sorry martsharter

I would do the same.

nah

>taking classes for something you can learn on your own time

better than zed shaw

But now he can be qualified in meme languages.

Rate my meme fizzbuzz
No imports edition

mOr x y | x /= mempty = x
| otherwise = y

logFactor n msg x | x `mod` n == 0 = (msg, ())
| otherwise = (mempty, ())

tag loggers n = fst $ traverse ($n) loggers

main = mapM_ (putStrLn . disp) [1..100]
where disp x = tag' x `mOr` show x
tag' = tag [ logFactor 3 "Fizz",
logFactor 5 "Buzz" ]

cryptography is a topic in math, and is worth taking
security is a topic in CS/IT

Everyone is better than Zed Shaw.

The set of all people who are worse than Zed Shaw somehow contains Zed Shaw.

>do you know how to write c++ programs?
>no my comsci class never taught me that we only did the first excercises in C then we went to python and ruby
>hysterical laughter ensues, secretaries pointing and laughing about how he uses VS as an IDE

NoPrelude it and maybe I'll be impressed.

you fucked up m8

what does this have to do with programming? if you are doing programming you better get used to learning straight from books and looking at videos.

some of the best classes, the ones I learned the most, were the ones who gave a general assignment and references then told you to program.

yeah where would I go to first learn about doing this? That literally went over my head.

I do feel dumb in asking this.


Also I am supposed to be dealing with Lisp in my Intro to AI class. Should I be expecting to get any interest in Lisp or is that a langauge that I would have to be an expert in and its not even worth talking about.

it uses the prelude monad instance for
Monoid m => Monad ((,) m)
(effectively the writer monad)
there's a prelude Monad ((->) r) for reader too

unfortunately there's no prelude state monad,
I guess because you can't partially apply type sigs
it would have to be
{-# LANGUAGE TypeSynonymInstances #-}
type State s a = s -> (s, a)
instance Monad (State s) where ...

>pattern matching isn't an expression in his language

newtype State s a = { runState :: s -> (s, a) }

>Should I be expecting to get any interest in Lisp or is that a langauge that I would have to be an expert in and its not even worth talking about.


This describes all meme languages, but some have uses (none that I know since I never veer from c++)

>newtype

What's wrong with newtype? Don't tell me you're one of those eternally butthurt people who throw autistic fits about newtypes.

Pretty delusional

Forgot the constructor.
newtype State s a = State { runState :: s -> (s, a) }


What's wrong with that?

writing cheats for online games in x86 asm because i have nothing better to do with my life

en.wikipedia.org/wiki/Ethnic_groups_in_the_United_Kingdom#Ethnic_Groups_-_2011_Census_data

you've missed the entire point

Monoid m => (,) m
is a monad

(->) r
is a monad

("Hello", ()) >> (" World!", ())
zip tail

Which language handles memory allocation the best for medium-small projects (I don't care about scalability for my first shit) and is easiest to handle so I don't have to worry constantly about stack overflows?

No meme languages.

true true. I guess thats where I would need to do more studying of basic CS methods and more actual programming projects.

your definition of white is pretty fucked

>2011
>muh kikepedia

assembly

non shit http library for ruby?
prior experience: requests from python

What do you think the partial application of "s" to your "State" alias should be?

Sup /dpt/fags. Can I run WPF applications on Linux yet? I would hate to go to some inferior shit like GTK or whatever freetards use these days.

any s

Okay, I mean actual high level languages you word parsing fuck

says the martsharter. have you looked at the mirror?

Rephrase: what do you think your "State s" should evaluate to?

i'm not a shart in mart

What are you then?

curl

Double -> (Double, a)
Char -> (Char, a)
etc

This would overlap with (->) though

>post bait about memory allocation
>/dpt/ too low brow (or just actual script kiddies in their first week of CS courses) to even understand let alone be mad at it

Such is life as a high tech shitposter

How do you make a type constructor out of that? You'd need type-level lambdas, which Haskell doesn't have since they make unification way harder.

...

Have fun being a "l33t h4x0r", the rest of us are busy being productive using high-level languages.

>I'm writing a data analyzer in C# mum I'm a real programmer

@56480013
I was going to answer "Rust" but then you saw you had a no "meme language" policy and knew you'd shit up the thread about it.

>@

To: 56480116
What's the issue?

That isn't how you quote someone can you please do it correctly

Nope. WPF will not likely go cross platform.

Use Unity if you really need slick GUI cross platform with C#; it's good for graphical applications that aren't games.

GTK really isn't that bad, either.

At some point it probably should.
In this specific case, the typeclass completes the application anyway, so I don't _think_ they'd need full lambdas.

>allocating memory manually
>2016

ATTN 56480158
Please advise on the proper way to quote on this subchan.

FWD: FWD: FWD: MSG:
This thread has gone to shit.

56480158:

Please to be doing the needful.

>56480201
>subchan
*subreddit

Single left-click on the post number or use double meme arrows
captcha: CALLE CALLE

...

Type-level lambdas would turn first order unification into higher order unification. The latter is very difficult, to the point of being undecidable outside of a limited fragment.

You need some kind of quantifier to turn a type with free variable "a" into a type constructor, and Haskell doesn't have this outside of named type constructors, which is why you need newtype (or data).

Newtypes are mostly zero-cost in Haskell, anyways.

COMPOSE MSG
ADDR::56480280
Like this?

...

how can a programming forum be THIS BAD at knowing how to quote!!!!!!!!!


Its Unbelievable! You numskulls!

(quote '())

having a giggle m8

@56480116
@56480158
@56480280
its to deny (You)s faggot

...

$reply < 56480316

type families

>not using bbcode

Are beefed up type aliases.

EHLO 127.0.0.1
MAIL FROM:
RCPT TO: 56480280@Sup Forums.net
DATA
From: An Onymous
To: 56480280
Subject: What did he mean by this?

What did he mean by this?


.
QUIT

everything is a beefed up type alias

Delivered-To: [email protected]
list-Id: 56479338
list-Post: 56480320
Date: Fri, 02 Sep 2016 22:57:00 +0000
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit

I think we should probably add this to the FAQ.

As in you still can't partially apply them, as there are no type-level lambdas.

(quote how can a programming forum be THIS BAD at knowing how to quote!!!!!!!!!


Its Unbelievable! You numskulls!)
lol fag

hasklel doesn't even have types

"56480320"

what?

Do you enjoy coming on here and being retarded

TOP KEK! I'll post this on /r/ProgrammerHumor

prove me wrong
protip: you can't