ats-lang-users

1–30 of 1316

Welcome to the ats-lang-users group!

0 selected

d4v3y_5c0n3s, Hongwei Xi3

1:39 PM

Help with Templates, cannot find missing implementation somewhere...

You are right, including " share/atspre_staload.hats" causes the code to compile. However,

unread,

Help with Templates, cannot find missing implementation somewhere...

You are right, including " share/atspre_staload.hats" causes the code to compile. However,

1:39 PM

d4v3y_5c0n3s, Hongwei Xi7

Nov 29

First, you were right, '-DATS_MEMALLOC_LIBC' fixed the code on my end so that it compiles

unread,

First, you were right, '-DATS_MEMALLOC_LIBC' fixed the code on my end so that it compiles

Nov 29

d4v3y_5c0n3s, Vanessa McHale3

Nov 27

Template Debugging Tips?

Yea, I just wish ATS was better about telling me what I'm doing wrong with templates. An "X

unread,

Template Debugging Tips?

Yea, I just wish ATS was better about telling me what I'm doing wrong with templates. An "X

Nov 27

d4v3y_5c0n3s, gmhwxi3

Oct 30

Why aren't the MUL() prop functions in the prelude docs? (on the site, that is)

Done. On Saturday, October 30, 2021 at 10:53:30 AM UTC-4 gmhwxi wrote: Yes, please open an issue

unread,

Why aren't the MUL() prop functions in the prelude docs? (on the site, that is)

Done. On Saturday, October 30, 2021 at 10:53:30 AM UTC-4 gmhwxi wrote: Yes, please open an issue

Oct 30

Oct 17

What is the best way to turn a file into a lazy linear stream?

Okay, so looking back I should have provided more details in the last post, as it does not explain

unread,

What is the best way to turn a file into a lazy linear stream?

Okay, so looking back I should have provided more details in the last post, as it does not explain

Oct 17

mark.l....@gmail.com, d4v3y_5c0n3s2

Oct 7

Lambdas that use linear resources

First, let me say that lambdas are one part of ATS that I'm not super experienced in myself.

unread,

Lambdas that use linear resources

First, let me say that lambdas are one part of ATS that I'm not super experienced in myself.

Oct 7

David Smith, … Owen Avery4

Oct 6

Memory Mapped IO

While I'm just trying to figure out the language at this point, you could try something involving

unread,

Memory Mapped IO

While I'm just trying to figure out the language at this point, you could try something involving

Oct 6

mark.l....@gmail.com, … Timmy Jose5

Sep 27

Learn ATS in Y minutes -- request for documentation review

Hello Mark, The resource looks quite useful , especially to a beginner like myself. I'm a bit

unread,

Learn ATS in Y minutes -- request for documentation review

Hello Mark, The resource looks quite useful , especially to a beginner like myself. I'm a bit

Sep 27

Kiwamu Okabe, … Timmy Jose15

Sep 20

Someone is trying to debug ATS code using DWARF?

This is very useful. Thanks for the wiki page, Kiwamu! On Tuesday, May 28, 2019 at 11:49:54 AM UTC+5:

unread,

Someone is trying to debug ATS code using DWARF?

This is very useful. Thanks for the wiki page, Kiwamu! On Tuesday, May 28, 2019 at 11:49:54 AM UTC+5:

Sep 20

Sep 8

30 months postdoctoral research position at University of Sheffield involving proof-assistant-based verification -- application deadline 23 Sept. 2021

Greetings, A postdoctoral research position (Grade 7) is available at the University of Sheffield.

unread,

30 months postdoctoral research position at University of Sheffield involving proof-assistant-based verification -- application deadline 23 Sept. 2021

Greetings, A postdoctoral research position (Grade 7) is available at the University of Sheffield.

Sep 8

Aug 19

Certified Programs and Proofs (CPP) 2022: Final Call for Papers

Certified Programs and Proofs (CPP) is an international conference on practical and theoretical

unread,

Certified Programs and Proofs (CPP) 2022: Final Call for Papers

Certified Programs and Proofs (CPP) is an international conference on practical and theoretical

Aug 19

d4v3y_5c0n3s, gmhwxi3

Jul 22

FILEREF type is non-linear?

Thanks for the help, I was curious about FILEref because I will soon need to work with files in my

unread,

FILEREF type is non-linear?

Thanks for the help, I was curious about FILEref because I will soon need to work with files in my

Jul 22

Timmy Jose, gmhwxi5

Jul 5

Re: ATS3 and stuff

