You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to ats-lang-users
Hi! I'm doing my first steps in the language and i was wondering if it would be possible to write ATS programs that interact with the GPIO of the raspberry pi.
Kind regards, Juan. PS: The language looks very powerful!
gmhwxi
unread,
Jan 4, 2017, 11:59:02 PM1/4/17
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to ats-lang-users
Certainly.
In order to do this kind of low-level programming *effectively*, I suggest:
(1) Please spend some time figuring out how ATS interacts with C (2) Please spend some time learning how to use certain unsafe features of ATS (e.g., various cast functions in prelude/SATS/unsafe.sats). It is difficult or impractical to do everything safely.
As always, please feel free to post your questions/comments/experience in this group.
Juan Bono
unread,
Jan 5, 2017, 10:26:43 AM1/5/17
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message