python

tell me what you know about python, and how to program in it

It does not have dependent types so you should use agda instead.

>>2
shut the fuck up
stop fucking shitting up this board with your shitty ass meme you piece of shit
fuck off already
fuck you
fuck dependent types, fuck your shitty forced meme, fuck off forever
fuck

(sorry if I am a little belligerent, I get that way when drinking sometimes)

python= basic for the 21st century

>>3
It's not a meme, nobody likes seeing their programs crash, nor does anybody wishes to spend countless hours debugging shite dynamically type checked languages.

>>6
Assuming you're not just trolling or trying to force a shitty meme, do you honestly believe that your little pet feature would increase software quality or ease of development so much that it warrants spamming everywhere? If you do, I strongly suggest you 1.start/bump a thread where this shit can be contained and in which you show or explain concrete advantages of dependent types 2.ponder the following
>>>https://en.wikipedia.org/wiki/Tony_Hoare

Ten years ago, researchers into formal methods (and I was the most mistaken among them) predicted that the programming world would embrace with gratitude every assistance promised by formalisation to solve the problems of reliability that arise when programs get large and more safety-critical. Programs have now got very large and very critical – well beyond the scale which can be comfortably tackled by formal methods. There have been many problems and failures, but these have nearly always been attributable to inadequate analysis of requirements or inadequate management control. It has turned out that the world just does not suffer significantly from the kind of problem that our research was originally intended to solve.

>>7

do you honestly believe that your little pet feature would increase software quality or ease of development so much that it warrants spamming everywhere?

Yes, also it is not spamming, I only post it on relevant threads.

well beyond the scale which can be comfortably tackled by formal methods

I respectfully disagree. That did not stop seL4 or CompCert.

the world just does not suffer significantly from the kind of problem that our research was originally ..

Except every day when I encounter a crash.

python list comprehension is pretty cool
myAnus = 'anus'
anusList = [poop for poop in myAnus]
print(anusList)
output:
['a','n','u','s']

I'm getting more and more frustrated with Python, which is a shame because it's a nice to use language with a good ecosystem and almost good tooling. 'there should be one way to do that' is not a good design principle for a dynamic language and it results in some of the features (e.g. functional programming) ending up being half-assed because hurr this is not how Guido writes code. on the other hand, the lack of Guido is making everything even worse and the language is straying from its simple, readable roots. the whole := shit could have been avoided by making everything an expression, but I guess it's too big of a change for a point release.

I feel it's time to jump ship, but where to? what good non-verbose language to pick for my personal projects? I like Lisps but they lack the ecosystem, I dabbled a bit in Ruby but it seems that the only thing people care about is Rails which I don't give a fuck about, Perl is just an inconsistent piece of shit and don't even get me started on JS/Node. maybe static languages with type inference are a way to go - but which of them would be good if I'm not interested in academic wankery?

>>9
Meanwhile in haskell: map id "anus"

>>9
Ruby
"anus".split('') #=> ["a", "n", "u", "s"]

split my anus

>>10
Choose one of: Sepples with auto as needed, OCaml, PHP.

comprehend my anus

>>12
Too bad Ruby is slow as fuck.

ONE WORD, FORCED INDENTATION OF CODE

>>17
indentation is a good thing though

imagine reading code with no indentation

>>18
Until you need to copy-paste some code.

>>19
you can just convert tabs to spaces or vice versa
it's also not hard to highlight a block of code and then change the indentation level
use a real editor instead of vim or emacs you dummy

>>14
I don't do webshit so PHP is out, modern Sepples is an unreadable mess. OCaml has been on my radar for a while (and looks more practical and less academic-wanky than other ML-family stuff, especially Haskal) - any good non-French resources on learning it?

learn my dubs

Have any of you ever used Cython before? It's like Python, but compiled instead of interpreted, and apparently much faster.
https://cython.org/

>>23
why use compiled python when I can use C lmaoo

>>24
because Cython still has the syntax of Python, C sucks ass if you're not a boomer

>>10
Golang and TypeScript, thread over

>>26
how about no? I'm not gonna do the if err != nil return nil, err copypasta, and I'm sure as hell not going to compile anything to JS

go:
ass, err := piss()
if err != nil {
return err
}

fart, err := cunt(ass)
if err != nil {
return err
}

...

haskell:
do love <- faith
trust <- kinship love
...

Alternative in haskell again: faith >>= kinship >>= (\trust -> ...)

When you do not just want to return the error but want to handle it:
ass, err := piss()
if err != nil {
error handling
}
code

In haskell: bimap (\err -> ...) (\val -> ...) faith

>>30
because sometimes an error should lead to an early abort and a different execution path further down the line, and sometimes it should be handled right where it happens. go supports the second option with the first one requiring a lot of boilerplate, while monadic error handling, exceptions and call/cc give you better flexibility. it's yet another way in which go is too opinionated

This thread is not about Haskell. It is about Python.

This thread is about repeating digits