The Garbage Collector

« first day (143 days earlier) ← previous day next day → last day (370 days later) »

Seggan

2:34 AM

@AlexisKing Rust is a nice counterexample

aliasing mutably is impossible

4 hours later…

Dannyu NDos

6:31 AM

So I chose Haskell as the backend of Cockatrice, and this is the first few lines:

data Type0 = None_t | Int_t | Float_t | Double_t | Char_t | Enum_t | List_t | Fn_t | Karma_t | Type_t
data Value = None
    | Int !Integer
    | Float !Float
    | Double !Double
    | Char !Char
    | Enum String
    | List [Value]
    | Fn ([(String {-ident-}, Maybe Type0 {-param type-}, Maybe Value {-def val-})] -> Value)
    | Karma (IO Value)
    | Type0 Type0

Pretty sure I need Handle also but whatever

Wait, Enum is occupied by Prelude. Dang.

Michael Homer

6:57 AM

You can hide it if you need to

user

7:13 AM

@DannyuNDos Is _t something you have to do in Haskell because the variants of Type0 aren't qualified?

I feel a little sad that that's a thing you have to do

New Posts

7:42 AM

Q: Does WebAssembly have any instructions which don't have analogues in LLVM IR?

I know EMSCRIPTEN can convert between from LLVM IR to WebAssembly, but I don't know of any tool that converts from WebAssembly to LLVM IR. Such a tool would come useful to me, as the compiler for my programming language outputs WebAssembly, and I would like to be able to make native ARM executabl...

8 hours later…

Seggan

3:27 PM

... how are they the same question

David Young

4:08 PM

@user That is one of the drawbacks of Haskell (I say as a Haskell fan, ha). There are some ways around it. For example, you can put the types in two different modules. Then everything can have the same name and you can use qualified imports. In my experience, that actually works decently well in many cases.

The_AH

Expectation: "Whence Rust came, everyone say say no no C C."

Reality: "Whence Rust came, everyone say yes yes C C although sometimes yes yes Rust Rust. it's confusing."

Let's become rusty then.

David Young

@user Although, to be clear, that situation doesn't happen that often (it's certainly not like you need to do that with every sum type or something like that).

The_AH

What is the best name for types?

David Young

First name?

The_AH

For example for a number, Number, Integer, Real, or number, integer or real? Int? Standard.integer? Standard.Integer?

New Posts

4:59 PM

Q: Is there a way to run python based SageMath on a certain python version?

I currently use python 3.11.3 on Apple Silicon Mac and all my libraries are installed on that version's source directory. For some Reason SageMath runs on python3.11.1 which doesn't have any packages installed especially the Crypto and primefac libraries that I use for cryptography. Is there a wa...

standard-library python math

Alexis King

5:40 PM

@Seggan It’s absolutely possible, it’s just unsafe. A lot of necessary things are ultimately unsafe. (This does not in any way reduce the value of safe Rust.)

Seggan

yeah i shoulda qualified that

@The_AH its all user preference

a lot follow C: int, float, double

(or their uppercased version)

CMP: so I;m currently implementing a language that is basically Lua with some changed syntax and a few extra features. I really don't like pcall as an error handling mechanism, and I've been trying to add something like a try-catch

where you can throw a table { "__type__" = "WhateverError", "message" = "A message" } and use catch "WhateverError". However, it feels sorta unnatural (to me). Y'all have any other ideas for an alternate error handling mechanism to fit within a Lua-esque language?

The_AH

Hmm...

What about using a more beautiful errors as objects syntax?

So...

err = Error("WhateverErrorr", "A message")

And then you can inspect error to see what the error was.

There's no raising but rather you return the error.

So you can implement a custom data type for this.

6 hours later…