What are you working on Sup Forums?
previously
/dpt/ - Daily Programming Thread
Charles Adams
Other urls found in this thread:
doc.rust-lang.org
rustbyexample.com
doc.rust-lang.org
twitter.com
Owen Sanchez
I can't read
Dylan Campbell
Learn Rust.
doc.rust-lang.org
rustbyexample.com
*not for brainlets*
doc.rust-lang.org
Owen Moore
Hi. Please use an anime image next time.
Wyatt Morales
fuck opengl
Josiah Wood
Weekly reminder to use #![feature(nll)].
Nolan Kelly
Reminder to use meme-lang of the tri-annum.
Jose Hall
nigger
Gabriel Hill
No :)
>What are you working on Sup Forums?
ncurses
Parker Mitchell
this, please.
Parker Sullivan
Weekly reminder not to use Rust.
John James
>w-w-weakly reminder
Cniles, you're well on your way out.
Liam Sanchez
is that book a meme only perpetuated by Sup Forums, like Install Gentoo, or is it something actually worth reading?
Carter Sanchez
/go samefag to your hugbox >>>/github/
Ayden Long
in C++ socket server
can I use non blocking select() for a socket while using epoll() ET for another socket
at the same time(in the same program)
Juan Bailey
Depends on you.
Jack Taylor
Well honestly expected this trip/post a long time ago.
Ethan Nelson
Does Sup Forums cook at home and bring food to work?
Whats on the menu today?
Sebastian Bailey
camelCase, PascalCase or snake_case
which one do you fa/g/s prefer?
Tyler James
i've been posting here for years.
you just haven't been paying attention.
go learn Rust.
Asher Collins
remove-kebab-case
Xavier Lopez
cC 4 ever
Joshua Smith
It's an outdated meme, not even the shills have the patience to read past Chapter 3.
Eli Mitchell
PascalCase.
Ethan Reed
depends
James Gonzalez
Depends on the language. Usually I follow that language's conventions.
Usually I use PascalCase for types, camelCase for procedures and snake_case for variables.
Angel Long
Daily reminder that Rust should be avoided like plague; its user base is feminist and anti-white.
Connor Moore
{-# LANGUAGE DataKinds, GADTs #-}
data Nat = Zero | Successor Nat
-- datakinds lifts this to the type level
-- let's just be clear that these are types and not values
type TZero = 'Zero
type TSuccessor = 'Successor
data Vec n a where
EmptyVec :: Vec TZero a
NotEmptyVec :: a -> Vec n a -> Vec (TSuccessor n) a
data Fin n where
FZ :: Fin (TSuccessor n)
FS :: Fin n -> Fin (TSuccessor n)
at :: Vec n a -> Fin n -> a
at (NotEmptyVec a xs) FZ = a
at (NotEmptyVec _ xs) (FS n) = at xs n
-- the GHC type checker is not perfect
-- what if the input vector is empty?
-- if the input is an EmptyVec
-- then n = TZero, in this case
-- but if n = TZero, then our second argument, (Fin n), is (Fin TZero)
-- Fin TZero is uninhabited - you cannot (consistently, without non-termination) create a value of this type
-- thus we shouldn't need to handle the case (but GHC can't tell)
Ethan Robinson
all me btw.
Hudson Garcia
Are there any documents that detail the benefits of using this constrained environment (non-unsafe code) in a practical way?
Ideally I'd like an example of a real project from a person with an established programming style they lay out upfront and then they explain how the development process has improved, from prototyping to finalizing the software.
Doesn't have to be a huge project, just something that exercises the features of the language.
Parker Price
AHHHHHHH
where can I find simple openSSL client example
using TSL 1.2 with non blocking sockets
Christopher Fisher
IDontFindCapitalsAnAptReplacementOfHorizontalSpacing-case
Caleb Gonzalez
Huh I never noticed, but I already tried Rust. Sweet mix of imperative and fp.
Compile times were a bitch. VSCode plugin was also a bit goofy from time to time. People are currently recommending IDEA, but yea I moved on.
Ownership wasn't that hard. Lifetimes made everything a bitch, so I just clone()'d whenever. Might try it again after SIMD stabilizes and they do more about ccompiletimes(besides incremental).
Logan Jones
>filter Rust
>can't filter C.
oops.