Recent searches
Search options
#pl
2 posts1 participant0 posts today
I'm only just starting to learn #haskell
I've today come across "type inference" where it works out the type of a thing by how you use it.
I saw it in #Lean too with #implicit types".
Anyway - my brain is worrying that this is not a foolproof system and the languages should never have allowed it.
Am I wrong to worry?
A *gentle* reminder that, I have a funded #PhD position for UK students, available with myself and @bentnib
This project will be looking at developing new methods for asserting the resilience of existing communicating systems by developing new static analysis methods derived from advanced programming language research.
Deadline for getting in contact is: Thursday 20th March 2025
You will belong to @StrathCyber and @mspstrath, as well as gaining access to @spli
www.strath.ac.ukTowards Type-Driven Assurance of Communicating Systems | University of Strathclyde
Esse jovem torcedor do #CrystalPalace bateu um pênalti no mascote do clube no intervalo, enquanto era vaiado por torcedores rivais. Quando ele marcou, ele dedicou para toda a torcida. SENSACIONAL! KKKKKK
