Previous thread: What are you working on, Sup Forums?
/dpt/ - Daily Programming Thread
Other urls found in this thread:
en.wikipedia.org
twitter.com
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
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