Hi Hongwei, Thank you for the detailed response! This part especially fascinated me: >ATS0 (that

unread,

Re: ATS3 and stuff

Hi Hongwei, Thank you for the detailed response! This part especially fascinated me: >ATS0 (that

Jul 5

d4v3y_5c0n3s, Hongwei Xi3

Jul 1

Trying to get a dependent type working in ATS

You're right, when I sent this message I was too tired to realize what was wrong I guess. Thanks

unread,

Trying to get a dependent type working in ATS

You're right, when I sent this message I was too tired to realize what was wrong I guess. Thanks

Jul 1

Jun 14

Call for Papers: Fifth Workshop on Formal Mathematics for Mathematicians (FMM 2021)

========================================================= Call for Papers Fifth Workshop on Formal

unread,

Call for Papers: Fifth Workshop on Formal Mathematics for Mathematicians (FMM 2021)

========================================================= Call for Papers Fifth Workshop on Formal

Jun 14

Jun 14

Certified Programs and Proofs (CPP) 2022: Call for Papers

Certified Programs and Proofs (CPP) is an international conference on practical and theoretical

unread,

Certified Programs and Proofs (CPP) 2022: Call for Papers

Certified Programs and Proofs (CPP) is an international conference on practical and theoretical

Jun 14

David Smith, Hongwei Xi3

Jun 7

-Wincompatible-pointer-type for functions taking a pointer

Alright, I think I figured it out, thank you! gmhwxi schrieb am Samstag, 5. Juni 2021 um 20:29:10 UTC

unread,

-Wincompatible-pointer-type for functions taking a pointer

Alright, I think I figured it out, thank you! gmhwxi schrieb am Samstag, 5. Juni 2021 um 20:29:10 UTC

Jun 7

gmhwxi, augu...@gmail.com2

Jun 7

Functional imperative programming in ATS

Yes! Having functions of the schematic form f(x: a >> b) : c is one of the most amazing and

unread,

Functional imperative programming in ATS

Yes! Having functions of the schematic form f(x: a >> b) : c is one of the most amazing and

Jun 7

Jun 4

DML-style dependent types in ATS

The dependent types in ATS are not the kind of full spectrum dependent types as formulated in Martin-

unread,

DML-style dependent types in ATS

The dependent types in ATS are not the kind of full spectrum dependent types as formulated in Martin-

Jun 4

gmhwxi, d4v3y_5c0n3s2

Jun 3

Moving forward with ATS3

Exciting! I can't wait! :D On Thursday, June 3, 2021 at 6:31:11 PM UTC-4 gmhwxi wrote: Hi, there,

unread,

Moving forward with ATS3

Exciting! I can't wait! :D On Thursday, June 3, 2021 at 6:31:11 PM UTC-4 gmhwxi wrote: Hi, there,

Jun 3

David Smith, Troy Jacobs4

Jun 3

Passing null as a string

No problem. ✌😊 On Thu, Jun 3, 2021, 6:36 PM David Smith <sodabananas@gmail.com> wrote: Yes!

unread,

Passing null as a string

No problem. ✌😊 On Thu, Jun 3, 2021, 6:36 PM David Smith <sodabananas@gmail.com> wrote: Yes!

Jun 3

David Smith, … Troy Jacobs8

Jun 3

"Number is smaller than 0x8000, trust me"

Well, I believe that you could just call the praxi in the body of your "or" function just

unread,

"Number is smaller than 0x8000, trust me"

Well, I believe that you could just call the praxi in the body of your "or" function just

Jun 3

randy...@gmail.com, … gmhwxi6

May 31

Some ATS2 library updates...

>>Ideally, ATS package manager should be written in ATS :D (as in the worst case, it will

unread,

Some ATS2 library updates...

>>Ideally, ATS package manager should be written in ATS :D (as in the worst case, it will

May 31

Michael Lan, … Artyom Shalkhakov6

May 29

Type signatures in ATS

I get this error when I change print to print_string: In file included from min_dats.c:15: min_dats.c

unread,

Type signatures in ATS

I get this error when I change print to print_string: In file included from min_dats.c:15: min_dats.c

May 29

May 26

PhD position on the formalization of logical calculi in Saarbrücken

A PhD position is open at the MPI for Informatics in Saarbrücken, supervised by Christoph Weidenbach,

unread,

PhD position on the formalization of logical calculi in Saarbrücken

A PhD position is open at the MPI for Informatics in Saarbrücken, supervised by Christoph Weidenbach,

May 26

David Smith, … gmhwxi7

May 24

agez vs addr > null

At this point, 'addr' is mapped to 'int' in ATS2 as far as constraint-solving is of

unread,

agez vs addr > null

At this point, 'addr' is mapped to 'int' in ATS2 as far as constraint-solving is of

May 24

gmhwxi, … Dambaev Alexander9

May 21

ATS templates vs. C++ templates

thanks, that helped!

unread,

ATS templates vs. C++ templates

thanks, that helped!

May 21

David Smith, Dambaev Alexander5

May 21

PMVtmpltcstmat not declared

Yeah, I figured it was something like that. I'll try to play around with HX's makefile,

unread,

PMVtmpltcstmat not declared

Yeah, I figured it was something like that. I'll try to play around with HX's makefile,

May 21

May 20

Termetric not well-founded

Oh, it works with n:nat. Epic! David Smith schrieb am Donnerstag, 20. Mai 2021 um 21:16:28 UTC: I

unread,

Termetric not well-founded

Oh, it works with n:nat. Epic! David Smith schrieb am Donnerstag, 20. Mai 2021 um 21:16:28 UTC: I

May 20

May 19

Position of Lecturer or Senior Lecturer in Cybersecurity at University of Sheffield

Greetings, The Department of Computer Science at University of Sheffield has an open position of

unread,

Position of Lecturer or Senior Lecturer in Cybersecurity at University of Sheffield

Greetings, The Department of Computer Science at University of Sheffield has an open position of

May 19

Search

Clear search

Close search

Google apps

Main menu