Телеграмм чат группы haskellru страница 12999

2020 July 11

JS

У меня есть дебильный, но любопытный вопрос. Можно ли на хаскеле написать полноценную ОС с ядром, дровами, поддержкой оборудования и ТД?

чтобы работало на рантайме GHC или чтобы вся логика была на Хаскеле?

источник

15:08пожаловаться #1

DI

Dmitry Ivanov in Haskell

чтобы расширение файлов было ".hs"

источник

15:08пожаловаться #2

g

greelot in Haskell

Чтоб вся логика была написана

источник

15:08пожаловаться #3

λ

λoλdog in Haskell

Эх

источник

15:09пожаловаться #4

JS

Jerzy Syrowiecki in Haskell

greelot

Чтоб вся логика была написана

в KasperskyOS половина ядерной логики на Хаскеле. ну, на DSL, но ничего не мешает на самом Хаскеле писать

источник

15:10пожаловаться #5

JS

Jerzy Syrowiecki in Haskell

greelot

У меня есть дебильный, но любопытный вопрос. Можно ли на хаскеле написать полноценную ОС с ядром, дровами, поддержкой оборудования и ТД?

такой проект где-то уже есть

источник

15:10пожаловаться #6

JS

Jerzy Syrowiecki in Haskell

Jerzy Syrowiecki

в KasperskyOS половина ядерной логики на Хаскеле. ну, на DSL, но ничего не мешает на самом Хаскеле писать

и ничего не мешает остальную логику на Хаскеле писать

источник

15:11пожаловаться #7

A

Andrey in Haskell

greelot

У меня есть дебильный, но любопытный вопрос. Можно ли на хаскеле написать полноценную ОС с ядром, дровами, поддержкой оборудования и ТД?

House, вроде

источник

15:18пожаловаться #8

JS

Jerzy Syrowiecki in Haskell

greelot

У меня есть дебильный, но любопытный вопрос. Можно ли на хаскеле написать полноценную ОС с ядром, дровами, поддержкой оборудования и ТД?

haskus.org/system

источник

15:19пожаловаться #9

֍֎

֍ ֎ in Haskell

Jerzy Syrowiecki

haskus.org/system

Это только юзерспейс

источник

15:24пожаловаться #10

JS

Jerzy Syrowiecki in Haskell

֍ ֎

Это только юзерспейс

да, а микроядро на DSL можно написать, и получится ОС

источник

15:26пожаловаться #11

KZ

Kirill Zaborsky in Haskell

http://programatica.cs.pdx.edu/House/ ещё был

источник

15:35пожаловаться #12

JS

Jerzy Syrowiecki in Haskell

Dmitry Ivanov

чтобы расширение файлов было ".hs"

mv vmlinuz vmlinuz.hs

источник

15:39пожаловаться #13

JS

Jerzy Syrowiecki in Haskell

greelot

У меня есть дебильный, но любопытный вопрос. Можно ли на хаскеле написать полноценную ОС с ядром, дровами, поддержкой оборудования и ТД?

не ОС, но софт уровня ОС galois.com/project/halvm

Galois, Inc.

HaLVM - Galois, Inc.

The Haskell Lightweight Virtual Machine (HaLVM) is a port of the Glasgow Haskell Compiler toolsuite that enables developers to write high-level, lightweight virtual machines that can run directly on the Xen hypervisor.

источник

15:44пожаловаться #14

֍֎

֍ ֎ in Haskell

Jerzy Syrowiecki

не ОС, но софт уровня ОС galois.com/project/halvm

Galois, Inc.

HaLVM - Galois, Inc.

The Haskell Lightweight Virtual Machine (HaLVM) is a port of the Glasgow Haskell Compiler toolsuite that enables developers to write high-level, lightweight virtual machines that can run directly on the Xen hypervisor.

:(

источник

15:56пожаловаться #15

֍֎

֍ ֎ in Haskell

https://github.com/GaloisInc/HaLVM

GitHub

GaloisInc/HaLVM

The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen - GaloisInc/HaLVM

источник

15:56пожаловаться #16

JS

Jerzy Syrowiecki in Haskell

֍ ֎

:(

Xen вышел из моды. Линукс больше не считается чем-то тяжёлым

источник

16:00пожаловаться #17

t

toriningen in Haskell

Jerzy Syrowiecki

Xen вышел из моды. Линукс больше не считается чем-то тяжёлым

а что сейчас для паравиртуализации используют?

источник

16:00пожаловаться #18

JS

Jerzy Syrowiecki in Haskell

toriningen

а что сейчас для паравиртуализации используют?

где не Амазон, там Докер

источник

16:02пожаловаться #19

t

toriningen in Haskell

но докер не паравиртуализация. он вообще не виртуализация, у него ядро одно на всех

источник

16:03пожаловаться #20