idris-objc-demo

KO | EN

gitlite — search

#react #golang #android #rust #deep-learning #docker #windows #kubernetes #awesome-list #vue #security #pytorch #mcp #ios

idris-objc-demo

(★ 10)

An Idris -> Objective-C demo

idris-objc-demo Latest Version Download

Download Latest Version (.zip)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

## An Idris -> Objective-C demo via JavascriptCore

Yeah I know its JavascriptCore, but until one of us write `mkDynamicForeign` or
relaxes `mkForeigns` literal string argument restriction during the type provider phase, we're stuck with
this.

## Install
1. Clone the repo
2. Run `script/bootstrap`
3. Compile Idris from [joshvera/main-js](https://github.com/joshvera/Idris-dev) or
4. Since the Javascript Idris backend assumes a `document` or `window` object exists in the JS execution context and JavaScriptCore has neither, we need to modify the generated `main` function:

```js
	var main = function(){
	if (document.readyState == "complete" || document.readyState == "loaded") {
	__IDRRT__tailcall(function(){
	return __IDR__mrunMain0()
	});
	} else {
	window.addEventListener("DOMContentLoaded",function(){
	__IDRRT__tailcall(function(){
	return __IDR__mrunMain0()
	})
	},false);
	}
	}

// To:

var main = function(){
	__IDRRT__tailcall(function(){
	return __IDR__mrunMain0()
	});
	}
	```
5. Run it.

Pull Requests Welcome! :smile:

idris-objc-demo

idris-objc-demo Latest Version Download

Today's picks

Was this content helpful?

Recent Feedback

idris-objc-demo

idris-objc-demo Latest Version Download

Today's picks

Was this content helpful?

Recent Feedback

Download README