ThreadSky
About ThreadSky
Log In
gok99.bsky.social
•
81 days ago
Did you get an infinite loop without partial definitions?
Comments
Log in
with your Bluesky account to leave a comment
[–]
mattrusselluk.bsky.social
•
81 days ago
Not explicity, but I was trying out the imperative-ish do syntax, and I believe that uses partial functions when desugared. For example:
private def infiniteLoop: Nat :=
https://Id.run
do
let mut n: Nat := 0
while true do
n := n + 1
n
1
reply
Posting Rules
Be respectful to others
No spam or self-promotion
Stay on topic
Follow Bluesky's terms of service
×
Reply
Post Reply
Comments
private def infiniteLoop: Nat := https://Id.run do
let mut n: Nat := 0
while true do
n := n + 1
n