How to convert string like '31 Jul 2018' to date?

Question

Python

Can you please tell me if it is possible to convert the string '31 Jul 2018' into a date? Is there a standard function for this?

Answer 1

In my opinion, it is easier and more logical to use the same datetime, most likely it has already been imported, and there is no need to bloat the project with additional libraries:

from datetime import datetime
d = datetime.strptime( "31 Jul 2018", "%d %b %Y" )

Answer 2

If you like bicycles made of crutches, then you can use regular expressions :)
I have nothing to do, I can write the solution code. Maybe even faster libraries will work :P